The aspect calculus

DOI10.1007/978-3-030-29436-6_24MaRDI QIDQ2305430zbMATH OpenOpenAlexFDO

Authors David A. Plaisted

Publication date 10 March 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29436-6_24

zbMATH Keywords

frame problemsituation calculusequational reasoningaspects

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• A unifying action calculus
• The situation calculus: a case for modal logic
• A circumscriptive calculus of events
• The concurrent, continuous fluent calculus
• Some contributions to the metatheory of the situation calculus

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3413830 (Why is no real title available?)
• Handbook of knowledge representation.
• Inductive situation calculus
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Knowledge representation and defeasible reasoning
• State Constraints Revisited

Cited in

(1)

• A theory of aspects

This page was built for publication: The aspect calculus

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