Login / Signup
The Boolean Solution Problem from the Perspective of Predicate Logic.
Christoph Wernhard
Published in:
FroCoS (2017)
Keyphrases
</>
predicate logic
temporal logic
predicate calculus
formal logic
databases
optimal solution
boolean functions
knowledge representation and reasoning
search engine
domain knowledge
object oriented