Sciweavers

5158 search results - page 85 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
DAGSTUHL
2007
13 years 10 months ago
Homotopy Methods to Compute Equilibria in Game Theory
This paper presents a complete survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements....
P. Jean-Jacques Herings, Ronald Peeters
ICLP
2009
Springer
14 years 9 months ago
Logic Programming with Defaults and Argumentation Theories
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul F...
CADE
2006
Springer
14 years 9 months ago
Tree Automata with Equality Constraints Modulo Equational Theories
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
Florent Jacquemard, Laurent Vigneron, Michaël...
CVPR
2010
IEEE
14 years 5 months ago
An Approach to Vectorial Total Variation based on Geometric Measure Theory
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
Bastian Goldluecke, Daniel Cremers
AUSAI
2009
Springer
14 years 3 months ago
Simple Default Reasoning in Theories of Action
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
Hannes Strass, Michael Thielscher