Sciweavers

2525 search results - page 223 / 505
» A Framework for Semantic Gossiping
Sort
View
ATAL
2010
Springer
15 years 8 months ago
Programming norm change
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...
Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules C...
JAPLL
2008
121views more  JAPLL 2008»
15 years 7 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
DEXAW
2009
IEEE
129views Database» more  DEXAW 2009»
16 years 1 months ago
RDFStats - An Extensible RDF Statistics Generator and Library
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...
Andreas Langegger, Wolfram Wöß
MFCS
1997
Springer
15 years 11 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...
LPNMR
1993
Springer
15 years 11 months ago
Negation as Partial Failure
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi