𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Conceptual logic programs

✍ Scribed by Stijn Heymans; Davy Van Nieuwenborgh; Dirk Vermeir


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
673 KB
Volume
47
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Tharp and conceptual logic
✍ Hao Wang πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 649 KB
Equivalent logic programs
✍ Chan Kwok Hung πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 823 KB
Transformations of logic programs
✍ Olga Ε tΔ›pΓ‘nkovΓ‘; Petr Ε tΔ›pΓ‘nek πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 863 KB
Annotated fuzzy logic programs
✍ Tru H. Cao πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 189 KB

Several fuzzy logic programming systems that deal with fuzzy sets as data in programs have been developed, but they lack the fundamentals of a theorem prover, whence the soundness and the completeness cannot be proved. Annotated logic programs have been developed as an extension of classical logic p