Sciweavers

1587 search results - page 47 / 318
» The Semantics of Extended SOFL
Sort
View
APSEC
2004
IEEE
13 years 11 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
LADS
2007
Springer
14 years 1 months ago
An Argumentation Based Semantics for Agent Reasoning
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
Sanjay Modgil
FOSSACS
2010
Springer
14 years 2 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
ICDE
2004
IEEE
120views Database» more  ICDE 2004»
14 years 9 months ago
Minimization and Group-By Detection for Nested XQueries
We describe and evaluate a query minimization technique that applies to XQueries, which are nested, perform arbitrary joins, and freely mix bag and set semantics. These features c...
Alin Deutsch, Yannis Papakonstantinou, Yu Xu
RR
2007
Springer
14 years 1 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...