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.
Abstract is missing.