Sciweavers

ECAI
1994
Springer
15 years 28 days ago
Coherent Social Action
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
Michael Wooldridge
68
Voted
ECAI
1994
Springer
15 years 28 days 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
15 years 28 days 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
15 years 28 days ago
Knowledge Management
Jos Schreinemakers, Jean-Paul A. Barthès, D...
ECAI
1994
Springer
15 years 28 days ago
Model-Based Control
Eric Sauthier, Boi Faltings
82
Voted
ECAI
1994
Springer
15 years 28 days ago
Interpreting Common Words in Context: a Symbolic Approach
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
Violaine Prince
ECAI
1994
Springer
15 years 28 days ago
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling
We introduce the multiple capacitated job shop scheduling problem as a generalization of the job shop scheduling problem. In this problem machines may process several operations s...
W. P. M. Nuijten, Emile H. L. Aarts
ECAI
1994
Springer
15 years 28 days 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
70
Voted
ECAI
1994
Springer
15 years 28 days ago
Operationalizing Conceptual Models Based on a Model of Dependencies
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
Frank Maurer, Jürgen Paulokat