Implementing fuzzy OSF logic unification and normalization (short paper)

DOI10.1007/978-3-032-32592-1_22MaRDI QIDQ7411319zbMATH OpenFDO

Authors Gian Carlo Milanese, Gabriella Pasi

Publication date 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-32592-1_22

zbMATH Keywords

fuzzy logicfuzzy unificationorder-sorted logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Foundations of fuzzy logic and semantic web languages
• Fuzzy Description Logics – A Survey
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Fuzzy order-sorted feature logic
• Fuzzy sets and systems. Theory and applications
• scientific article; zbMATH DE number 67967 (Why is no real title available?)
• scientific article; zbMATH DE number 5040084 (Why is no real title available?)
• Login: a logic programming language with built-in inheritance
• Optimising fuzzy description logic reasoners with general concept inclusion absorption
• Order-sorted feature theory unification
• Solving proximity constraints
• The fuzzy logic programming language FASILL: design and implementation
• Towards a meaning of life

This page was built for publication: Implementing fuzzy OSF logic unification and normalization (short paper)

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