Sciweavers

462 search results - page 30 / 93
» Preference Reasoning
Sort
View
ASP
2003
Springer
14 years 2 months ago
CR-Prolog with Ordered Disjunction
We present CR-Prolog2, an extension of A-Prolog with cr-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, tha...
Marcello Balduccini, Veena S. Mellarkod
ECAI
1994
Springer
14 years 28 days ago
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
Frank van Harmelen, Annette ten Teije
JAIR
2008
145views more  JAIR 2008»
13 years 8 months ago
Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity
We consider the problem of allocating fairly a set of indivisible goods among agents from the point of view of compact representation and computational complexity. We start by ass...
Sylvain Bouveret, Jérôme Lang
ICCBR
2003
Springer
14 years 2 months ago
Case-Based Ranking for Decision Support Systems
Abstract. Very often a planning problem can be formulated as a ranking problem: i.e. to find an order relation over a set of alternatives. The ranking of a finite set of alternat...
Paolo Avesani, Sara Ferrari, Angelo Susi
COMMA
2010
13 years 3 months ago
Integrating Dialectical and Accrual Modes of Argumentation
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
Sanjay Modgil, Trevor J. M. Bench-Capon