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].
Year
DOI
Venue
1991
10.1007/3-540-54659-6_80
ECSQARU
Field
DocType
Volume
Automated reasoning,Knowledge representation and reasoning,Computer science,Fuzzy logic,Model-based reasoning,Theoretical computer science,Non-monotonic logic,Deductive reasoning,Artificial intelligence,Logic programming,Reasoning system,Machine learning
Conference
548
ISSN
ISBN
Citations 
0302-9743
3-540-54659-6
2
PageRank 
References 
Authors
0.44
3
3
Name
Order
Citations
PageRank
Flávio S. Corrêa Da Silva1407.32
David Stuart Robertson212416.02
Paul Chung341.44