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
Transaction Logic with External Actions
May 2011
etr:lpnmr
-
In proceedings
Ana Sofia Gomes, José Júlio Alferes
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011
Lecture Notes in Computer Science
Springer
-
6645
272-277
978-3-642-20894-2
1861- 2059
-
-
Export formats
Ana Sofia Gomes and José Júlio Alferes, Transaction Logic with External Actions, , Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Lecture Notes in Computer Science, Springer, Vol. 6645, ISBN 978-3-642-20894-2, ISSN 1861- 2059, Pag. 272-277, May 2011.
<a href="/people/members/view.php?code=d6ce3bc379df4fc77fdbae72d5c38b02" class="author">Ana Sofia Gomes</a> and <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <b>Transaction Logic with External Actions</b>, <u>Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 6645, ISBN 978-3-642-20894-2, ISSN 1861- 2059, Pag. 272-277, May 2011.
@inproceedings {etr:lpnmr, author = {Ana Sofia Gomes and Jos{\'e} J{\'u}lio Alferes}, title = {Transaction Logic with External Actions}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {6645}, pages = {272-277}, isbn = {978-3-642-20894-2}, issn = {1861- 2059}, month = {May}, year = {2011}, }
Publication's urls
/publications/view.php?code=1e942d62c1648cf60daa1dc585db381f
/publications/view.php?code=etr:lpnmr
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