1941 search results - page 215 / 389 » Reasoning about Computations Using Two-Levels of Logic |
148
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
103
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
154
click to vote
AGP
2003
IEEE
15 years 9 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...
127
click to vote
PODC
1997
ACM
15 years 8 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
138
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...