1941 search results - page 185 / 389 » Reasoning about Computations Using Two-Levels of Logic |
100
Voted
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
236
Voted
JBI
2011
14 years 10 months ago
2011
The Gene Ontology is being normalized and extended to include computable logical definitions. These definitions are partitioned into mutually exclusive cross-product sets, many of...
147
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
141
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
180
Voted
EASSS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...