2062 search results - page 19 / 413 » Derivatives of Logical Formulas |
CADE
2001
Springer
14 years 10 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
APPML
2006
13 years 9 months ago
2006
In this note we provide a simple derivation of an explicit formula for the price of an option on a dividend-paying equity when the parameters in the Black
IJCAI
2003
13 years 11 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
LADS
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...