Complexity results for answer set programming with bounded predicate arities and implications (Q2426101): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-008-9086-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2157334516
@@ Property / OpenAlex ID: W2157334516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+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 @@
+Resolution for skeptical stable model semantics
@@ Property / cites work: Resolution for skeptical stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
+Normal rank
@@ Property / cites work @@
+Expressive power and complexity of partial models for disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+Computing preferred answer sets by meta-interpretation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Strong order equivalence
@@ Property / cites work: Strong order equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Magic Sets and their application to data integration
+Normal rank
@@ Property / cites work @@
+Bottom-up computation of perfect models for disjunctive theories
+Normal rank
@@ Property / cites work @@
+Q4707773
@@ Property / cites work: Q4707773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinctness as a source of complexity in logical formalisms
+Normal rank
@@ Property / cites work @@
+The complexity of acyclic conjunctive queries
@@ Property / cites work: The complexity of acyclic conjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+Computing only minimal answers in disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressibility of stable logic programming
@@ Property / cites work: On the expressibility of stable logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q4296303
@@ Property / cites work: Q4296303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707748
@@ Property / cites work: Q4707748 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension to linear resolution with selection function
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive powers of the logic programming semantics
+Normal rank
@@ Property / cites work @@
+Q4940935
@@ Property / cites work: Q4940935 / rank @@
+Normal rank
@@ Property / cites work @@
+Model generation and state generation for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+SLT-resolution for the well-founded semantics
@@ Property / cites work: SLT-resolution for the well-founded semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Duality for goal-driven query processing in disjunctive deductive databases
+Normal rank