Sciweavers

1114 search results - page 15 / 223
» An Architecture for Peer-to-peer Reasoning
Sort
View
COSIT
2003
Springer
101views GIS» more  COSIT 2003»
15 years 6 months ago
Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
Ronald W. Ferguson, Joseph L. Bokor, Rudolph L. Ma...
113
Voted
EWCBR
2000
Springer
15 years 4 months ago
Activating Case-Based Reasoning with Active Databases
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
Sheng Li, Qiang Yang
IAT
2008
IEEE
15 years 7 months ago
An Agent Memory Model Enabling Rational and Biased Reasoning
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agent’s belief base. Based on an approach fo...
Annerieke Heuvelink, Michel C. A. Klein, Jan Treur
128
Voted
DLOG
2001
15 years 2 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
94
Voted
CI
1998
82views more  CI 1998»
15 years 21 days ago
Perceiving and Reasoning about a Changing World
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...
John L. Pollock