Rough set reasoning using answer set programs (Q2237125): Difference between revisions

@@ Property / describes a project that uses @@
+DLV
@@ Property / describes a project that uses: DLV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cmodels
@@ Property / describes a project that uses: Cmodels / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2020.12.010
+Normal rank
@@ Property / OpenAlex ID @@
+W3111791439
@@ Property / OpenAlex ID: W3111791439 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Orthopairs: A Simple and Widely UsedWay to Model Uncertainty
+Normal rank
@@ Property / cites work @@
+Three-Valued Logics, Uncertainty Management and Rough Sets
+Normal rank
@@ Property / cites work @@
+Incomplete information: Structure, inference, complexity
+Normal rank
@@ Property / cites work @@
+Knowledge representation techniques. A rough set approach.
+Normal rank
@@ Property / cites work @@
+Q2753783
@@ Property / cites work: Q2753783 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability, Supportedness, Minimality and Kleene Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Rough Sets and Current Trends in Computing
@@ Property / cites work: Rough Sets and Current Trends in Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3425577
@@ Property / cites work: Q3425577 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and efficient closed-world reasoning for planning
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough set approach to incomplete information systems
+Normal rank
@@ Property / cites work @@
+Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudiments of rough sets
@@ Property / cites work: Rudiments of rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets. Mathematical foundations
@@ Property / cites work: Rough sets. Mathematical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4024050
@@ Property / cites work: Q4024050 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691531
@@ Property / cites work: Q5691531 / rank @@
+Normal rank