Sciweavers

7075 search results - page 75 / 1415
» Models and heterogeneous reasoning
Sort
View
ER
2007
Springer
108views Database» more  ER 2007»
15 years 7 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
15 years 3 months 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
15 years 1 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
15 years 2 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
15 years 1 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