Publication details

Publication details Main information Title: Well Founded Semantics for Logic Program Updates Publication date: 2004 Citation: bab04:iberamia Abstract: - In proceedings Authors: Federico Banti, José Júlio Alferes, Antonio Brogi Editors: Christian Lemaître, Carlos A. Reyes, Jesús A. González Book title: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings Series: Lecture Notes in Computer Science Publisher: Springer Address: - Volume: 3315 Pages: 397-407 ISBN: 3-540-23806-9 ISSN: - Note: - Url address: - Export formats Plain text: Federico Banti and José Júlio Alferes and Antonio Brogi, Well Founded Semantics for Logic Program Updates, in: Christian Lemaître and Carlos A. Reyes and Jesús A. González (eds), Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 3315, ISBN 3-540-23806-9, Pag. 397-407, 2004. HTML: <a href="/people/members/view.php?code=52aefa9f3c82806b7308696c9695b36a" class="author">Federico Banti</a>, <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a> and Antonio Brogi, <b>Well Founded Semantics for Logic Program Updates</b>, in: Christian Lemaître, Carlos A. Reyes and Jesús A. González (eds), <u>Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, 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. 3315, ISBN 3-540-23806-9, Pag. 397-407, 2004. BibTeX: @inproceedings {bab04:iberamia, author = {Federico Banti and Jos{\'e} J{\'u}lio Alferes and Antonio Brogi}, editor = {Christian Lema\^{\i}tre and Carlos A. Reyes and Jes{\'u}s A. Gonz{\'a}lez}, title = {Well Founded Semantics for Logic Program Updates}, booktitle = {Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, M{\'e}xico, November 22-26, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {3315}, pages = {397-407}, isbn = {3-540-23806-9}, year = {2004}, } Publication's urls Full url: /publications/view.php?code=37cd2c6d41c60925659bad88cbaf3d7a Friendly url: /publications/view.php?code=bab04:iberamia