scientific article; zbMATH DE number 1302017

MaRDI QIDQ4247256zbMATH OpenFDO

Authors Eugenia Ternovskaia

Publication date 13 December 1999

zbMATH Keywords

fixed pointframe problemsituation calculuslogic programming\(\mu\)-calculusinductive definabilityramification constraintsstructural 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)

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

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)