NoMoRe: A system for non-monotonic reasoning under answer set semantics

DOI10.1007/3-540-45402-0_32MaRDI QIDQ4798024zbMATH OpenFDO

Authors Christian Anger, Kathrin Konczak, T. Linke

Publication date 18 March 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2173/21730406.htm

Mathematics Subject Classification ID

Logic programming (68N17) Graph theory (including graph drawing) in computer science (68R10) Computing methodologies and applications (68U99)

Recommendations

• \texttt{NoMoRe}: A system for non-monotonic reasoning with logic programs under answer set semantics
• NoMoRe: Non-monotonic reasoning with logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• More on noMoRe
• Logic Programming and Nonmonotonic Reasoning

Cited in

(10)

• NoMoRe
• Enhancing DLV instantiator by backjumping techniques
• The intelligent grounder of DLV
• Graphs and colorings for answer set programming
• \texttt{NoMoRe}: A system for non-monotonic reasoning with logic programs under answer set semantics
• NoMoRe: Non-monotonic reasoning with logic programs
• Logic Programming and Nonmonotonic Reasoning
• Semantics and complexity of recursive aggregates in answer set programming
• Logic programming with infinite sets
• Enhancing disjunctive logic programming systems by SAT checkers

Describes a project that uses

Uses Software

• SWI-Prolog
• Smodels
• Lparse
• daVinci

This page was built for publication: NoMoRe: A system for non-monotonic reasoning under answer set semantics

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