Sciweavers

18 search results - page 3 / 4
» ecai 1994
Sort
View
ECAI
1994
Springer
13 years 10 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos
ECAI
1994
Springer
13 years 10 months ago
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
Frank van Harmelen, Annette ten Teije
ECAI
1994
Springer
13 years 10 months ago
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
Benedita Malheiro, Nicholas R. Jennings, Eugenio O...
ECAI
1994
Springer
13 years 10 months ago
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
Mugur M. Tatar
ECAI
1994
Springer
13 years 10 months ago
Reasoning by Cases without Contraposition in Default Logic
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
Yves Moinard