4617 search results - page 766 / 924 » Automation of Diagrammatic Reasoning |
187
Voted
EWCBR
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Good similarity functions are at the heart of effective case-based reasoning. However, the similarity functions that have been designed so far have been mostly linear, we...
193
Voted
ICLP
2004
Springer
16 years 12 days ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
200
Voted
KR
2004
Springer
16 years 12 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
196
Voted
KR
2004
Springer
16 years 12 days ago
2004
Springer
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
192
Voted
NMR
2004
Springer
16 years 12 days ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...