On Strong and Default Negation in Logic Program Updates

Martin Slota, Martin Balaz, João Alexandre Carvalho Pinheiro Leite

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationINFSYS Research Report
Publication statusPublished - 2014
Event15th International Workshop on Non-Monotonic Reasoning (NMR 2014) -
Duration: 1 Jan 2014 → …

Conference

Conference15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Period1/01/14 → …

Cite this

Slota, M., Balaz, M., & Leite, J. A. C. P. (2014). On Strong and Default Negation in Logic Program Updates. In INFSYS Research Report