Sciweavers

2539 search results - page 25 / 508
» Semantic frameworks for e-government
Sort
View
91
Voted
AINA
2005
IEEE
15 years 3 months ago
A Distributed Ontology Framework in the Semantic Grid Environment
This paper explores a distributed ontology framework for tailoring ontologies in the Semantic Grid environment. The framework is divided into five main categories; Ontology Proce...
Andrew Flahive, J. Wenny Rahayu, David Taniar, Ber...
FM
2009
Springer
164views Formal Methods» more  FM 2009»
15 years 4 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
COMMA
2006
14 years 11 months ago
Evaluation and comparison criteria for extension-based argumentation semantics
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
Pietro Baroni, Massimiliano Giacomin
ICMAS
1998
14 years 11 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
107
Voted
ICLP
2005
Springer
15 years 3 months ago
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
Emad Saad, Enrico Pontelli