Skip to search formSkip to main contentSkip to account menu

Multi-adjoint logic programming

Multi-adjoint logic programming defines syntax and semantics of a logic programming program in such a way that the underliying maths justifying the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Formal languageFuzzy logicLogic programmingMV-algebra

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Improving Multi-adjoint Logic Programs by Unfolding Fuzzy Connective Definitions
Declarative programming has been classically used for solving computational problems regarding AI, knowledge representation and… 
2009
2009
On the Declarative Semantics of Multi-Adjoint Logic Programs
The notion of least Herbrand model has been traditionally accepted as the declarative semantics for programs in the context of… 
2008
2008
Combining Tabulation and Thresholding Techniques for Executing Multi-Adjoint Logic Programs
Multi-adjoint logic programming represents an extremely flexible attempt for fuzzifying logic programming, where the classical… 
2006
2006
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Multi-adjoint logic programming represents a very recent, extremely flex- ible attempt for introducing fuzzy logic into logic… 
2004
2004
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
A general framework of logic programming allowing for the combination of several adjoint lattices of truth-values is presented… 
2004
2004
Multi-Adjoint Logic Programming
A synthesis of results of the recently introduced paradigm of multi-adjoint logic programming is presented. These results range… 
2004
2004
Termination Results for Sorted Multi-Adjoint Logic Programs
In this paper we present a logic programming-based language allowing for the combination of several adjoint lattices of truth… 
Highly Cited
2001
Highly Cited
2001
A Procedural Semantics for Multi-adjoint Logic Programming
Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several… 
Highly Cited
2001
Highly Cited
2001
Multi-adjoint Logic Programming with Continuous Semantics
Considering different implication operators, such as "Łukasiewicz, Godel or product implication in the same logic program… 
2001
2001
A completeness theorem for multi-adjoint logic programming
Multi-adjoint logic programs generalise monotonic and residuated logic programs in that simultaneous use of several implications… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)