NoMoRe
From MaRDI portal
Software:19152
No author found.
Related Items (21)
Implementing Prioritized Merging with ASP ⋮ The Intelligent Grounder of DLV ⋮ Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming ⋮ Logic for Programming, Artificial Intelligence, and Reasoning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Unnamed Item ⋮ Enhancing DLV instantiator by backjumping techniques ⋮ Experimenting with parallelism for the instantiation of ASP programs ⋮ The nomore + + Approach to Answer Set Solving ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantics and complexity of recursive aggregates in answer set programming ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ Merging Belief Bases Represented by Logic Programs ⋮ Graphs and colorings for answer set programming ⋮ Enhancing disjunctive logic programming systems by SAT checkers
This page was built for software: NoMoRe
