An abductive framework for negation in disjunctive logic programming (Q5236438): Difference between revisions

@@ 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.1007/3-540-61630-6_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1526031460
@@ Property / OpenAlex ID: W1526031460 / rank @@
+Normal rank
@@ Property / cites work @@
+Model elimination without contrapositives
@@ Property / cites work: Model elimination without contrapositives / rank @@
+Normal rank
@@ Property / cites work @@
+Computing answers with model elimination
@@ Property / cites work: Computing answers with model elimination / rank @@
+Normal rank
@@ Property / cites work @@
+SLDNFA: An abductive procedure for abductive logic programs
+Normal rank
@@ Property / cites work @@
+Q5688897
@@ Property / cites work: Q5688897 / rank @@
+Normal rank
@@ Property / cites work @@
+An argumentation-theoretic foundation for logic programming
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / 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 @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Weak generalized closed world assumption
@@ Property / cites work: Weak generalized closed world assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+An alternative approach to the semantics of disjunctive logic programs and deductive databases
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank