1083 search results - page 133 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
146
click to vote
LICS
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
98
Voted
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
122
Voted
DLOG
2009
15 years 10 days ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
232
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
226
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...