Sciweavers

2308 search results - page 102 / 462
» Representing Symbolic Reasoning
Sort
View
KI
1999
Springer
15 years 10 months ago
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
Werner Nutt
IFIP12
2004
15 years 7 months ago
Component Retrieval Using Conversational Case-Based Reasoning
: Component retrieval, about how to locate and identify appropriate components, is one of the major problems in component reuse. It becomes more critical as more reusable component...
Mingyang Gu, Agnar Aamodt, Xin Tong
IJCAI
1989
15 years 7 months ago
A Modest, but Semantically Well Founded, Inheritance Reasoner
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
Fahiem Bacchus
ECOI
2008
84views more  ECOI 2008»
15 years 6 months ago
Towards a structured approach to building qualitative reasoning models and simulations
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
Bert Bredeweg, Paulo Salles, Anders Bouwer, Jochem...
ARGMAS
2009
Springer
16 years 29 days ago
Practical Reasoning Using Values
Each person holds numerous values that represent what is believed to be important. As a result, our values influence our behavior and play a role in practical reasoning. Various a...
Thomas L. van der Weide, Frank Dignum, John-Jules ...