713 search results - page 23 / 143 » Syntax and Semantics of Babel-17 |
DLOG
2003
13 years 9 months ago
2003
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
JAR
2007
13 years 8 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
AO
2008
13 years 8 months ago
2008
Abstract. We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in ...
ICAI
2009
13 years 6 months ago
2009
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
The increasing amount of data on the Semantic Web offers opportunities for semantic search. However, formal query hinders the casual users in expressing their information need as t...