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 ...

Abstract: We have recently designed FSA-SPARQL, an extension of the SPARQL query language for querying fuzzy RDF datasets. Answers of FSA-SPARQL queries are usually annotated with truth degrees which ...

Deakin University provides funding as a member of The Conversation AU. Amid all the dire warnings that machines run by artificial intelligence (AI) will one day take over from humans we need to think ...

Implementation of selected concepts from propositional logic, first-order logic, logic programming, probabilistic logic programming, and fuzzy logic programming. The module propositional/nf.ml ...

Implementation of selected concepts from propositional logic, first-order logic, logic programming, probabilistic logic programming, and fuzzy logic programming. The module propositional/nf.ml ...