Proof Generation from Delta-Decisions.

Sicun Gao Soonho Kong Edmund M. Clarke

Published in: CoRR (2014)

Keyphrases

decision makers
decision making
generation process
hidden markov models
making decisions
database
databases
web pages
knowledge base
similarity measure
description logics
theorem prover
generation algorithm
generation method
linear logic