All-Path Reachability Logic.

Andrei Stefanescu Stefan Ciobaca Radu Mereuta Brandon M. Moore Traian-Florin Serbanuta Grigore Rosu

Published in: RTA-TLCA (2014)

Keyphrases

modal logic
logic programming
state space
predicate logic
transitive closure
shortest path
real time
artificial intelligence
probabilistic logic
classical logic
proof theory
asynchronous circuits
epistemic logic
defeasible logic
automated reasoning
programming language
dynamic programming
case study
data mining