Sciweavers

1943 search results - page 136 / 389
» Ordering Default Theories
Sort
View
SUM
2007
Springer
16 years 1 months ago
Valued Hesitation in Intervals Comparison
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...
Meltem Öztürk, Alexis Tsoukiàs
174
Voted
ATAL
2007
Springer
15 years 11 months ago
Planning and defeasible reasoning
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
Diego R. García, Alejandro Javier Garc&iacu...
ECAI
2000
Springer
15 years 10 months ago
Verification Programs for Abduction
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
Paolo Liberatore, Francesco M. Donini
193
Voted
IJAR
2008
82views more  IJAR 2008»
15 years 7 months ago
Probabilistic rough set approximations
This paper reviews probabilistic approaches to rough sets in granulation, approximation, and rule induction. The Shannon entropy function is used to quantitatively characterize pa...
Yiyu Yao
JC
2006
105views more  JC 2006»
15 years 7 months ago
On the complexity of the resolvent representation of some prime differential ideals
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...