All-Path Reachability Logic.

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

Published in: CoRR (2018)

Keyphrases

state space
modal logic
classical logic
shortest path
automated reasoning
epistemic logic
defeasible logic
multi valued
optimal path
logic programming
probabilistic logic
predicate logic
logical framework
relational databases
information systems
abductive reasoning
neural network