Deriving probabilistic semantics via the 'weakest completion'

He Jifeng, Carroll Morgan, Annabelle McIver

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	131-145
Number of pages	15
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3308
Publication status	Published - 2004

Cite this

@article{45587879f19e4b6aaf441c016c4757dc,

title = "Deriving probabilistic semantics via the 'weakest completion'",

author = "He Jifeng and Carroll Morgan and Annabelle McIver",

year = "2004",

language = "English",

volume = "3308",

pages = "131--145",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer, Springer Nature",

}

TY - JOUR

T1 - Deriving probabilistic semantics via the 'weakest completion'

AU - Jifeng, He

AU - Morgan, Carroll

AU - McIver, Annabelle

PY - 2004

Y1 - 2004

UR - http://www.scopus.com/inward/record.url?scp=35048867437&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:35048867437

SN - 0302-9743

VL - 3308

SP - 131

EP - 145

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -