The limits of decidability in fuzzy description logics with general concept inclusions

, &
Artificial Intelligence 218 (C):23-55 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions.Franz Baader, Stefan Borgwardt & Rafael Peñaloza - 2015 - Journal of Philosophical Logic 44 (2):117-146.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
Tense Logic Without Tense Operators.Frank Wolter - 1996 - Mathematical Logic Quarterly 42 (1):145-171.
Axiomatisation of general concept inclusions from finite interpretations.D. Borchmann, F. Distel & F. Kriegel - 2016 - Journal of Applied Non-Classical Logics 26 (1):1-46.
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Antonio Lieto & Gian Luca Pozzato (eds.), Proceedings of ISMIS 18. Springer.
A Formal Semantics for Concept Understanding Relying on Description Logics.Farshad Badie - 2017 - In Proceedings of the 9th International Conference on Agents and Artificial Intelligence. pp. 42-52.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K4.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Fuzzy sets: motivations and first concepts.Aldo G. S. Ventre - 2015 - Science and Philosophy 3 (2):3-10.
Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.
Decidability for some justification logics with negative introspection.Thomas Studer - 2013 - Journal of Symbolic Logic 78 (2):388-402.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,546,680)

6 months
3 (#984,719)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Expressivity in chain-based modal logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.

Add more citations

References found in this work

Add more references