2138 search results - page 93 / 428 » Logical Step-Indexed Logical Relations |
JUCS
2008
14 years 10 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
97
Voted
ENTCS
2007
14 years 10 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
KR
2004
Springer
15 years 3 months ago
2004
Springer
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
EJC
2003
14 years 11 months ago
2003
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
159
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...