2500 search results - page 70 / 500 » Logical Semantics of Modularisation |
AGP
1993
IEEE
15 years 3 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
113
click to vote
AIML
2000
15 years 13 days ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
96
Voted
INTEROP
1999
Springer
15 years 3 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
KR
2010
Springer
15 years 3 months ago
2010
Springer
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
CSL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...