Sciweavers

1548 search results - page 28 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
AI
2002
Springer
13 years 9 months ago
On the computational complexity of assumption-based argumentation for default reasoning
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni
OTM
2010
Springer
13 years 7 months ago
A Semantic Similarity Framework Exploiting Multiple Parts-of Speech
Abstract. Semantic similarity aims at establishing resemblance by interpreting the meaning of the objects being compared. The Semantic Web can benefit from semantic similarity in s...
Giuseppe Pirrò, Jérôme Euzenat
FUIN
2008
93views more  FUIN 2008»
13 years 10 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
SEMWEB
2004
Springer
14 years 3 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan
UML
2001
Springer
14 years 2 months ago
An Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
José M. Álvarez, Tony Clark, Andy Ev...