scientific article; zbMATH DE number 2048605

zbMath1091.68603MaRDI QIDQ4452629

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

Publication date: 1 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

action theoriesepistemic logic programs

Mathematics Subject Classification ID

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

Related Items

Considerations on Belief Revision in an Action Theory, A history based approximate epistemic action theory for efficient postdictive reasoning, Reasoning about actions with loops via Hoare logic, Knowledge updates: Semantics and complexity issues, Knowledge, action, and the frame problem