The aspect calculus

DOI10.1007/978-3-030-29436-6_24OpenAlexW2953930623MaRDI QIDQ2305430

David Alan Plaisted

Publication date: 10 March 2020

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

zbMATH Keywords

equational reasoningframe problemsituation calculusaspects

Mathematics Subject Classification ID

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

Cites Work

• Inductive situation calculus
• Knowledge representation and defeasible reasoning
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• State Constraints Revisited
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The aspect calculus