NoMoRe

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