435 search results - page 2 / 87 » Probability logic, logical probability, and inductive suppor... |
TIME
1994
IEEE
13 years 10 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
SEMWEB
2009
Springer
14 years 9 days ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
DAGSTUHL
2007
13 years 7 months ago
2007
CSL
2003
Springer
13 years 11 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
EUSFLAT
2009
13 years 3 months ago
2009