Sciweavers

158 search results - page 17 / 32
» Change in Abstract Argumentation Frameworks: Adding an Argum...
Sort
View
COMMA
2008
14 years 11 months ago
Basic influence diagrams and the liberal stable semantics
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
Paul-Amaury Matt, Francesca Toni
COMMA
2006
14 years 10 months ago
Semi-Stable Semantics
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
Martin Caminada
TREC
2003
14 years 10 months ago
Report on the TREC 2003 Experiment: Genomic Track
After retrieval, this simple strategy yield to an important improvement of the average precision: from 17.02 up to 35.80. Task II. Our approach is based on argumentative structurin...
Patrick Ruch, Gilles Cohen, Frédéric...
SEMWEB
2009
Springer
15 years 4 months ago
Change Representation For OWL 2 Ontologies
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
Raúl Palma, Peter Haase, Óscar Corch...
TCS
2008
14 years 9 months ago
Using bisimulation proof techniques for the analysis of distributed abstract machines
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
Damien Pous