Colourful TFNP and Propositional Proofs.
Ben DavisRobert RoberePublished in: Electron. Colloquium Comput. Complex. (2023)
Keyphrases
- first order logic
- theorem proving
- propositional logic
- theorem prover
- default logic
- satisfiability testing
- proof procedure
- formal proof
- statistical relational learning
- formal proofs
- disjunctive logic programming
- deductive reasoning
- natural deduction
- probabilistic logic
- equational theories
- database
- strips planning
- mathematical proofs
- predicate calculus
- knowledge compilation
- horn clauses
- inference rules
- information systems
- real time