Contradiction removal within well founded semantics
Our purpose is to define a semantics that extends Well Founded Semantics for programs with classical negation, and which avoids the absence of models caused by contradictions brought about by closed world assumptions. This extension relies on allowing to take back such closed world assumptions, thro...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferenceObject |
| Language: | eng |
| Published: |
2019
|
| Online Access: | https://mitpress.mit.edu/books/logic-programming-and-non-monotonic-reasoning |
| Country: | Portugal |
| Oai: | oai:run.unl.pt:10362/72470 |