Paracoherent answer set computation (Q2238696): Difference between revisions

@@ Property / cites work @@
+An encompassing framework for paraconsistent logic programs
+Normal rank
@@ Property / cites work @@
+Optimum stable model search: algorithms and implementation
+Normal rank
@@ Property / cites work @@
+Advances in WASP
@@ Property / cites work: Advances in WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime Computation of Cautious Consequences in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Semi-equilibrium models for paracoherent answer set programs
+Normal rank
@@ Property / cites work @@
+Modular Paracoherent Answer Sets
@@ Property / cites work: Modular Paracoherent Answer Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Paracoherent Answer Set Semantics meets Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+On the tractability of minimal model computation for some CNF theories
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Ordered completion for logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+Q4800172
@@ Property / cites work: Q4800172 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Reasoning with minimal models: efficient algorithms and applications
+Normal rank
@@ Property / cites work @@
+\textsc{lp2normal} -- a normalization tool for extended logic programs
+Normal rank
@@ Property / cites work @@
+Improving the Normalization of Weight Rules in Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Design and results of the Fifth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+Q4199578
@@ Property / cites work: Q4199578 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. 9th international conference, RR 2015, Berlin, Germany, August 4--5, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+The External Interface for Extending WASP
@@ Property / cites work: The External Interface for Extending WASP / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming: A Primer
@@ Property / cites work: Answer Set Programming: A Primer / rank @@
+Normal rank
@@ Property / cites work @@
+On the partial semantics for disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation
+Normal rank
@@ Property / cites work @@
+On Solving the Partial MAX-SAT Problem
@@ Property / cites work: On Solving the Partial MAX-SAT Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved answer-set programming encodings for abstract argumentation
+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 @@
+Progress in clasp Series 3
@@ Property / cites work: Progress in clasp Series 3 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Head-Elementary-Set-Free Logic Programs
@@ Property / cites work: Head-Elementary-Set-Free Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Design of the Sixth Answer Set Programming Competition
+Normal rank
@@ Property / cites work @@
+The Sixth Answer Set Programming Competition
@@ Property / cites work: The Sixth Answer Set Programming Competition / rank @@
+Normal rank
@@ Property / cites work @@
+The Seventh Answer Set Programming Competition: Design and Results
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
+Normal rank
@@ Property / cites work @@
+Q2723419
@@ Property / cites work: Q2723419 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing backbones of propositional formulae
+Normal rank
@@ Property / cites work @@
+On the query complexity of selecting minimal sets for monotone predicates
+Normal rank
@@ Property / cites work @@
+Automatic construction of parallel portfolios via algorithm configuration
+Normal rank
@@ Property / cites work @@
+Taming primary key violations to query large inconsistent data via ASP
+Normal rank
@@ Property / cites work @@
+Explanation in artificial intelligence: insights from the social sciences
+Normal rank
@@ Property / cites work @@
+A tableau calculus for minimal model reasoning
@@ Property / cites work: A tableau calculus for minimal model reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+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 @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving satisfiability problems with preferences
@@ Property / cites work: Solving satisfiability problems with preferences / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Stable Semantics for Extended Disjunctive Programs
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation. 3rd international workshop, LPKR '97, Port Jefferson, NY, USA, October 17, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank