Inductive situation calculus

DOI10.1016/j.artint.2007.02.002zbMath1168.68573OpenAlexW2172181603MaRDI QIDQ1028914

Marc Denecker, Eugenia Ternovska

Publication date: 9 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/124880

zbMATH Keywords

knowledge representationsituation calculusinductive definitions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

A general first-order solution to the ramification problem with cycles ⋮ The ramification problem in temporal databases: Concurrent execution ⋮ The aspect calculus

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The alternating fixpoint of logic programs with negation
• Nonmonotonic causal theories
• Fixed-point extensions of first-order logic
• Nonmonotonic logic and temporal projection
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Elementary induction on abstract structures
• Ramification and causality
• Fixpoint semantics for logic programming a survey
• Logic programs with stable model semantics as a constraint programming paradigm
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Some contributions to the metatheory of the situation calculus
• Representing action and change by logic programs
• The well-founded semantics for general logic programs
• Splitting an operator
• Satisfiability Checking for PC(ID)
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• Logic programming revisited

This page was built for publication: Inductive situation calculus