292 search results - page 4 / 59 » First-order intensional logic |
SEMWEB
2009
Springer
14 years 2 months 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...
TABLEAUX
2000
Springer
13 years 11 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 ...
ACL
1990
13 years 8 months ago
1990
In contrast to the "designer logic" approach, this paper shows how the attribute-value feature structures of unification grammar and constraints on them can be axiomatiz...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
CADE
2001
Springer
14 years 8 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...