1814 search results - page 130 / 363 » Extended First-Order Logic |
124
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
154
Voted
TABLEAUX
1997
Springer
15 years 7 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...
132
Voted
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
130
Voted
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
115
click to vote
AAAI
2007
15 years 5 months ago
2007
The purpose of this paper is to extend the notions of prime implicates and prime implicants to the basic modal logic K. We consider a number of different potential definitions of...