scientific article; zbMATH DE number 2079521

MaRDI QIDQ4471519zbMATH OpenFDO

Authors Marek Bednarczyk

Publication date 28 July 2004

zbMATH Keywords

explicit substitutionsnonmonotonic logicreasoning about action

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning about action and change. A dynamic logic approach
• Two-valued logic programs
• Ramification and causality in a modal action logic
• scientific article; zbMATH DE number 1556963
• scientific article; zbMATH DE number 4130060

Cited in

(7)

• Reasoning about action and change. A dynamic logic approach
• A logic of non-monotonic interactions
• A linear meta-interpreter for reasoning about states and actions
• scientific article; zbMATH DE number 1114036 (Why is no real title available?)
• scientific article; zbMATH DE number 1556963 (Why is no real title available?)
• scientific article; zbMATH DE number 6769444 (Why is no real title available?)
• A lemma in the logic of action

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