An overview of automated reasoning
- 1 January 1990
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics
- Vol. 20 (1), 202-224
- https://doi.org/10.1109/21.47822
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Perspectives on imperfect information processingIEEE Transactions on Systems, Man, and Cybernetics, 1987
- Fusion, propagation, and structuring in belief networksArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Probabilistic logicArtificial Intelligence, 1986
- ARIADNE: A knowledge-based interactive system for planning and decision supportIEEE Transactions on Systems, Man, and Cybernetics, 1984
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Fuzzy sets as a basis for a theory of possibilityFuzzy Sets and Systems, 1978
- Fuzzy setsInformation and Control, 1965