Sciweavers

89 search results - page 13 / 18
» Abduction and the Dualization Problem
Sort
View
COMPGEOM
2003
ACM
15 years 9 months ago
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation
We introduce anisotropic Voronoi diagrams, a generalization of multiplicatively weighted Voronoi diagrams suitable for generating guaranteed-quality meshes of domains in which lon...
François Labelle, Jonathan Richard Shewchuk
FSTTCS
2010
Springer
15 years 1 months ago
Parityizing Rabin and Streett
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
Udi Boker, Orna Kupferman, Avital Steinitz
UAI
1989
15 years 5 months ago
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
Yang Xiang, Michael P. Beddoes, David Poole
137
Voted
COMMA
2008
15 years 5 months ago
Investigating Stories in a Formal Dialogue Game
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
Floris Bex, Henry Prakken
AI
2004
Springer
15 years 3 months ago
Conditional logic of actions and causation
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
Laura Giordano, Camilla Schwind