๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Automated Deduction Techniques for Classification in Description Logic Systems

โœ Scribed by M. Paramasivam; David A. Plaisted

Book ID
110229968
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
576 KB
Volume
20
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Towards an automated deduction system fo
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
โœ Teresa Alsinet; Lluรญs Godo ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 245 KB

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (ฯ•, ฮฑ), in which ฯ• is a first-order Horn clause or a query with fuzzy constants and regular predicates, and ฮฑ โˆˆ [0