Sciweavers

ECAI
2008
Springer
13 years 9 months ago
Chronicles for On-line Diagnosis of Distributed Systems
Xavier Le Guillou, Marie-Odile Cordier, Sophie Rob...
ECAI
2008
Springer
13 years 9 months ago
An Analysis of Bayesian Network Model-Approximation Techniques
Abstract. Two approaches have been used to perform approximate inference in Bayesian networks for which exact inference is infeasible: employing an approximation algorithm, or appr...
Adamo Santana, Gregory M. Provan
ECAI
2008
Springer
13 years 9 months ago
A Practical Temporal Constraint Management System for Real-Time Applications
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...
Luke Hunsberger
ECAI
2008
Springer
13 years 9 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...
ECAI
2008
Springer
13 years 9 months ago
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
Georgios Meditskos, Nick Bassiliades
ECAI
2008
Springer
13 years 9 months ago
Task Driven Coreference Resolution for Relation Extraction
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...
Feiyu Xu, Hans Uszkoreit, Hong Li
ECAI
2008
Springer
13 years 9 months ago
Determining Automatically the Size of Learned Ontologies
Determining the size of an ontology that is automatically learned from texts is an open issue. In this paper, we study the similarity between ontology concepts at different levels ...
Elias Zavitsanos, Sergios Petridis, Georgios Palio...
ECAI
2008
Springer
13 years 9 months ago
Vivifying Propositional Clausal Formulae
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
ECAI
2008
Springer
13 years 9 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck
ECAI
2008
Springer
13 years 9 months ago
Definability in Logic and Rough Set Theory
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu