Sciweavers

13090 search results - page 2441 / 2618
» Usable artificial intelligence
Sort
View
KR
2004
Springer
15 years 11 months ago
Characterization of Semantics for Argument Systems
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a con...
Philippe Besnard, Sylvie Doutre
179
Voted
KR
2004
Springer
15 years 11 months ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman
177
Voted
KR
2004
Springer
15 years 11 months ago
Inductive Situation Calculus
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
Marc Denecker, Eugenia Ternovska
KR
2004
Springer
15 years 11 months ago
On Merging Strategy-Proofness
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
Patricia Everaere, Sébastien Konieczny, Pie...
KR
2004
Springer
15 years 11 months ago
GAI Networks for Utility Elicitation
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
Christophe Gonzales, Patrice Perny
« Prev « First page 2441 / 2618 Last » Next »