Disjunctive Programs with Set Constraints
From MaRDI portal
Publication:2900542
DOI10.1007/978-3-642-30743-0_32zbMath1357.68038MaRDI QIDQ2900542
Victor W. Marek, Jeffery B. Remmel
Publication date: 23 July 2012
Published in: Correct Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_32
68N17: Logic programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Logic programs with abstract constraint atoms: the role of computations
- Logic programs, well-orderings, and forward chaining
- A theory of nonmonotonic rule systems I
- On the computational cost of disjunctive logic programming: Propositional case
- Guarded resolution for Answer Set Programming
- Introduction to Mathematics of Satisfiability
- The Semantics of Predicate Logic as a Programming Language
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Weight constraints as nested expressions
- Logic Programming and Nonmonotonic Reasoning
- Strongly equivalent logic programs