scientific article; zbMATH DE number 2048605

MaRDI QIDQ4452629zbMATH OpenFDO

Authors Jorge Lobo, Gisela M. Méndez, Stuart R. Taylor

Publication date 1 March 2004

zbMATH Keywords

action theoriesepistemic logic programs

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Formalizing sensing actions -- a transition function based approach
• Representing actions: Laws, observations and hypotheses
• Two components of an action language
• Updating action domain descriptions
• An action language for multi-agent domains

Cited in

(9)

• Knowledge updates: Semantics and complexity issues
• Formalizing sensing actions -- a transition function based approach
• Reasoning about actions with loops via Hoare logic
• Knowledge, action, and the frame problem
• An action language for multi-agent domains
• A history based approximate epistemic action theory for efficient postdictive reasoning
• Considerations on belief revision in an action theory
• A composable language for action models
• scientific article; zbMATH DE number 1748582 (Why is no real title available?)

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