Sciweavers

972 search results - page 4 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
LICS
1996
IEEE
13 years 10 months ago
Model-Checking of Correctness Conditions for Concurrent Objects
Rajeev Alur, Kenneth L. McMillan, Doron Peled
KI
2007
Springer
13 years 12 months ago
Spatio-Temporal Configurations of Dynamics Points in a 1D Space
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
Pierre Hallot, Roland Billen
EUSFLAT
2009
121views Fuzzy Logic» more  EUSFLAT 2009»
13 years 3 months ago
A New Conditioning Rule, Its Generalization and Evidential Reasoning
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
Koichi Yamada, Vilany Kimala, Muneyuki Unehara
IJCAI
2007
13 years 7 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker