Sciweavers

ECAI
2000
Springer
13 years 9 months ago
Logic Programs with Compiled Preferences
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
James P. Delgrande, Torsten Schaub, Hans Tompits
ECAI
2000
Springer
13 years 9 months ago
A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm
Abstract. In constraint networks, the efficiency of a search algorithm is strongly related to the local consistency maintained during search. For a long time, it has been consider...
Romuald Debruyne
ECAI
2000
Springer
13 years 9 months ago
Similarity-based Approach to Relevance Learning
In several information retrieval (IR) systems there is a possibility for user feedback. Many machine learning methods have been proposed that learn from the feedback information in...
Rickard Cöster, Lars Asker
ECAI
2000
Springer
13 years 9 months ago
Diagnosis and Diagnosability Analysis Using PEPA
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
Luca Console, Claudia Picardi, Marina Ribaudo
ECAI
2000
Springer
13 years 9 months ago
Flexible Text Classification for Financial Applications: The Facile System
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...
Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Joha...
ECAI
2000
Springer
13 years 9 months ago
On Efficiency of Learning: A Framework and Justification
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...
Jindrich Bucha
ECAI
2000
Springer
13 years 9 months ago
Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems
Abstract. This paper presents a framework that enables autonomous agents to dynamically select the mechanism they employ in order to coordinate their inter-related activities. Adop...
Rachel A. Bourne, Cora B. Excelente-Toledo, Nichol...
ECAI
2000
Springer
13 years 9 months ago
Explaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities w...
Alexander Borgida, Enrico Franconi, Ian Horrocks
ECAI
2000
Springer
13 years 9 months ago
Designing Clustering Methods for Ontology Building - The Mo'K Workbench
This paper describes Mo’K, a configurable workbench that supports the development of conceptual clustering methods for ontology building. Mo’K is intended to assist ontology de...
Gilles Bisson, Claire Nedellec, Dolores Cañ...