499 search results - page 24 / 100 » Logic Programming in a Fragment of Intuitionistic Linear Log... |
174
click to vote
SEBD
2001
15 years 5 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
161
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, we describe a proof-theoretic foundation for bottom-up logic programming based on uniform proofs in the setting of the logical framework LF. We present a forward un...
104
click to vote
LOGCOM
2000
15 years 4 months ago
2000
Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...