Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473971zbMATH OpenOpenAlexFDO

Authors Marek Sergot, Robert Craven

Publication date 23 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

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

Recommendations

• Nonmonotonic causal theories
• A logic of universal causation
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• A causal approach to nonmonotonic reasoning

Cited in

(11)

• Chronological ignorance: Experiments in nonmonotonic temporal reasoning
• A logic of universal causation
• On the Hsiao definition of non-causality
• Extended causal theories
• scientific article; zbMATH DE number 1292307 (Why is no real title available?)
• A review of proposed principles of causal non-monotonic reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Nonmonotonic causal theories
• A causal approach to nonmonotonic reasoning

Describes a project that uses

Uses Software

• CCalc
• PSATO
• SATO

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5473971)