Sciweavers

321 search results - page 4 / 65
» Heterogeneous Reasoning
Sort
View
ATAL
2008
Springer
13 years 9 months ago
Verifying time, memory and communication bounds in systems of reasoning agents
We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where t...
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A...
ICCBR
2005
Springer
14 years 1 months ago
Language Games: Solving the Vocabulary Problem in Multi-Case-Base Reasoning
The problem of heterogeneous case representation poses a major obstacle to realising real-life multi-case-base reasoning (MCBR) systems. The knowledge overhead in developing and ma...
Paolo Avesani, Conor Hayes, Marco Cova
FLAIRS
2001
13 years 9 months ago
Spatial Reasoning for Information Brokering
The World Wide Webprovides new opportunities for collecting information from distributed, multiple, and heterogeneous data sources. Information brokering can bc used to provide co...
Heiner Stuckenschmidt, Christoph Schlieder, Ubbo V...
CADE
2007
Springer
13 years 11 months ago
The Heterogeneous Tool Set (Hets)
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
Till Mossakowski, Christian Maeder, Klaus Lüt...
ICC
2007
IEEE
162views Communications» more  ICC 2007»
14 years 2 months ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...