Login / Signup
From process logic to program logic.
Kohei Honda
Published in:
ICFP (2004)
Keyphrases
</>
modal logic
logic programming
classical logic
automated reasoning
process model
multi valued
probabilistic logic
defeasible logic
predicate logic
deontic logic
evolutionary algorithm
query language
development process
set theory
declarative semantics