NoMoRe
From MaRDI portal
Cited in
(33)- GNT
- Hilberticus
- PLATYPUS
- ASSAT
- Cmodels
- Smodels
- Lparse
- STRIP
- Asparagus
- Enhancing DLV instantiator by backjumping techniques
- The intelligent grounder of DLV
- Efficient parallel ASP instantiation via dynamic rewriting
- Integrating grounding in the search process for answer set computing
- Implementing prioritized merging with ASP
- nomore++
- daVinci
- MODPROF
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- Graphs and colorings for answer set programming
- Experimenting with parallelism for the instantiation of ASP programs
- Merging Belief Bases Represented by Logic Programs
- scientific article; zbMATH DE number 2063029 (Why is no real title available?)
- scientific article; zbMATH DE number 1765678 (Why is no real title available?)
- scientific article; zbMATH DE number 1931682 (Why is no real title available?)
- scientific article; zbMATH DE number 1931689 (Why is no real title available?)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- The nomore + + Approach to Answer Set Solving
- Logic Programming and Nonmonotonic Reasoning
- Semantics and complexity of recursive aggregates in answer set programming
- scientific article; zbMATH DE number 5043340 (Why is no real title available?)
- Logic for Programming, Artificial Intelligence, and Reasoning
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Enhancing disjunctive logic programming systems by SAT checkers
This page was built for software: NoMoRe
