1814 search results - page 59 / 363 » Extended First-Order Logic |
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
118
Voted
DIAGRAMS
2004
Springer
15 years 4 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
82
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
121
Voted
CADE
2003
Springer
16 years 1 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
96
Voted
TABLEAUX
1997
Springer
15 years 5 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...