4217 search results - page 24 / 844 » Computational indistinguishability logic |
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
108
click to vote
POPL
1997
ACM
15 years 1 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
155
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
LOPSTR
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
AUSAI
1999
Springer
15 years 2 months ago
1999
Springer
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...