Login / Signup
A Decision Procedure for Herbrand Formulae without Skolemization.
Timm Lampert
Published in:
CoRR (2017)
Keyphrases
</>
influence diagrams
decision making
sensitivity analysis
horn clauses
bayesian networks
logic programs
database
object oriented
artificial intelligence
search engine
information systems
web services
lower bound
first order logic