Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873): Difference between revisions

@@ Property / cites work @@
+Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
+Normal rank
@@ Property / cites work @@
+Constraint Answer Set Programming without Grounding
+Normal rank
@@ Property / cites work @@
+Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
+Normal rank
@@ Property / cites work @@
+System aspmt2smt: Computing ASPMT Theories by SMT Solvers
+Normal rank
@@ Property / cites work @@
+A necessary condition for constructive negation in constraint logic programming
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Coinductive Logic Programming and Its Applications
+Normal rank
@@ Property / cites work @@
+An overview of Ciao and its design philosophy
@@ Property / cites work: An overview of Ciao and its design philosophy / rank @@
+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 @@
+Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Consistency Checking in Goal-Directed Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q4254883
@@ Property / cites work: Q4254883 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Integrating answer set programming and constraint logic programming
+Normal rank
@@ Property / cites work @@
+An abductive event calculus planner
@@ Property / cites work: An abductive event calculus planner / rank @@
+Normal rank