Sciweavers

1108 search results - page 23 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
ICLP
1993
Springer
15 years 1 months ago
Some Paradigms for Visualizing Parallel Execution of Logic Programs
Manuel Carro, Luis Manuel Gómez Henrí...
ICLP
2001
Springer
15 years 2 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
FLAIRS
2008
14 years 12 months ago
Causal Reasoning with Contexts Using Dependent Types
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
Richard Dapoigny, Patrick Barlatier
FLAIRS
2004
14 years 11 months ago
Knowledge-Based Constraint Satisfaction for Spatial Reasoning
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
Dan Tappan
CONTEXT
2007
Springer
15 years 3 months ago
Opinion Nets for Reasoning with Uncertain Context Information
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...
Yves Vanrompay, Yolande Berbers