Sciweavers

5434 search results - page 325 / 1087
» Semantic information portals
Sort
View
LICS
2009
IEEE
16 years 1 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
ECSQARU
2007
Springer
16 years 28 days ago
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four...
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
CAISE
2005
Springer
16 years 9 days ago
On the Semantics of Operation Contracts in Conceptual Modeling
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
Anna Queralt, Ernest Teniente
153
Voted
CAISE
2004
Springer
16 years 5 days ago
Towards Semantic Service Specification and Discovery
This document presents the research approach of the SEINE project. The goal of the research is to improve the existing methods for service specification and discovery by using onto...
Stanislav Pokraev, Roel Wieringa, Maarten W. A. St...
ECAI
2000
Springer
15 years 11 months ago
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
Salem Benferhat, Sébastien Konieczny, Odile...