Search Sciweavers | Sciweavers

1078 search results - page 70 / 216

» The Modal Logic of Probability

130

click to vote

CADE
1997
Springer

160views Logical Reasoning» more CADE 1997»

Connection-Based Proof Construction in Linear Logic

15 years 8 months ago

Download www.cs.cornell.edu

We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...

Christoph Kreitz, Heiko Mantel, Jens Otten, Stepha...

claim paper

Read More »

131

click to vote

TIME
1994
IEEE

141views Automated Reasoning» more TIME 1994»

Belief Revision in a Discrete Temporal Probability-Logic

15 years 8 months ago

Download www2.cs.uregina.ca

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 ...

Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld...

claim paper

Read More »

124

click to vote

ILP
2004
Springer

98views Automated Reasoning» more ILP 2004»

Learning, Logic, and Probability: A Unified View

15 years 9 months ago

Download iclp08.dimi.uniud.it

Pedro Domingos

claim paper