Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
On Strong and Default Negation in Logic Program Updates (Extended Version)
2014
DBLP:journals/corr/SlotaBL14
-
Technical report
Martin Slota, Martin Balaz, João Alexandre Leite
-
-
-
-
-
http://arxiv.org/abs/1404.6784
Export formats
Martin Slota and Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Logic Program Updates (Extended Version), (http://arxiv.org/abs/1404.6784), 2014.
Martin Slota and Martin Balaz and João Alexandre Leite, <b>On Strong and Default Negation in Logic Program Updates (Extended Version)</b>, (<a href="http://arxiv.org/abs/1404.6784" target="_blank">url</a>), 2014.
@techreport {DBLP:journals/corr/SlotaBL14, author = {Martin Slota and Martin Balaz and Jo{\~a}o Alexandre Leite}, title = {On Strong and Default Negation in Logic Program Updates (Extended Version)}, url = {http://arxiv.org/abs/1404.6784}, year = {2014}, }
Publication's urls
/publications/view.php?code=7912e0964d37c91ffdeb9d4ddbe7f9f0
/publications/view.php?code=DBLP:journals/corr/SlotaBL14

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT