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 new semantics for logic programs
2004
cilc04:rsm
-
In proceedings
Luís Moniz Pereira, Alexandre Miguel Pinto
Dipartimento di Matematica
Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings
-
Univ. Parma
-
-
-
-
-
Invited paper
-
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Revised Stable Models - a new semantics for logic programs, in: Dipartimento di Matematica (eds), Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings, Univ. Parma, Invited paper, 2004.
<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 new semantics for logic programs</b>, in: Dipartimento di Matematica (eds), <u>Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings</u>, <a href="http://www.unipr.it/" title="Link to external entity..." target="_blank" class="publisher">Univ. Parma</a>, <i>Invited paper</i>, 2004.
@inproceedings {cilc04:rsm, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {Dipartimento di Matematica}, title = {Revised Stable Models - a new semantics for logic programs}, booktitle = {Convegno Italiano di Logica Computazionale (CILC'04), Parma, Italy, June 16-17, 2004, Proceedings}, publisher = {Univ. Parma}, note = {Invited paper}, year = {2004}, }
Publication's urls
/publications/view.php?code=201ed4b81d72adf112da9b07b2c46d03
/publications/view.php?code=cilc04:rsm
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