Sciweavers

5671 search results - page 131 / 1135
» A Semantic Approach to Interpolation
Sort
View
ESWS
2004
Springer
14 years 3 months ago
S-Match: an Algorithm and an Implementation of Semantic Matching
Abstract. We think of Match as an operator which takes two graph-like structures and produces a mapping between those nodes of the two graphs that correspond semantically to each o...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
AI
2007
Springer
13 years 10 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»
13 years 10 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...
SEMWEB
2010
Springer
13 years 8 months ago
Semantic Need: Guiding Metadata Annotations by Questions People #ask
Abstract. In its core, the Semantic Web is about the creation, collection and interlinking of metadata on which agents can perform tasks for human users. While many tools and appro...
Hans-Jörg Happel
CCECE
2009
IEEE
14 years 4 months ago
A grainless semantics for the HARPO/L language
This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...
Theodore S. Norvell