A logic programming system for nonmonotonic reasoning

DOI10.1007/BF00883931zbMath0819.68034DBLPjournals/jar/AlferesDP95OpenAlexW1979064340WikidataQ58831036 ScholiaQ58831036MaRDI QIDQ1891266

Carlos Viegas Damásio, José Júlio Alferes, Luís Moniz Pereira

Publication date: 27 August 1995

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

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

zbMATH Keywords

logic programming semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic programming (68N17)

Related Items (6)

Belief revision via Lamarckian evolution ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ The limits of fixed-order computation ⋮ An encompassing framework for paraconsistent logic programs ⋮ Epistemology and artificial intelligence ⋮ Relating defeasible and normal logic programming through transformation properties.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative error diagnosis
• One difference method of solving a linear differential equation with a discontinuous coefficient. I
• Nonmonotonic reasoning, preferential models and cumulative logics
• Static semantics for normal and disjunctive logic programs
• Linear resolution with selection function
• A basis for deductive database systems
• Negation in logic programming
• Tabulated resolution for the well-founded semantics
• SLDNFA: An abductive procedure for abductive logic programs
• Logic Programming with Strong Negation and Inexact Predicates
• A procedural semantics for well-founded negation in logic programs
• The well-founded semantics for general logic programs
• Logic programming and negation: A survey
• Logic programming and knowledge representation

This page was built for publication: A logic programming system for nonmonotonic reasoning