Login / Signup
Booleguru, the Propositional Polyglot (Short Paper).
Maximilian Heisinger
Simone Heisinger
Martina 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