1.1k citations
- Centre National de la Recherche ScientifiqueFR5 papers
- Imperial College LondonGB4 papers
- Leibniz Institute for Astrophysics PotsdamDE4 papers
- Odesa I. I. Mechnikov National UniversityUA4 papers
- Max Planck Institute for the Physics of Complex SystemsDE3 papers
- Ben-Gurion University of the NegevIL2 papers
- Chalmers University of TechnologySE2 papers
- Laboratoire Kastler BrosselFR2 papers
- Lundbeck FoundationDK2 papers
- Max Planck SocietyDE2 papers
- Perm State UniversityRU2 papers
- Sorbonne UniversitéFR2 papers
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2005
Graphs and colorings for answer set programming
Kathrin Konczak, Thomas Linke, Torsten Schaub
We investigate the usage of rule dependency graphs and their colorings for characterizing and computing answer sets of logic programs. This approach provides us with insights into…
cs.AI2003
A semantic framework for preference handling in answer set programming
Torsten Schaub, Kewen Wang
We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint cha…
cs.AI2002
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
David Pearce, Vladimir Sarsakov, Torsten Schaub +2
Nested logic programs have recently been introduced in order to allow for arbitrarily nested formulas in the heads and the bodies of logic program rules under the answer sets seman…