1.6k citations
- The University of QueenslandAU9 papers
- University College LondonGB4 papers
- California Institute of TechnologyUS3 papers
- Centre for Quantum Computation and Communication TechnologyAU3 papers
- ARC Centre of Excellence for Engineered Quantum SystemsAU2 papers
- Los Alamos National LaboratoryUS2 papers
- Louisiana State UniversityUS2 papers
- Macquarie UniversityAU2 papers
- Perimeter InstituteCA2 papers
- The University of SydneyAU2 papers
- University of CalgaryCA2 papers
- University of CambridgeGB2 papers
Showing 2003 · cs.AIShow all
2 papers · 2 filters
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.AI2003★ 1 cited
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs
Kewen Wang, Lizhu Zhou
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, these semantics are differ…