Cautious reasoning in ASP via minimal models and unsatisfiable cores (Q4559795): Difference between revisions

@@ Property / cites work @@
+Model enumeration in propositional circumscription via unsatisfiable core analysis
+Normal rank
@@ Property / cites work @@
+The ASP system DLV2
@@ Property / cites work: The ASP system DLV2 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime answer set optimization via unsatisfiable core shrinking
+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 @@
+Q3011297
@@ Property / cites work: Q3011297 / rank @@
+Normal rank
@@ Property / cites work @@
+Magic sets for disjunctive Datalog programs
@@ Property / cites work: Magic sets for disjunctive Datalog programs / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive ASP with functions: Decidable queries and effective computation
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+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 @@
+Solving satisfiability problems with preferences
@@ Property / cites work: Solving satisfiability problems with preferences / 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 @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+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 @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation among answer set solvers
@@ Property / cites work: On the relation among answer set solvers / rank @@
+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 @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Consistent query answering via ASP from different perspectives: Theory and practice
+Normal rank
@@ Property / cites work @@
+Taming primary key violations to query large inconsistent data via ASP
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+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 @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank