Sciweavers

519 search results - page 49 / 104
» Qualitative choice logic
Sort
View
KR
2004
Springer
14 years 1 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 1 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
EUSFLAT
2003
13 years 9 months ago
Modelling with temporal fuzzy chains
The aim of this paper is to present the Temporal Fuzzy Chains (TFCs) [3] to model the dynamic systems in a linguistic manner. TFCs make use of two different concepts: the traditio...
Juan Moreno García, Luis Jiménez, Jo...
KES
2004
Springer
14 years 1 months ago
Mining Positive and Negative Fuzzy Association Rules
While traditional algorithms concern positive associations between binary or quantitative attributes of databases, this paper focuses on mining both positive and negative fuzzy ass...
Peng Yan, Guoqing Chen, Chris Cornelis, Martine De...
IJCAI
2007
13 years 9 months ago
A New Perspective on Stable Models
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz