# NoMoRe

NoMoRe: A system for non-monotonic reasoning under answer set semantics NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute answer sets by computing a-colorings (non-standard graph colorings with two colors) of the block graph (a labeled digraph) associated with a given program $P$. Intuitively, an a-coloring reflects the set of generating rules for an answer set, which means that noMoRe is rule-based and not atom-based like most of the other known systems. Since the core system was designed for propositional programs only, we have integrated lparse as a grounder in order to deal with variables. Furthermore, we have included an interface to the graph drawing tool DaVinci for visualization of block graphs. This allows for a structural analysis of programs.

## References in zbMATH (referenced in 17 articles , 1 standard article )

Showing results 1 to 17 of 17.
Sorted by year (citations)