Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
A fuzzy Prolog database system
A fuzzy Prolog database system
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
PROLOG Programming for Artificial Intelligence
PROLOG Programming for Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
A Procedural Semantics for Multi-adjoint Logic Programming
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Multi-adjoint Logic Programming with Continuous Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Declarative programming for artificial intelligence applications
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Measuring the Interpretive Cost in Fuzzy Logic Computations
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
An improved reductant calculus using fuzzy partial evaluation techniques
Fuzzy Sets and Systems
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with Fuzzy Logic Rules by Using the FLOPER Tool
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Modeling Interpretive Steps in Fuzzy Logic Computations
WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Thresholded Tabulation in a Fuzzy Logic Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
Query answering in normal logic programs under uncertainty
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Fuzzy computed answers collecting proof information
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Declarative traces into fuzzy computed answers
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
A flexible XPath-based query language implemented with fuzzy logic programming
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Cloudy with a Chance of Load Spikes: Admission Control with Fuzzy Risk Assessments
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
| Hi-index | 0.00 |
During the last two years, our developments regarding the design of the FLOPER tool ("Fuzzy LOgic Programming Environment for Research"), have been devoted to implant in its core a rule-based, easy representation of lattices representing fuzzy notions of truth degrees beyond the boolean case, in order to work with flexible programs belonging to the so-called multi-adjoint logic approach. Now, the system improves its initial running/debugging/tracing capabilities for managing this kind of fuzzy logic programs, with new options for manipulating in a classical Prolog style the mathematical foundations of the enrichment introduced by multi-adjoint lattices. In particular, we show that for a given program and query, many different answers can be obtained when changing the assumption of truth in a single work session. The experience related here evidences the expressive power of Prolog rules (i.e., clauses) for implementing rich versions of multi-adjoint lattices in a very easy way, as well as its crucial role in further fuzzy logic computations.