NoMoRe: Non-monotonic reasoning with logic programs

DOI10.1007/3-540-45757-7_46MaRDI QIDQ4708947zbMATH OpenFDO

Authors Christian Anger, Kathrin Konczak, T. Linke

Publication date 20 June 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/2424/24240521.htm

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• NoMoRe: A system for non-monotonic reasoning under answer set semantics
• \texttt{NoMoRe}: A system for non-monotonic reasoning with logic programs under answer set semantics
• More on noMoRe
• Logic Programming and Nonmonotonic Reasoning
• Graphs and colorings for answer set programming

Cited in

(6)

• Implementing prioritized merging with ASP
• Graphs and colorings for answer set programming
• Merging Belief Bases Represented by Logic Programs
• \texttt{NoMoRe}: A system for non-monotonic reasoning with logic programs under answer set semantics
• NoMoRe: A system for non-monotonic reasoning under answer set semantics
• Logic Programming and Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• NoMoRe

This page was built for publication: NoMoRe: Non-monotonic reasoning with logic programs

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