scientific article; zbMATH DE number 140402

MaRDI QIDQ4028811zbMATHFDO

Authors Vladimir Lifschitz

Publication date 28 March 1993

zbMATH Keywords

frame problemcircumscriptionramifications

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Metatheory of actions: beyond consistency
• scientific article; zbMATH DE number 2236616
• Prolegomena to concise theories of action
• scientific article; zbMATH DE number 1523045
• Principles of metareasoning
• scientific article; zbMATH DE number 2101960
• On the dynamic logic of agency and action
• scientific article; zbMATH DE number 2243405

Cited in

(11)

• On Action Theory Change
• Lifschitz and Circumscription
• Two counterexamples related to Baker's approach to the frame problem
• Nested abnormality theories
• Alternative action theory. Simultaneously a critique of Georg Henrik von Wright's practical philosophy. Translated from the German by Jacques Zwart
• Proving properties of states in the situation calculus
• A Complete Axiomatization for Blocks World
• Metatheory of actions: beyond consistency
• The ramification problem in temporal databases: concurrent execution
• Prolegomena to concise theories of action
• A circumscriptive calculus of events

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