NoMoRe
From MaRDI portal
Software:19152
swMATH7094MaRDI QIDQ19152FDOQ19152
Author name not available (Why is that?)
Cited In (21)
- 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
- Implementing prioritized merging with ASP
- 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
- The nomore + + Approach to Answer Set Solving
- The intelligent grounder of DLV
- 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?)
- Efficient parallel ASP instantiation via dynamic rewriting
- Integrating grounding in the search process for answer set computing
- Graphs and colorings for answer set programming
This page was built for software: NoMoRe
