Semi-equilibrium models for paracoherent answer set programs (Q253992): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6551556
@@ Property / zbMATH DE Number: 6551556 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+answer set programming
@@ Property / zbMATH Keywords: answer set programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+equilibrium logic
@@ Property / zbMATH Keywords: equilibrium logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+paracoherent reasoning
@@ Property / zbMATH Keywords: paracoherent reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+splitting sequences
@@ Property / zbMATH Keywords: splitting sequences / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inconsistency management
@@ Property / zbMATH Keywords: inconsistency management / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2301736536
@@ Property / OpenAlex ID: W2301736536 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Paracoherent Answer Sets
@@ Property / cites work: Modular Paracoherent Answer Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic programming
@@ Property / cites work: Paraconsistent logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Partial equilibrium logic
@@ Property / cites work: Partial equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Nonmonotonic Logic Programming Revisited
@@ Property / cites work: Modular Nonmonotonic Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+On the partial semantics for disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+Magic Sets and their application to data integration
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Weight constraints as nested expressions
@@ Property / cites work: Weight constraints as nested expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with inconsistencies in hybrid MKNF knowledge bases
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs, well-orderings, and forward chaining
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Stepwise Debugging of Description-Logic Programs
@@ Property / cites work: Stepwise Debugging of Description-Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Weak Completions of Paraconsistent Logics
@@ Property / cites work: Logical Weak Completions of Paraconsistent Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Approved Models for Normal Logic Programs
@@ Property / cites work: Approved Models for Normal Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Stable Semantics for Extended Disjunctive Programs
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Comparisons and computation of well-founded semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:253992