365 search results - page 4 / 73 » First-order logical filtering |
113
click to vote
TABLEAUX
2000
Springer
15 years 3 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 ...
113
Voted
ACL
1990
15 years 25 days 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...
94
Voted
TIME
2009
IEEE
15 years 6 months ago
2009
IEEE
119
click to vote
CADE
2001
Springer
15 years 12 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...
AAAI
2010
15 years 1 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...