Sciweavers

5372 search results - page 160 / 1075
» complexity 2007
Sort
View
AAAI
2007
13 years 10 months ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
IJCAI
2003
13 years 9 months ago
Causal Theories of Action: A Computational Core
We propose a framework for simple causal theories of action, and study the computational complexity in it of various reasoning tasks such as determinism, progression and regressio...
Jérôme Lang, Fangzhen Lin, Pierre Mar...
DAGSTUHL
2006
13 years 9 months ago
New Algebraic Tools for Constraint Satisfaction
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
Henning Schnoor, Ilka Schnoor
IWEC
2004
13 years 9 months ago
Game-Driven Intelligent Tutoring Systems
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...
Marco Antonio Gómez-Martín, Pedro Pa...
JCT
2007
83views more  JCT 2007»
13 years 7 months ago
A finiteness theorem for Markov bases of hierarchical models
We show that the complexity of the Markov bases of multidimensional tables stabilizes eventually if a single table dimension is allowed to vary. In particular, if this table dimen...
Serkan Hosten, Seth Sullivant