Abstract: The aim of the paper is to show relationships between different formalisms for handling uncertainty in logic programming, knowledge based systems and deductive databases. Namely, we show ...
Abstract: A classical, but even nowadays challenging research topic in declarative programming, consists in the design of powerful notions of “equality”, as occurs with the flexible (fuzzy) and ...
Implementation of selected concepts from propositional logic, first-order logic, logic programming, probabilistic logic programming, and fuzzy logic programming. The module propositional/nf.ml ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback