1814 search results - page 194 / 363 » Extended First-Order Logic |
118
Voted
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
156
Voted
COSIT
1999
Springer
15 years 8 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
118
Voted
FMLDO
1999
Springer
15 years 8 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
127
Voted
AUSAI
1998
Springer
15 years 8 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
136
Voted
DOOD
1993
Springer
15 years 7 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...