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
Synthesizing Advanced Transaction Models Using the Situation Calculus
2010
KirGab10
-
Journal
Iluju Kiringa, Alfredo Gabaldon
Journal of Intelligent Information Systems
-
-
35
-
157-212
-
0925-9902
-
-
Export formats
Iluju Kiringa and Alfredo Gabaldon, Synthesizing Advanced Transaction Models Using the Situation Calculus, Journal of Intelligent Information Systems, Vol. 35, Pag. 157-212, ISSN 0925-9902, 2010.
<b>Iluju Kiringa and <a href="/people/members/view.php?code=3a9d10cb19eedc36960f68d303c27c0b" class="author">Alfredo Gabaldon</a></b>, <u>Synthesizing Advanced Transaction Models Using the Situation Calculus</u>, Journal of Intelligent Information Systems, Vol. 35, Pag. 157-212, ISSN 0925-9902, 2010.
@article {KirGab10, author = {Iluju Kiringa and Alfredo Gabaldon}, title = {Synthesizing Advanced Transaction Models Using the Situation Calculus}, journal = {Journal of Intelligent Information Systems}, volume = {35}, pages = {157-212}, issn = {0925-9902}, year = {2010}, }
Publication's urls
/publications/view.php?code=d0c5d0c21a59413b99ac35a166680ee0
/publications/view.php?code=KirGab10
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