Sciweavers

2308 search results - page 146 / 462
» Categorial Semantics For LFG
Sort
View
WWW
2004
ACM
16 years 7 months ago
Semi-automatic annotation of contested knowledge on the world wide web
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
SIGMOD
2007
ACM
156views Database» more  SIGMOD 2007»
16 years 6 months ago
Mashup Feeds: : continuous queries over web services
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
Arsany Sawires, Divyakant Agrawal, Jun'ichi Tatemu...
CTCS
1997
Springer
15 years 10 months ago
Monads and Modular Term Rewriting
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
Christoph Lüth, Neil Ghani
HOPL
2007
15 years 10 months ago
The evolution of Lua
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...
Roberto Ierusalimschy, Luiz Henrique de Figueiredo...
ATAL
2008
Springer
15 years 8 months ago
Internal models and private multi-agent belief revision
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
Guillaume Aucher