417 search results - page 33 / 84 » Results on Reasoning about Updates in Transaction Logic |
108
click to vote
CSL
2003
Springer
15 years 5 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
86
Voted
DLOG
2007
15 years 2 months ago
2007
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...
102
Voted
CADE
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
106
Voted
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...