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
Reductio ad Absurdum Argumentation in Normal Logic Programs
May 2007
lmp:arg07
-
In proceedings
Luís Moniz Pereira, Alexandre Miguel Pinto
Chitta Baral, G. Brewka, John S. Schlipf
Ninth International Conference on Logic Programming and Nonmonotonic Reasoning
LPNMR
Springer
Tempe, AZ, USA
-
96-113
978-3-540-72199-4
-
-
http://lpnmr2007.googlepages.com/
Publication files
- click here to download - pdf 179 KB
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Reductio ad Absurdum Argumentation in Normal Logic Programs, in: Chitta Baral and G. Brewka and John S. Schlipf (eds), Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR, Springer, Tempe, AZ, USA, ISBN 978-3-540-72199-4, Pag. 96-113, (http://lpnmr2007.googlepages.com/), May 2007.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and <a href="/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8" class="author">Alexandre Miguel Pinto</a>, <b>Reductio ad Absurdum Argumentation in Normal Logic Programs</b>, in: Chitta Baral, G. Brewka and John S. Schlipf (eds), <u>Ninth International Conference on Logic Programming and Nonmonotonic Reasoning</u>, LPNMR, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Tempe, AZ, USA, ISBN 978-3-540-72199-4, Pag. 96-113, (<a href="http://lpnmr2007.googlepages.com/" target="_blank">url</a>), May 2007.
@inproceedings {lmp:arg07, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Chitta Baral and G. Brewka and John S. Schlipf}, title = {Reductio ad Absurdum Argumentation in Normal Logic Programs}, booktitle = {Ninth International Conference on Logic Programming and Nonmonotonic Reasoning}, series = {LPNMR}, publisher = {Springer}, address = {Tempe, AZ, USA}, pages = {96-113}, isbn = {978-3-540-72199-4}, url = {http://lpnmr2007.googlepages.com/}, keywords = {argumentation logic programs}, month = {May}, year = {2007}, }
Publication's urls
/publications/view.php?code=1c61c8366c3aa537e3fbf063f9b15559
/publications/view.php?code=lmp:arg07
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