Sciweavers

400 search results - page 50 / 80
» Singularities in Qualitative Reasoning
Sort
View
EUROCAST
2005
Springer
84views Hardware» more  EUROCAST 2005»
14 years 3 months ago
A Tractable Subclass of Fuzzy Constraint Networks
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
Alfonso Bosch, Francisco Guil, Roque Marín
KR
2004
Springer
14 years 3 months ago
Complex Preferences for Answer Set Optimization
The main contribution of this paper is the definition of the preference description language  ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
Gerhard Brewka
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
14 years 3 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
EACL
2006
ACL Anthology
13 years 11 months ago
Multi-Document Summarization of Evaluative Text
We present and compare two approaches to the task of summarizing evaluative arguments. The first is a sentence extractionbased approach while the second is a language generation-b...
Giuseppe Carenini, Raymond T. Ng, Adam Pauls
IJCAI
2001
13 years 11 months ago
Temporal Decision Trees or the lazy ECU vindicated
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...
Luca Console, Claudia Picardi, Daniele Theseider D...