Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification
From MaRDI portal
Publication:2842591
DOI10.1016/S1571-0661(04)80511-5zbMath1270.68058WikidataQ61918789 ScholiaQ61918789MaRDI QIDQ2842591
Lluís Godo, Teresa Alsinet, Sandra Aparecida Sandri
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
03B52: Fuzzy logic; logic of vagueness
03B35: Mechanization of proofs and logical operations
68N17: Logic programming
03B50: Many-valued logic
Related Items
A core language for fuzzy answer set programming, Possibilistic logic: a retrospective and prospective view, Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants, An annotated logic theorem prover for an extended possibilistic logic, Extending possibilistic logic over Gödel logic, Aggregated fuzzy answer set programming, Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification, Exploring Extensions of Possibilistic Logic over Gödel Logic
Uses Software