Sciweavers

7167 search results - page 83 / 1434
» Answer Set Programming
Sort
View
AAAI
2010
13 years 9 months ago
A Temporal Proof System for General Game Playing
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
Michael Thielscher, Sebastian Voigt
COMMA
2006
13 years 9 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada
CI
2004
125views more  CI 2004»
13 years 7 months ago
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
Tran Cao Son, Enrico Pontelli
ICALP
1998
Springer
14 years 2 days ago
Independent Sets with Domination Constraints
Magnús M. Halldórsson, Jan Kratochv&...
ICALP
2000
Springer
13 years 11 months ago
Hardness of Set Cover with Intersection 1
V. S. Anil Kumar, Sunil Arya, H. Ramesh