scientific article; zbMATH DE number 1302017

zbMATH Open0927.03059MaRDI QIDQ4247256FDOQ4247256

Authors: Eugenia Ternovskaia 

Publication date: 13 December 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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

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)