Indeed : Interactive Deduction on Horn Clause Theories.
José Oscar Olmedo-AguirreGuillermo Morales-LunaPublished in: IBERAMIA (2002)
Keyphrases
- horn clauses
- inference rules
- first order logic
- logic programs
- inductive logic programming
- theorem prover
- theoretical framework
- virtual reality
- cognitive psychology
- database queries
- theorem proving
- modal logic
- user friendly
- computer graphics
- user interaction
- user interface
- training data
- decision trees
- machine learning