DDLV: A System for rational preferential reasoning for datalog
Datalog is a powerful language that can be used to represent explicit knowledge and compute inferences in knowledge bases. Datalog cannot, however, represent or reason about contradictory rules. This is a limitation as contradictions are often present in domains that contain exceptions. In this pape...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
South African Institute of Computer Scientists and Information Technologists
2020-12-01
|
| Series: | South African Computer Journal |
| Online Access: | https://sacj.cs.uct.ac.za/index.php/sacj/article/view/850 |