Sciweavers

390 search results - page 20 / 78
» Probability Logic and Logical Probability
Sort
View
AAAI
2008
15 years 5 months ago
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
Anbu Yue, Weiru Liu
122
Voted
TARK
2009
Springer
15 years 10 months ago
A logical characterization of iterated admissibility
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
Joseph Y. Halpern, Rafael Pass
154
Voted
ETELEMED
2009
IEEE
262views Healthcare» more  ETELEMED 2009»
15 years 10 months ago
MEDBOLI: Medical Diagnosis Based on Ontologies and Logical Inference
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
Alejandro Rodríguez González, Myriam...
129
Voted
JELIA
2004
Springer
15 years 9 months ago
Practical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
JLP
2000
134views more  JLP 2000»
15 years 3 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole