✦ LIBER ✦

Order-sorted logic programming with predicate hierarchy

✍ Scribed by Ken Kaneiwa

Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 400 KB
Volume: 158
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.05.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed reasoning with ontologies an

Distributed reasoning with ontologies and rules in order-sorted logic programming

✍ Ken Kaneiwa; Riichiro Mizoguchi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 832 KB

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