Property Directed Reachability for QF_BV with mixed type atomic reasoning units.

Tobias Welp Andreas Kuehlmann

Published in: ASP-DAC (2014)

Keyphrases

knowledge representation
knowledge base
website
natural language
probabilistic reasoning
multiple types
databases
genetic algorithm
social networks
case study
logic programming
desirable properties
transitive closure
reasoning systems
reasoning processes