3573 search results - page 111 / 715 » Reasoning about Codata |
144
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
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...
122
click to vote
UAI
1998
15 years 4 months ago
1998
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...
134
click to vote
IJCAI
1989
15 years 4 months ago
1989
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...
131
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
122
click to vote
IVC
2006
15 years 3 months ago
2006
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...