The following pages link to NoMoRe (Q19152):
Displayed 21 items.
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- (Q3100235) (← links)
- (Q3100242) (← links)
- Implementing Prioritized Merging with ASP (Q3163981) (← links)
- (Q3413498) (← links)
- Graphs and colorings for answer set programming (Q3426201) (← links)
- Experimenting with parallelism for the instantiation of ASP programs (Q3527693) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- (Q4460685) (← links)
- (Q4539616) (← links)
- (Q4708940) (← links)
- (Q4708947) (← links)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630) (← links)
- The nomore + + Approach to Answer Set Solving (Q5387832) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424869) (← links)
- (Q5480653) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705919) (← links)
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings (Q5941850) (← links)