scientific article; zbMATH DE number 2048605

zbMATH Open1091.68603MaRDI QIDQ4452629FDOQ4452629

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

Publication date: 1 March 2004

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

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

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)

Cited In (7)

• 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
• A history based approximate epistemic action theory for efficient postdictive reasoning
• Title not available (Why is that?)
• Considerations on Belief Revision in an Action Theory

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)