Login / Signup

Booleguru, the Propositional Polyglot (Short Paper).

Maximilian HeisingerSimone HeisingerMartina Seidl
Published in: IJCAR (1) (2024)
Keyphrases
  • propositional logic
  • first order logic
  • database
  • databases
  • information systems
  • website
  • multi valued
  • neural network
  • bayesian networks
  • multiscale
  • multi agent
  • search algorithm
  • default logic
  • satisfiability testing