scientific article; zbMATH DE number 1989652

MaRDI QIDQ4430399zbMATH OpenFDO

Authors Norman Y. Foo, Dong-Mo Zhang

Publication date 9 October 2003

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Ramification and causality
• A general first-order solution to the ramification problem with cycles
• scientific article; zbMATH DE number 1929150
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics
• Frame problem in dynamic logic

Cited in

(4)

• A general first-order solution to the ramification problem with cycles
• Means-end relations and a measure of efficacy
• A semantics for means-end relations
• Conditional logic of actions and causation

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 Q4430399)