Automated Reasoning about an Uncertain Domain

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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 languageEnglish
Title of host publicationSymbolic and Quantitative Approaches to Uncertainty
Subtitle of host publicationEuropean Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings
PublisherSpringer-Verlag GmbH
Number of pages5
ISBN (Print)978-3-540-54659-7
Publication statusPublished - 1 Oct 1991

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Automated Reasoning about an Uncertain Domain'. Together they form a unique fingerprint.

Cite this