swMATH7094MaRDI QIDQ19152FDOQ19152
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F3-540-45744-5_24
Cited In (30)
- 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
- GNT
- Cmodels
- Lparse
- Smodels
- STRIP
- Asparagus
- daVinci
- nomore++
- MODPROF
- 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
