An encompassing framework for paraconsistent logic programs

DOI10.1016/j.jal.2004.07.012zbMath1063.03015OpenAlexW2048639548WikidataQ58831022 ScholiaQ58831022MaRDI QIDQ1775864

João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.012

zbMATH Keywords

knowledge representationbilatticeslogic programminginconsistent informationmultivalued logicsparaconsistent reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Logic programming (68N17) Paraconsistent logics (03B53)

Related Items

Logical foundations and complexity of 4QL, a query language with unrestricted negation, Quasi-classical reasoning in paraconsistent databases, Paracoherent Answer Set Semantics meets Argumentation Frameworks, Better Paracoherent Answer Sets with Less Resources, Paracoherent answer set computation, An encompassing framework for paraconsistent logic programs, Syntax and semantics of multi-adjoint normal logic programming

Cites Work

• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• `Classical' negation in nonmonotonic reasoning and logic programming
• Fixpoint semantics for logic programming a survey
• Paraconsistent declarative semantics for extended logic programs
• An encompassing framework for paraconsistent logic programs
• A logic programming system for nonmonotonic reasoning
• Reasoning with logic programming
• A lattice-theoretical fixpoint theorem and its applications
• Quantitative deduction and its fixpoint theory
• Bilattices and the semantics of logic programming
• The Semantics of Predicate Logic as a Programming Language
• The family of stable models
• The well-founded semantics for general logic programs
• A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
• Hybrid probabilistic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item