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