Compilation of ASP Programs: Recent Developments (Short Paper).
Giuseppe MazzottaCarmine DodaroFrancesco RiccaPublished in: DP@AI*IA (2022)
Keyphrases
- recent developments
- answer set programming
- recent advances
- answer set programs
- stable model semantics
- stable models
- answer sets
- web applications
- logic programming
- prolog programs
- logic programs
- automatic programming
- declarative programming
- machine learning
- programming environment
- data structure
- bayesian networks
- knowledge base