Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses.
Robert NieuwenhuisJosé Miguel RiveroMiguel Ángel VallejoPublished in: CADE (1997)
Keyphrases
- automated deduction
- data structures and algorithms
- theorem proving
- first order logic
- data structure
- algorithms and data structures
- theorem prover
- inference rules
- card games
- sorting algorithms
- computational methods
- deductive databases
- logic programming
- data mining tasks
- horn clauses
- knowledge representation
- databases
- learning environment
- artificial intelligence
- machine learning