Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207zbMath1152.68416OpenAlexW4376598721MaRDI QIDQ5473986

No author found.

Publication date: 23 June 2006

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Paraconsistent logics (03B53)

Related Items (9)

Default Negation as Explicit Negation plus Update ⋮ Equilibrium logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Modular Paracoherent Answer Sets ⋮ On deductive bases for paraconsistent answer set semantics ⋮ A denotational semantics for equilibrium logic ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Semi-equilibrium models for paracoherent answer set programs

This page was built for publication: Logic Programming and Nonmonotonic Reasoning