Sciweavers

7075 search results - page 75 / 1415
» Models and heterogeneous reasoning
Sort
View
ER
2007
Springer
108views Database» more  ER 2007»
14 years 4 months ago
Reasoning over Extended ER Models
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
Alessandro Artale, Diego Calvanese, Roman Kontchak...
AAAI
2007
14 years 11 days ago
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning
We propose a Case-Based Reasoning approach for action selection in the robot soccer domain presented in the 8th European Conference on Case-Based Reasoning (2006). Based on the cu...
Raquel Ros, Manuela M. Veloso, Ramon López ...
AI
2005
Springer
13 years 10 months ago
Unifying tree decompositions for reasoning in graphical models
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...
Kalev Kask, Rina Dechter, Javier Larrosa, Avi Dech...
AAAI
1990
13 years 11 months ago
Backward Model Tracing: An Explanation-Based Approach for Reconstructing Student Reasoning
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
Danilo Fum, Paolo Giangrandi, Carlo Tasso
AMAI
2002
Springer
13 years 10 months ago
A Reasoning Model Based on the Production of Acceptable Arguments
Argumentation is a reasoning model based on the construction of arguments and counterarguments (defeaters) then the selection of the most acceptable of them. In this paper, we pro...
Leila Amgoud, Claudette Cayrol