𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A linear programming framework for logics of uncertainty

✍ Scribed by K.A. Andersen; J.N. Hooker

Book ID
113273138
Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
975 KB
Volume
16
Category
Article
ISSN
0167-9236

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A framework for linguistic logic program
A framework for linguistic logic programming
✍ Tru H. Cao; Nguyen V. Noi πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 181 KB

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been de

A Linear Logical Framework
A Linear Logical Framework
✍ Iliano Cervesato; Frank Pfenning πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 382 KB
An encompassing framework for Paraconsis
An encompassing framework for Paraconsistent Logic Programs
✍ JoΓ£o AlcΓ’ntara; Carlos Viegas DamΓ‘sio; LuΓ­s Moniz Pereira πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 280 KB

We propose a framework which extends Antitonic Logic Programs [DamΓ‘sio and Pereira, in: Proc. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning, Springer, 2001, p. 748] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Inspired by Gin