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.
2018
2018
Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
The representation of a logic program by a graph is a useful procedure in order to obtain interesting properties of the program… 
2018
2018
Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
During the last decade we have designed several tools for assisting the development of flexible software applications coded with… 
2014
2014
Revisiting Reductants in the Multi-adjoint Logic Programming Framework
In this work, after revisiting the different notions of reductant arisen in the framework of multi-adjoint logic programming and… 
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… 
2005
2005
Interval-Valued Neural Multi-adjoint Logic Programs
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise… 
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… 
2004
2004
Decomposing Ordinal Sums in Neural Multi-adjoint Logic Programs
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data… 
2004
2004
A termination theorem for sorted multi-adjoint logic programming
The structure of the paper is as follows. In Section 2, we introduce the preliminary concepts necessary for the definition of the… 
2002
2002
ON FIRST-ORDER MULTI-ADJOINT LOGIC PROGRAMMING
Sooner or later one naturally has to face uncertainty, incompleteness, and/or inconsistency when dealing with complex… 
2002
2002
Multi-adjoint Logic Programming: A Neural Net Approach
A neural implementation which provides an interesting massively parallel model for computing a fixed-point semantics of a program… 
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)