Arguing Correctness of ASP Programs with Aggregates.
Jorge FandinnoZachary HansenYuliya LierlerPublished in: LPNMR (2022)
Keyphrases
- answer set programming
- provably correct
- answer sets
- web applications
- answer set programs
- declarative programming
- control structures
- stable model semantics
- expert systems
- data streams
- programming environment
- control program
- real time
- evolutionary algorithm
- logic programs
- logic programming
- control flow
- learning environment
- decision trees
- artificial intelligence
- information retrieval
- concurrent programs