4401 search results - page 260 / 881 » Computing with Default Logic |
148
click to vote
SARA
2009
Springer
16 years 3 days ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
196
click to vote
TARK
2009
Springer
16 years 3 days 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...
161
click to vote
TPHOL
2007
IEEE
15 years 12 months 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...
172
click to vote
GRC
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
178
click to vote
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...