scientific article; zbMATH DE number 140402

zbMATH Open0765.68192MaRDI QIDQ4028811FDOQ4028811

Vladimir Lifschitz

Publication date: 28 March 1993

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

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

zbMATH Keywords

frame problemcircumscriptionramifications

Mathematics Subject Classification ID

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

Cited In (11)

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

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)