1426 search results - page 106 / 286 » Specification of nonmonotonic reasoning |
146
click to vote
AAAI
2004
15 years 7 months ago
2004
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the sam...
149
click to vote
WIRTSCHAFTSINFORMATI
2003
15 years 7 months ago
2003
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...
173
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
180
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
162
click to vote
IVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper details a framework for explicit deliberative control of socially and physically situated agents in virtual, real and mixed reality environments. The objective...