Synthesizing advanced transaction models using the situation calculus

Research output: Contribution to journal › Article

Original language	Unknown
Pages (from-to)	157-212
Journal	Journal Of Intelligent Information Systems
Volume	35
Issue number	NA
DOIs	https://doi.org/10.1007/s10844-009-0093-8
Publication status	Published - 1 Jan 2010

Access to Document

@article{117fa6ab0a65418c8e3546cdf849d632,

title = "Synthesizing advanced transaction models using the situation calculus",

author = "Royval, {Alfredo Gabaldon}",

note = "10.1007/s10844-009-0093-8",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/s10844-009-0093-8",

language = "Unknown",

volume = "35",

pages = "157--212",

journal = "Journal Of Intelligent Information Systems",

issn = "0925-9902",

publisher = "Springer Science Business Media",

number = "NA",

}

TY - JOUR

T1 - Synthesizing advanced transaction models using the situation calculus

AU - Royval, Alfredo Gabaldon

N1 - 10.1007/s10844-009-0093-8

PY - 2010/1/1

Y1 - 2010/1/1

U2 - 10.1007/s10844-009-0093-8

DO - 10.1007/s10844-009-0093-8

M3 - Article

VL - 35

SP - 157

EP - 212

JO - Journal Of Intelligent Information Systems

JF - Journal Of Intelligent Information Systems

SN - 0925-9902

IS - NA

ER -