Sciweavers

15372 search results - page 250 / 3075
» The Semantics of Semantic Annotation
Sort
View
AI
2007
Springer
15 years 6 months ago
On principle-based evaluation of extension-based argumentation semantics
The increasing variety of semantics proposed in the context of Dung’s theory of argumentation makes more and more inadequate the example-based approach commonly adopted for eval...
Pietro Baroni, Massimiliano Giacomin
FUIN
2008
124views more  FUIN 2008»
15 years 6 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
ENTCS
2006
142views more  ENTCS 2006»
15 years 6 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
ENTCS
2006
144views more  ENTCS 2006»
15 years 6 months ago
Contorsion: A Semantic XPath Processor
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...
Rubén Tous, Jaime Delgado
ENTCS
2000
70views more  ENTCS 2000»
15 years 6 months ago
A Space Semantics for Core Haskell
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
Adam Bakewell, Colin Runciman