53 search results - page 3 / 11 » Lukaszewicz-style Answer Set Programming: A Preliminary Repo... |
JELIA
2010
Springer
13 years 4 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
PADL
2005
Springer
13 years 11 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
GI
2010
Springer
13 years 4 months ago
2010
Springer
: Information needs like searching scientific literature that involve high recall rates are difficult to satisfy with ad hoc keyword search. We propose to state queries implicitl...