Syntax and semantics of a monotonic framework for non-monotonic reasoning

DOI10.1007/3-540-54345-7_79MaRDI QIDQ4035258zbMATH OpenFDO

Authors M. A. Nait Abdallah

Publication date 18 May 1993

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

Full work available at URL https://doi.org/10.1007/3-540-54345-7_79

zbMATH Keywords

default reasoninglogic programmingmodel theorynonmonotonic reasoningproof theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1218288
• A unifying view for logic programming with non-monotonic reasoning
• scientific article; zbMATH DE number 4047198
• Non-monotonic reasoning with logic programming
• A survey of non-monotonic reasoning
• Formalizing nonmonotonic reasoning systems
• A framework to incorporate non-monotonic reasoning into constraint logic programming
• Nonmonotonic reasoning: Towards efficient calculi and implementations

Cited in

(7)

• Nonmonotonic reasoning in the framework of situation calculus
• A unifying view for logic programming with non-monotonic reasoning
• A Minimal Model Semantics for Nonmonotonic Reasoning
• A generalized view of nonmonotonic knowledge: a set of theoretic perspective
• scientific article; zbMATH DE number 4090838 (Why is no real title available?)
• scientific article; zbMATH DE number 1063802 (Why is no real title available?)
• scientific article; zbMATH DE number 1979725 (Why is no real title available?)

This page was built for publication: Syntax and semantics of a monotonic framework for non-monotonic reasoning

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