2585 search results - page 223 / 517 » Automating Coherent Logic |
216
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
179
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
206
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
185
click to vote
ASP
2005
Springer
16 years 3 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
173
click to vote
CSL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...