460 search results - page 56 / 92 » A Principled Semantics for inp |
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
ISOLA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
LTCONF
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
There is a genuine demand for personalization and guidance in learning systems, as well as in general commercial learning systems for the WWW, and further, for the new, emerging S...