Sciweavers

972 search results - page 4 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
102
Voted
CSL
2007
Springer
16 years 16 days ago
Omega-Regular Half-Positional Winning Conditions
Eryk Kopczynski
135
Voted
LICS
1996
IEEE
15 years 10 months ago
Model-Checking of Correctness Conditions for Concurrent Objects
Rajeev Alur, Kenneth L. McMillan, Doron Peled
186
Voted
KI
2007
Springer
16 years 15 days 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
160
Voted
EUSFLAT
2009
121views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 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
187
Voted
IJCAI
2007
15 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