cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.

Frédéric Mesnard Ulrich Neumerkel Étienne Payet

Published in: JFPLC (2001)

Keyphrases

sufficient conditions
programming language
knowledge representation
logic programming
database
neural network
knowledge base
hidden markov models
prolog programs
real time
image processing
reinforcement learning
memory space