`Classical' negation in nonmonotonic reasoning and logic programming

DOI10.1023/A:1005900924623zbMath0893.68147MaRDI QIDQ1382156

José Júlio Alferes, Teodor C. Przymusinski, Luís Moniz Pereira

Publication date: 2 June 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

knowledge representationAutoEpistemic logic of Beliefssymmetric negation

Mathematics Subject Classification ID

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

Related Items (6)

Belief revision via Lamarckian evolution ⋮ Collaborative vs. Conflicting Learning, Evolution and Argumentation ⋮ Autoepistemic logic of knowledge and beliefs ⋮ Contextual hypotheses and semantics of logic programs ⋮ An encompassing framework for paraconsistent logic programs ⋮ Epistemology and artificial intelligence

This page was built for publication: `Classical' negation in nonmonotonic reasoning and logic programming