On the existence and unicity of stable models in normal residuated logic programs

DOI10.1080/00207160.2011.580842zbMath1238.68045OpenAlexW2092117499MaRDI QIDQ2887039

Nicolás Madrid, Manuel Ojeda Aciego

Publication date: 15 May 2012

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2011.580842

zbMATH Keywords

stable modelsfuzzy logic programmingexistence of modelsresiduated logic programminguniqueness of models

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17)

Related Items (8)

Adjoint negations, more than residuated negations ⋮ Fuzzy logic programs as hypergraphs. Termination results ⋮ A measure of consistency for fuzzy logic theories ⋮ Extended multi-adjoint logic programming ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Rough sets based on Galois connections ⋮ Multi-adjoint lattices from adjoint triples with involutive negation ⋮ Syntax and semantics of multi-adjoint normal logic programming

Cites Work

• Unnamed Item
• Termination of logic programs with imperfect information: applications and query procedure
• Implementing a relational theorem prover for modal logic
• On the existence of stable models of non-stratified logic programs
• A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• The family of stable models
• Generalization of some properties of relations in the context of functional temporal×modal logic
• Epistemic foundation of stable model semantics

This page was built for publication: On the existence and unicity of stable models in normal residuated logic programs