Sciweavers

5243 search results - page 155 / 1049
» Reasoning About Strategies
Sort
View
AMI
2008
Springer
15 years 8 months ago
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
Fiemke Both, Mark Hoogendoorn, Jan Treur
APLAS
2008
ACM
15 years 8 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
FOIKS
2008
Springer
15 years 8 months ago
Defeasible Reasoning and Partial Order Planning
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
Diego R. García, Alejandro Javier Garc&iacu...
UAI
1998
15 years 7 months ago
Axiomatizing Causal Reasoning
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of...
Joseph Y. Halpern
IJCAI
1989
15 years 7 months ago
Approximation Algorithms for Temporal Reasoning
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...
Peter van Beek