Adding closed world assumptions to well-founded semantics
Given a program P we specify an enlargement of its well-founded model which gives meaning to the adding of closed world assumptions. We do so by proposing the desirable principles of a closed world assumption (CWA), and proceed to formally define and apply them to well-founded semantics (WFS), in or...
| Autor principal: | |
|---|---|
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
2019
|
| Texto completo: | http://hdl.handle.net/10362/64188 |
| País: | Portugal |
| Oai: | oai:run.unl.pt:10362/64188 |