Login / Signup
The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract).
Christoph Wernhard
Published in:
SOQE (2017)
Keyphrases
</>
predicate logic
optimal solution
semantic network
high level
low level
higher level
lower level
formal logic
databases
predicate calculus
computational linguistics
theorem proving
integer programming
boolean functions
information sources
co occurrence
search algorithm
artificial intelligence