Sciweavers

1300 search results - page 12 / 260
» Probabilistic logic with independence
Sort
View
JOLLI
2002
80views more  JOLLI 2002»
13 years 8 months ago
Independent Choices and the Interpretation of IF Logic
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
Theo M. V. Janssen
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 8 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
MLG
2007
Springer
14 years 2 months ago
Comparative Evaluation of PL languages
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
Manfred Jaeger, Petr Lidman, Juan L. Mateo
AAAI
1994
13 years 10 months ago
Forming Beliefs about a Changing World
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
ECAI
1998
Springer
14 years 18 days ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz