The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in well-founded semantics and generalized stable models via tabled dual programs
+Normal rank
@@ Property / cites work @@
+Verifiable agent interaction in abductive logic programming
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+The IFF proof procedure for abductive logic programming
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+ACLP: Abductive Constraint Logic Programming
@@ Property / cites work: ACLP: Abductive Constraint Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A comparative study of eight constraint programming languages over the Boolean and finite domains
+Normal rank
@@ Property / cites work @@
+Integrating Answer Set Reasoning with Constraint Solving Techniques
+Normal rank
@@ Property / cites work @@
+First order abduction via tableau and sequent calculi
+Normal rank
@@ Property / cites work @@
+Cooperation and competition in ALIAS: A logic framework for agents that negotiate
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+SLDNFA: An abductive procedure for abductive logic programs
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in logic programming: A new definition and an abductive procedure based on rewriting
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Abduction and Deduction
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1471068409990093
+Normal rank
@@ Property / OpenAlex ID @@
+W2132042004
@@ Property / OpenAlex ID: W2132042004 / rank @@
+Normal rank