Deriving probabilistic semantics via the 'weakest completion'

He Jifeng; Carroll Morgan; Annabelle McIver

doi:10.1007/978-3-540-30482-1_17

Deriving probabilistic semantics via the 'weakest completion'

He Jifeng
, Carroll Morgan
, Annabelle McIver

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

7 Scopus citations

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editors	Jim Davies, Wolfram Schulte, Mike Barnett
Publisher	Springer Verlag
Pages	131-145
Number of pages	15
ISBN (Electronic)	3540238417, 9783540238416
DOIs	https://doi.org/10.1007/978-3-540-30482-1_17
State	Published - 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3308
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-540-30482-1_17

Cite this

Jifeng, H., Morgan, C., & McIver, A. (2004). Deriving probabilistic semantics via the 'weakest completion'. In J. Davies, W. Schulte, & M. Barnett (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 131-145). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3308). Springer Verlag. https://doi.org/10.1007/978-3-540-30482-1_17

Jifeng, He ; Morgan, Carroll ; McIver, Annabelle. / Deriving probabilistic semantics via the 'weakest completion'. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). editor / Jim Davies ; Wolfram Schulte ; Mike Barnett. Springer Verlag, 2004. pp. 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{702fa2dd6cf2452bafa673ea823326e3,

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

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

year = "2004",

doi = "10.1007/978-3-540-30482-1\_17",

language = "英语",

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

publisher = "Springer Verlag",

pages = "131--145",

editor = "Jim Davies and Wolfram Schulte and Mike Barnett",

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

address = "德国",

}

Jifeng, H, Morgan, C & McIver, A 2004, Deriving probabilistic semantics via the 'weakest completion'. in J Davies, W Schulte & M Barnett (eds), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3308, Springer Verlag, pp. 131-145. https://doi.org/10.1007/978-3-540-30482-1_17

Deriving probabilistic semantics via the 'weakest completion'. / Jifeng, He; Morgan, Carroll; McIver, Annabelle.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ed. / Jim Davies; Wolfram Schulte; Mike Barnett. Springer Verlag, 2004. p. 131-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3308).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Deriving probabilistic semantics via the 'weakest completion'

AU - Jifeng, He

AU - Morgan, Carroll

AU - McIver, Annabelle

PY - 2004

Y1 - 2004

UR - https://www.scopus.com/pages/publications/35048867437

U2 - 10.1007/978-3-540-30482-1_17

DO - 10.1007/978-3-540-30482-1_17

M3 - 章节

AN - SCOPUS:35048867437

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

SP - 131

EP - 145

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

A2 - Davies, Jim

A2 - Schulte, Wolfram

A2 - Barnett, Mike

PB - Springer Verlag

ER -

Jifeng H, Morgan C, McIver A. Deriving probabilistic semantics via the 'weakest completion'. In Davies J, Schulte W, Barnett M, editors, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2004. p. 131-145. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-30482-1_17

Deriving probabilistic semantics via the 'weakest completion'

Publication series

Access to Document

Other files and links

Cite this