`Classical' negation in nonmonotonic reasoning and logic programming

DOI10.1023/A:1005900924623zbMATH Open0893.68147WikidataQ62039006 ScholiaQ62039006MaRDI QIDQ1382156FDOQ1382156

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

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

Cited In (10)

• Title not available (Why is that?)
• Autoepistemic logic of knowledge and beliefs
• Belief revision via Lamarckian evolution
• Epistemology and artificial intelligence
• The Non-Boolean Logic of Natural Language Negation
• Title not available (Why is that?)
• Contextual hypotheses and semantics of logic programs
• Title not available (Why is that?)
• An encompassing framework for paraconsistent logic programs
• Collaborative vs. Conflicting Learning, Evolution and Argumentation

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

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