A procedural semantics for multi-adjoint logic programming

DOI10.1007/3-540-45329-6_29MaRDI QIDQ4736480zbMATH OpenFDO

Authors Manuel Ojeda-Aciego, Peter Vojtáš, Jesús Medina Moreno

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2258/22580290.htm

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Multi-adjoint logic programming with continuous semantics
• Extended multi-adjoint logic programming
• Syntax and semantics of multi-adjoint normal logic programming
• Logics in Artificial Intelligence
• Multi-adjoint logic programming: A neural net approach

Cited in

(29)

• An improved reductant calculus using fuzzy partial evaluation techniques
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Syntax and semantics of multi-adjoint normal logic programming
• Similarity-based unification: A multi-adjoint approach
• A neural implementation of multi-adjoint logic programming
• A message-passing interpretation of adjoint logic
• Extended multi-adjoint logic programming
• Termination of logic programs with imperfect information: applications and query procedure
• On fuzzy unfolding: A multi-adjoint approach
• Qualified logic programming with bivalued predicates
• Efficient reductants calculi using partial evaluation techniques with thresholding
• Revisiting reductants in the multi-adjoint logic programming framework
• From fuzzy to annotated semantic web languages
• Beyond multi-adjoint logic programming
• Non-commutativity and expressive deductive logic databases
• A multi-adjoint logic approach to abductive reasoning
• Multi-adjoint logic programming with continuous semantics
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• Fuzzy logic programming reduced to reasoning with attribute implications
• Logics in Artificial Intelligence
• Optimizing fuzzy logic programs by unfolding, aggregation and folding
• A neural implementation of multi-adjoint logic programs via sf-homogenization
• Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
• Fuzzy Prolog: A new approach using soft constraints propagation
• Multi-adjoint lattice logic and truth-stressing hedges
• Fuzzy Datalog^ over arbitrary t-norms
• On reductants in the framework of multi-adjoint logic programming

This page was built for publication: A procedural semantics for multi-adjoint logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736480)