scientific article; zbMATH DE number 1989652

zbMATH Open1079.03533MaRDI QIDQ4430399FDOQ4430399

Authors: Norman Y. Foo, Dong-Mo Zhang 

Publication date: 9 October 2003

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

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

Mathematics Subject Classification ID

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

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

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)