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