Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies.
Laura GiordanoAlberto MartelliDaniele Theseider DupréPublished in: OVERLAY@AI*IA (2019)
Keyphrases
- answer set programming
- constraint logic programming
- logic programs
- logic programming
- answer sets
- reasoning tasks
- event calculus
- reasoning about actions and change
- knowledge representation
- answer set programs
- knowledge base
- stable model semantics
- constraint programming
- database
- model checking
- semantic web
- default theories
- constraint satisfaction
- databases
- qualitative and quantitative
- domain specific