Sciweavers

ECSQARU
2009
Springer
14 years 5 months ago
Merging Qualitative Constraints Networks Using Propositional Logic
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
Jean-François Condotta, Souhila Kaci, Pierr...
ECSQARU
2009
Springer
14 years 5 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conļ¬...
Vasiliki Efstathiou, Anthony Hunter
ECSQARU
2009
Springer
14 years 5 months ago
Belief Functions and Cluster Ensembles
Abstract. In this paper, belief functions, deļ¬ned on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...
Marie-Hélène Masson, Thierry Denoeux
ECSQARU
2009
Springer
14 years 5 months ago
Modelling Argument Accrual in Possibilistic Defeasible Logic Programming
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
Mauro Javier Gómez Lucero, Carlos Ivá...
ECSQARU
2009
Springer
14 years 5 months ago
Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
sing Attacks to Attacks in Abstract Argumentation Frameworks Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Giovanni Guida Dipartimento di Elettronica per lā€™Automazi...
Pietro Baroni, Federico Cerutti, Massimiliano Giac...
ECSQARU
2009
Springer
14 years 5 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
ECSQARU
2009
Springer
14 years 5 months ago
Realizing Default Logic over Description Logic Knowledge Bases
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
ECSQARU
2009
Springer
14 years 5 months ago
A Note on Cumulative Stereotypical Reasoning
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
Giovanni Casini, Hykel Hosni