417 search results - page 46 / 84 » Results on Reasoning about Updates in Transaction Logic |
100
Voted
CADE
2006
Springer
16 years 26 days ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
113
click to vote
JTAER
2008
15 years 16 days ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
144
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
109
Voted
SLP
1994
15 years 1 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
98
Voted
ASWEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences s...