Automated Reasoning about an Uncertain Domain

F. Correa da Silva; D. Robertson; Paul Chung

doi:10.1007/3-540-54659-6_80

Automated Reasoning about an Uncertain Domain

F. Correa da Silva, D. Robertson, Paul Chung

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics. An extended version of this paper can be found in [3].

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Uncertainty
Subtitle of host publication	European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings
Publisher	Springer
Pages	141-145
Number of pages	5
ISBN (Print)	978-3-540-54659-7
DOIs	https://doi.org/10.1007/3-540-54659-6_80
Publication status	Published - 1 Oct 1991

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	548
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-54659-6_80

Cite this

@inproceedings{c61bbc6f028d464880a81cba2f4f3252,

title = "Automated Reasoning about an Uncertain Domain",

abstract = "In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics. An extended version of this paper can be found in [3].",

author = "\{Correa da Silva\}, F. and D. Robertson and Paul Chung",

year = "1991",

month = oct,

day = "1",

doi = "10.1007/3-540-54659-6\_80",

language = "English",

isbn = "978-3-540-54659-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "141--145",

booktitle = "Symbolic and Quantitative Approaches to Uncertainty",

address = "United Kingdom",

}

Automated Reasoning about an Uncertain Domain. / Correa da Silva, F.; Robertson, D.; Chung, Paul.
Symbolic and Quantitative Approaches to Uncertainty: European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings. Springer, 1991. p. 141-145 (Lecture Notes in Computer Science; Vol. 548).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Automated Reasoning about an Uncertain Domain

AU - Correa da Silva, F.

AU - Robertson, D.

AU - Chung, Paul

PY - 1991/10/1

Y1 - 1991/10/1

N2 - In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics. An extended version of this paper can be found in [3].

AB - In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics. An extended version of this paper can be found in [3].

U2 - 10.1007/3-540-54659-6_80

DO - 10.1007/3-540-54659-6_80

M3 - Conference contribution

SN - 978-3-540-54659-7

T3 - Lecture Notes in Computer Science

SP - 141

EP - 145

BT - Symbolic and Quantitative Approaches to Uncertainty

PB - Springer

ER -

Automated Reasoning about an Uncertain Domain

Abstract

Publication series

Access to Document

Fingerprint

Cite this