Sciweavers

7167 search results - page 83 / 1434
» Answer Set Programming
Sort
View
AAAI
2010
15 years 2 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
87
Voted
COMMA
2006
15 years 2 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
123
Voted
CI
2004
125views more  CI 2004»
15 years 15 days 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
88
Voted
ICALP
1998
Springer
15 years 4 months ago
Independent Sets with Domination Constraints
Magnús M. Halldórsson, Jan Kratochv&...
ICALP
2000
Springer
15 years 4 months ago
Hardness of Set Cover with Intersection 1
V. S. Anil Kumar, Sunil Arya, H. Ramesh