On Strong and Default Negation in Logic Program Updates

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	INFSYS Research Report
Publication status	Published - 2014
Event	15th International Workshop on Non-Monotonic Reasoning (NMR 2014) - Duration: 1 Jan 2014 → …

Conference	15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
Period	1/01/14 → …

Cite this

@inproceedings{c00d045dee904ed5baa3b5d335d1de2d,

title = "On Strong and Default Negation in Logic Program Updates",

author = "Martin Slota and Martin Balaz and Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

year = "2014",

language = "English",

booktitle = "INFSYS Research Report",

note = "15th International Workshop on Non-Monotonic Reasoning (NMR 2014) ; Conference date: 01-01-2014",

}