Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
Christophe LecoutrePhilippe DeviennePatrick LebèguePublished in: JTASPEFT/WSA (1991)
Keyphrases
- expert systems
- logic programming
- data sets
- higher education
- abstract machine
- programming language
- knowledge representation
- decision trees
- multi agent systems
- object oriented
- software engineering
- high level
- artificial intelligence
- first order logic
- logic programming language
- explanation based generalization
- real time