386 search results - page 56 / 78 » A Consistent Semantics of Self-adjusting Computation |
132
Voted
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
96
Voted
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
133
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
98
Voted
AUSAI
1998
Springer
15 years 6 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
118
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...