1426 search results - page 134 / 286 » Specification of nonmonotonic reasoning |
195
click to vote
SIGKDD
2008
15 years 6 months ago
2008
A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized...
208
click to vote
APIN
2000
15 years 6 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
202
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
173
click to vote
IJIS
2010
15 years 4 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...