641 citations
- The University of QueenslandAU8 papers
- California Institute of TechnologyUS3 papers
- Centre for Quantum Computation and Communication TechnologyAU3 papers
- University College LondonGB3 papers
- ARC Centre of Excellence for Engineered Quantum SystemsAU2 papers
- Los Alamos National LaboratoryUS2 papers
- Macquarie UniversityAU2 papers
- Perimeter InstituteCA2 papers
- The University of SydneyAU2 papers
- University of HertfordshireGB2 papers
- University of WaterlooCA2 papers
- Centre for Quantum TechnologiesSG1 paper
Showing cs.AIShow all
2 papers · 1 filter
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…