External Sources of Axioms in Automated Theorem Proving.
Martin SudaGeoff SutcliffePatrick WischnewskiManuel Lamotte-SchubertGerard de MeloPublished in: KI (2009)
Keyphrases
- artificial intelligence
- automated theorem proving
- theorem prover
- first order logic
- theorem proving
- answer set programming
- knowledge representation
- classical logic
- knowledge base
- expert systems
- derived predicates
- bayesian networks
- neural network
- logic programs
- fixed point
- natural language
- information retrieval
- databases
- data sets