@inproceedings{9ebefb346bf944fb944df5395bb3cbf0,
title = "Approximate reasoning for contextual databases",
abstract = "Contextual reasoning has been proposed as a tool for solving the problem of generality in AI and for effectively handling huge knowledge bases, while approximate reasoning has been developed to overcome the computational barrier of classical deduction. This paper combines these approaches to provide an intuitive representation of knowledge and an effective deduction. Its semantics and a tableau calculus are presented. The key computational features are discussed.",
author = "Fabio Massacci",
year = "1996",
language = "English",
series = "Proceedings of the International Conference on Tools with Artificial Intelligence",
publisher = "IEEE",
pages = "308--315",
booktitle = "Proceedings of the International Conference on Tools with Artificial Intelligence",
note = "Proceedings of the 1996 IEEE 8th International Conference on Tools with Artificial Intelligence ; Conference date: 16-11-1996 Through 19-11-1996",
}