Sciweavers

4617 search results - page 239 / 924
» Automation of Diagrammatic Reasoning
Sort
View
GIS
2006
ACM
15 years 6 months ago
Swarming methods for geospatial reasoning
Geospatial data is often used to predict or recommend movements of robots, people, or animals ("walkers"). Analysis of such systems can be combinatorially explosive. Eac...
H. Van Dyke Parunak, Sven Brueckner, Robert S. Mat...
DLOG
2010
15 years 4 months ago
KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
Quentin Reul, Jeff Z. Pan
ECSQARU
2001
Springer
15 years 11 months ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu
TIME
1994
IEEE
15 years 10 months ago
Using Constrained Resolution for Abductive Temporal Reasoning
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...
Nicolas Chleq
EWCBR
1994
Springer
15 years 10 months ago
Case-Based Reasoning for Multi-Step Problems and Its Integration with Heuristic Search
Theusual case-basedreasoningapproachassumesthat foreachgivenprobleminstanceit is necessaryto retrieve fromscratcha similarcasefromthe casebase.Therefore, anindexedmemorystmctareor...
Christian Reiser, Hermann Kaindl