Rita Maria da Silva, Antônio Eduardo C. Pereira, Márcio L. Andrade Netto. A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A Fuzzy Terminological Logic. In Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh, editors, Advances in Intelligent Computing - IPMU 94, 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994, Selected Papers. Volume 945 of Lecture Notes in Computer Science, pages 409-417, Springer, 1994.
@inproceedings{SilvaPN94,
title = {A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A Fuzzy Terminological Logic},
author = {Rita Maria da Silva and Antônio Eduardo C. Pereira and Márcio L. Andrade Netto},
year = {1994},
tags = {C++, logic},
researchr = {https://researchr.org/publication/SilvaPN94},
cites = {0},
citedby = {0},
pages = {409-417},
booktitle = {Advances in Intelligent Computing - IPMU 94, 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994, Selected Papers},
editor = {Bernadette Bouchon-Meunier and Ronald R. Yager and Lotfi A. Zadeh},
volume = {945},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60116-3},
}