Debugging of Answer Set Programs Using Paracoherent Reasoning.
Bernardo CuteriCarmine DodaroFrancesco RiccaPublished in: CILC (2019)
Keyphrases
- answer set programs
- answer set programming
- reasoning tasks
- logic programs
- answer sets
- model based diagnosis
- knowledge representation
- logic programming
- stable models
- automated reasoning
- knowledge base
- reasoning systems
- computational properties
- reasoning about actions
- update operators
- artificial intelligence
- spatial reasoning
- logical framework