(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL

&
Artificial Intelligence 215:120-140 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.06.005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Interpolation in practical formal development.J. Bicarregui, T. Dimitrakos, D. Gabbay & T. Maibaum - 2001 - Logic Journal of the IGPL 9 (2):231-244.
On the succinctness of some modal logics.Tim French, Wiebe van der Hoek, Petar Iliev & Barteld Kooi - 2013 - Artificial Intelligence 197 (C):56-85.
A non-monotonic Description Logic for reasoning about typicality.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2013 - Artificial Intelligence 195 (C):165-202.
Extending the description logic EL with threshold concepts induced by concept measures.Franz Baader & Oliver Fernández Gil - 2024 - Artificial Intelligence 326 (C):104034.
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.
A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL.Carsten Lutz & Leif Sabellek - 2022 - Artificial Intelligence 308 (C):103709.
Deciding the existence of uniform interpolants over transitive models.Giovanna D’Agostino & Giacomo Lenzi - 2011 - Archive for Mathematical Logic 50 (1-2):185-196.
Non-Axiomatic Logic: A Model of Intelligent Reasoning.Pei Wang - 2013 - World Scientific.
Non-uniform time sharing in the concurrent execution of constraint solving.Richard Krajčoviech & Margaréta Kotočová - 1999 - Artificial Intelligence 109 (1-2):161-185.
Non-Standard Inferences in Description Logics, vol. 2100 of.R. Kusters - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,370,298)

6 months
5 (#1,042,355)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The ghosts of forgotten things: A study on size after forgetting.Paolo Liberatore - 2024 - Annals of Pure and Applied Logic 175 (8):103456.

Add more citations

References found in this work

Add more references