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
Revised Stable Models - a Semantics for Logic Programs
December 2005
PP05
-
In proceedings
Luís Moniz Pereira, Alexandre Miguel Pinto
Carlos Bento, A. Cardoso, G. Dias
Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05)
LNAI
Springer
Covilhã, Portugal
-
29-42
-
-
-
-
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Revised Stable Models - a Semantics for Logic Programs, in: Carlos Bento and A. Cardoso and G. Dias (eds), Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05), LNAI, Springer, Covilhã, Portugal, Pag. 29-42, December 2005.
<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>Revised Stable Models - a Semantics for Logic Programs</b>, in: <a href="/people/members/view.php?code=0d8aac639c899e05fe2de28c04fe49d6" class="editor">Carlos Bento</a>, A. Cardoso and G. Dias (eds), <u>Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05)</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Covilhã, Portugal, Pag. 29-42, December 2005.
@inproceedings {PP05, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Carlos Bento and A. Cardoso and G. Dias}, title = {Revised Stable Models - a Semantics for Logic Programs}, booktitle = {Procs. 12th Portuguese Intl.Conf. on Artificial Intelligence (EPIA'05)}, series = {LNAI}, publisher = {Springer}, address = {Covilh{\~a}, Portugal}, pages = {29-42}, month = {December}, year = {2005}, }
Publication's urls
/publications/view.php?code=6491dbc8209dabe0a90a961853c13428
/publications/view.php?code=PP05
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