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
A Well-Founded Semantics with Disjunction
2005
DBLP:conf/iclp/AlcantaraDP05
-
In proceedings
João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira
Maurizio Gabbrielli, Gopal Gupta
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Lecture Notes in Computer Science
Springer
-
3668
341-355
3-540-29208-X
-
-
-
Export formats
João Alcântara and Carlos Viegas Damásio and Luís Moniz Pereira, A Well-Founded Semantics with Disjunction, in: Maurizio Gabbrielli and Gopal Gupta (eds), Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3668, ISBN 3-540-29208-X, Pag. 341-355, 2005.
João Alcântara, <a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>A Well-Founded Semantics with Disjunction</b>, in: Maurizio Gabbrielli and Gopal Gupta (eds), <u>Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 3668, ISBN 3-540-29208-X, Pag. 341-355, 2005.
@inproceedings {DBLP:conf/iclp/AlcantaraDP05, author = {Jo{\~a}o Alc{\^a}ntara and Carlos Viegas Dam{\'a}sio and Lu\'{\i}s Moniz Pereira}, editor = {Maurizio Gabbrielli and Gopal Gupta}, title = {A Well-Founded Semantics with Disjunction}, booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {3668}, pages = {341-355}, isbn = {3-540-29208-X}, year = {2005}, }
Publication's urls
/publications/view.php?code=2529a4456fb5cd17ade1702c1817062f
/publications/view.php?code=DBLP:conf/iclp/AlcantaraDP05
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