Synthesizing advanced transaction models using the situation calculus

Iluju Kiringa, Iluju Kiringa, Alfredo Gabaldon, Alfredo Gabaldon,

Journal	Journal of Intelligent Information Systems
Publisher	Universitat Politècnica de Catalunya
Volume	35
ISSN	0925-9902
Journal	Journal of Intelligent Information Systems
Publisher	Universitat Politècnica de Catalunya
Volume	35
ISSN	0925-9902

Publication