Login / Signup
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.
Lucas Bordeaux
Éric Monfroy
Published in:
JFPLC (2003)
Keyphrases
</>
automatically extracted
information extraction
automatic extraction
artificial intelligence
data structure
m learning
knowledge compilation
case study
multi agent systems
learning process
evolutionary algorithm
domain specific
data extraction
technology enhanced