On the syntax and semantics of effect axioms

MaRDI QIDQ3616094zbMATH OpenFDO

Authors Haythem O. Ismail

Publication date 24 March 2009

zbMATH Keywords

event categorization problem

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A syntax-based approach to reasoning about actions and events
• scientific article; zbMATH DE number 2000825
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• Challenges for action theories
• Provably correct theories of action

Cited in

(3)

• The enriched effect calculus: syntax and semantics
• A study of evaluation order semantics in expressions with side effects
• Towards Effects in Mathematical Operational Semantics

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: On the syntax and semantics of effect axioms

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