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

Publication details

Go back
Publication details
Main information
On Strong and Default Negation in Answer-Set Program Update
2014
LeiteICLP2014
-
Journal
Martin Slota, Martin Balaz, João Alexandre Leite
Theory and Practice of Logic Programming, Online Supplement
Cambridge University Press
-
14
4-5
-
-
-
-
-
Export formats
Martin Slota and Martin Balaz and João Alexandre Leite, On Strong and Default Negation in Answer-Set Program Update, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, 2014.
<b><a href="/people/members/view.php?code=ba97853dc6d77decebfb5c3058094b25" class="author">Martin Slota</a>, Martin Balaz and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="author">João Alexandre Leite</a></b>, <u>On Strong and Default Negation in Answer-Set Program Update</u>, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, 2014.
@article {LeiteICLP2014, author = {Martin Slota and Martin Balaz and Jo{\~a}o Alexandre Leite}, title = {On Strong and Default Negation in Answer-Set Program Update}, journal = {Theory and Practice of Logic Programming, Online Supplement}, publisher = {Cambridge University Press}, volume = {14}, number = {4-5}, year = {2014}, }
Publication's urls
/publications/view.php?code=162ab01f62d862848a2492eed67c6292
/publications/view.php?code=LeiteICLP2014
Go back
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