scientific article; zbMATH DE number 1302017

MaRDI QIDQ4247256zbMATH OpenFDO

Authors Eugenia Ternovskaia

Publication date 13 December 1999

zbMATH Keywords

\(\mu\)-calculusfixed pointframe probleminductive definabilitylogic programmingramification constraintssituation calculusstructural operational semantics of concurrent processessuccessor state axioms

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Inductive situation calculus
• Some contributions to the metatheory of the situation calculus
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 1754691
• A semantic characterization of a useful fragment of the situation calculus with knowledge

Cited in

(9)

• Inductive situation calculus
• Proving properties of states in the situation calculus
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Non-terminating processes in the situation calculus
• scientific article; zbMATH DE number 1690090 (Why is no real title available?)
• Some contributions to the metatheory of the situation calculus
• scientific article; zbMATH DE number 4166934 (Why is no real title available?)
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• Computational inductive definability

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247256)