Sciweavers

2696 search results - page 215 / 540
» Semantic Abstraction and Anaphora
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Elaborating Domain Descriptions
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
Andreas Herzig, Laurent Perrussel, Ivan José...
FQAS
2006
Springer
100views Database» more  FQAS 2006»
15 years 10 months ago
Highly Heterogeneous XML Collections: How to Retrieve Precise Results?
Abstract. Highly heterogeneous XML collections are thematic collections exploiting different structures: the parent-child or ancestor-descendant relationships are not preserved and...
Ismael Sanz, Marco Mesiti, Giovanna Guerrini, Rafa...
SAIG
2000
Springer
15 years 10 months ago
Multi-Stage Imperative Languages: A Conservative Extension Result
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
Cristiano Calcagno, Eugenio Moggi
AI
2010
Springer
15 years 9 months ago
Argumentation-Based Reasoning with Inconsistent Knowledge Bases
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...
Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin
DLOG
2007
15 years 9 months ago
Induction of Optimal Semi-distances for Individuals based on Feature Sets
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito