Constructing probabilistic ATMS using extended incidence calculus

Modelling probability distributions in computer-aided probability elicitation

Chan, S.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre-DSC:5359.0952(9/92) / BLDSC - British Lib...

Judging the probablility of future events

Wright, G
Economic and Social Research Council (ESRC), London (United Kingdom)

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8318.17083(ESRC-C--00/23/2037) / BLD...

Symbolic model checking of concurrent probabilistic systems using MTBDDs and simplex

Kwiatkowska, M.
Norman, G.
Parker, D.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(99-1) / BLDSC - British Lib...

Constructing probabilistic ATMSs using extended incidence calculus

Liu, Weiru
Bundy, Alan

August 1996

AbstractThis paper discusses the relations between extended incidence calculus and assumption-based ...

On the relationship between incidence calculus and ATMS

Liu, W.
Bundy, A.
Robertson, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--611) / BLDSC - B...

On the Relations between Incidence Calculus and ATMS

Weiru Liu
Alan Bundy
Dave Robertson

January 2000

. This paper discusses the relationship between incidence calculus and the ATMS. It shows that manag...

Incidence calculus A mechanism for probabilistic reasoning

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1984

Available from British Library Lending Division - LD:3511.638(DAI-RP--216) / BLDSC - British Library...

Constructing Probabilistic ATMS Using Extended Incidence Calculus

Bundy, Alan
Liu, W.

December 2010

This paper discusses the relations between extended incidence calculus and assumption-based truth ma...

A rational reconstruction of incidence calculus

Correa da Silva, F.S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--517) / BLDSC - B...

Correctness criteria of some algorithms for uncertain reasoning using incidence calculus

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--259) / BLDSC - Brit...

Implied probability distributions Estimation, testing and applications

Giamouridis, D.

January 2001

Available from British Library Document Supply Centre-DSC:DXN049287 / BLDSC - British Library Docume...

Probability, algorithms and telecommunications systems

Luczak, M.

January 2000

Available from British Library Document Supply Centre-DSC:D213715 / BLDSC - British Library Document...

Probability elicitation

Stouppe, M.S

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:D062615 / BLDSC - British Library Do...

Duration dependance and the diffusion of new technology The case of ATMs

Gourlay, A.R.
Loughborough Univ. (United Kingdom). Dept. of Economics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3654.479(98/2) / BLDSC - British Libr...

Advances in probabilistic modelling

Oldfield, M.J.

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:D196742 / BLDSC - British Library Doc...

Modelling probability distributions in computer-aided probability elicitation

Chan, S.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre-DSC:5359.0952(9/92) / BLDSC - British Lib...

Judging the probablility of future events

Wright, G
Economic and Social Research Council (ESRC), London (United Kingdom)

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8318.17083(ESRC-C--00/23/2037) / BLD...

Symbolic model checking of concurrent probabilistic systems using MTBDDs and simplex

Kwiatkowska, M.
Norman, G.
Parker, D.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(99-1) / BLDSC - British Lib...

Constructing probabilistic ATMSs using extended incidence calculus

Liu, Weiru
Bundy, Alan

August 1996

AbstractThis paper discusses the relations between extended incidence calculus and assumption-based ...

On the relationship between incidence calculus and ATMS

Liu, W.
Bundy, A.
Robertson, D
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--611) / BLDSC - B...

On the Relations between Incidence Calculus and ATMS

Weiru Liu
Alan Bundy
Dave Robertson

January 2000

. This paper discusses the relationship between incidence calculus and the ATMS. It shows that manag...

Incidence calculus A mechanism for probabilistic reasoning

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1984

Available from British Library Lending Division - LD:3511.638(DAI-RP--216) / BLDSC - British Library...

Constructing Probabilistic ATMS Using Extended Incidence Calculus

Bundy, Alan
Liu, W.

December 2010

This paper discusses the relations between extended incidence calculus and assumption-based truth ma...

A rational reconstruction of incidence calculus

Correa da Silva, F.S
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--517) / BLDSC - B...

Correctness criteria of some algorithms for uncertain reasoning using incidence calculus

Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(DAI-RP--259) / BLDSC - Brit...

Implied probability distributions Estimation, testing and applications

Giamouridis, D.

January 2001

Available from British Library Document Supply Centre-DSC:DXN049287 / BLDSC - British Library Docume...

Probability, algorithms and telecommunications systems

Luczak, M.

January 2000

Available from British Library Document Supply Centre-DSC:D213715 / BLDSC - British Library Document...

Probability elicitation

Stouppe, M.S

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:D062615 / BLDSC - British Library Do...

Duration dependance and the diffusion of new technology The case of ATMs

Gourlay, A.R.
Loughborough Univ. (United Kingdom). Dept. of Economics

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:3654.479(98/2) / BLDSC - British Libr...

Advances in probabilistic modelling

Oldfield, M.J.

January 1995

SIGLEAvailable from British Library Document Supply Centre-DSC:D196742 / BLDSC - British Library Doc...

Modelling probability distributions in computer-aided probability elicitation

Chan, S.
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre-DSC:5359.0952(9/92) / BLDSC - British Lib...

Judging the probablility of future events

Wright, G
Economic and Social Research Council (ESRC), London (United Kingdom)

January 1985

SIGLEAvailable from British Library Document Supply Centre- DSC:8318.17083(ESRC-C--00/23/2037) / BLD...

Symbolic model checking of concurrent probabilistic systems using MTBDDs and simplex

Kwiatkowska, M.
Norman, G.
Parker, D.
Birmingham Univ. (United Kingdom). School of Computer Science

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(99-1) / BLDSC - British Lib...

Constructing probabilistic ATMS using extended incidence calculus

Abstract

Extracted data

Constructing probabilistic ATMS using extended incidence calculus

Abstract

Extracted data

Related items

Related items