Set-Based Analysis for Logic Programming and Tree Automata.
Jean-Marc TalbotSophie TisonPhilippe DeviennePublished in: SAS (1997)
Keyphrases
- logic programming
- logic programs
- stable models
- answer set programming
- deductive databases
- logic programming language
- inductive logic programming
- tree automata
- programming language
- answer sets
- finite state
- artificial intelligence
- knowledge representation
- constraint logic programming
- dynamic programming
- default logic