A General Framework for Static Cost Analysis of Parallel Logic Programs.
Maximiliano KlemenPedro López-GarcíaJohn P. GallagherJosé F. MoralesManuel V. HermenegildoPublished in: LOPSTR (2019)
Keyphrases
- logic programs
- logic programming
- answer sets
- inductive logic programming
- background knowledge
- partial deduction
- stable models
- fixpoint
- answer set programming
- expert systems
- programming language
- knowledge representation
- computational properties
- declarative semantics
- prolog programs
- natural language
- term rewriting systems