Login / Signup
All-Path Reachability Logic.
Andrei Stefanescu
Stefan Ciobaca
Radu Mereuta
Brandon M. Moore
Traian-Florin Serbanuta
Grigore Rosu
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
shortest path
logic programming
state space
modal logic
transitive closure
multi valued
logical framework
classical logic
sound and complete axiomatization
database
information retrieval
artificial intelligence
endpoints
path length
defeasible logic