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
Approved Models for Normal Logic Programs
October 2007
pp:lpar07
-
In proceedings
Luís Moniz Pereira, Alexandre Miguel Pinto
Nachum Dershowitz, Andrei Voronkov
Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning
LPAR - LNAI
Springer
Yerevan, Armenia
-
-
-
-
-
http://www.lpar.net/2007/
Publication files
- click here to download - pdf 179 KB
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Approved Models for Normal Logic Programs, in: Nachum Dershowitz and Andrei Voronkov (eds), Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning, LPAR - LNAI, Springer, Yerevan, Armenia, (http://www.lpar.net/2007/), October 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>Approved Models for Normal Logic Programs</b>, in: Nachum Dershowitz and Andrei Voronkov (eds), <u>Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning</u>, LPAR - LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Yerevan, Armenia, (<a href="http://www.lpar.net/2007/" target="_blank">url</a>), October 2007.
@inproceedings {pp:lpar07, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Nachum Dershowitz and Andrei Voronkov}, title = {Approved Models for Normal Logic Programs}, booktitle = {Procs. 14th Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning}, series = {LPAR - LNAI}, publisher = {Springer}, address = {Yerevan, Armenia}, url = {http://www.lpar.net/2007/}, keywords = {argumentation logic programs}, month = {October}, year = {2007}, }
Publication's urls
/publications/view.php?code=a3fca15ff51ec628f1dc90b2d04f6161
/publications/view.php?code=pp:lpar07
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