1269 search results - page 80 / 254 » Pi-Calculus in Logical Form |
130
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
197
Voted
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
247
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
149
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
147
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we propose a nonmonotonic extension ALC + Tmin of the Description Logic ALC for reasoning about prototypical properties and inheritance with exception. The logic ALC ...