3408 search results - page 7 / 682 » Logic, language, information and computation |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
170
Voted
PODS
2009
ACM
16 years 5 days ago
2009
ACM
The paper investigates the question of whether a partially closed database has complete information to answer a query. In practice an enterprise often maintains master data Dm, a ...
92
Voted
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
57
Voted
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...