Und-Parallelismus und effizientes Backtracking von Prolog-Prozeduren.
Lutz PlümerPublished in: GI Jahrestagung (1) (1986)
Keyphrases
- expert systems
- constraint satisfaction
- search algorithm
- abstract machine
- logic programming
- programming language
- reinforcement learning
- data structure
- decision making
- information systems
- knowledge representation
- software engineering
- general purpose
- artificial intelligence
- genetic algorithm
- machine learning
- prolog programs
- real world