Soundness and Completeness of an "Efficient" Negation for Prolog.
Juan José Moreno-NavarroSusana Muñoz-HernándezPublished in: JELIA (2004)
Keyphrases
- logic programming
- logic programs
- horn clauses
- procedural semantics
- knowledge representation
- expert systems
- artificial neural networks
- deductive databases
- general purpose
- knowledge base
- data sets
- multi agent systems
- decision trees
- database
- evolutionary algorithm
- website
- programming language
- e learning
- computer vision
- inductive logic programming
- data mining
- neural network