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