(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL

(Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL

Opis bibliograficzny
Główni autorzy:	Nikitina, N, Rudolph, S
Format:	Journal article
Wydane:	2014

Podobne zapisy

On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies
od: Nikitina, N, i wsp.
Wydane: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies
od: Nikitina, N, i wsp.
Wydane: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies.
od: Nikitina, N, i wsp.
Wydane: (2012)

Succinctness as a Source of Complexity in Logical Formalisms
od: Gottlob, G, i wsp.
Wydane: (1999)

The succinctness of first-order logic on linear orders
od: Martin Grohe, i wsp.
Wydane: (2005-06-01)

Forgetting in General EL Terminologies
od: Nikitina, N
Wydane: (2011)

Succinct non-subsequence arguments
od: Ling, San, i wsp.
Wydane: (2024)

Succinct non-Interactive arguments
od: Chiesa, Alessandro
Wydane: (2015)

On the Succinctness of Atoms of Dependency
od: Martin Lück, i wsp.
Wydane: (2019-08-01)

Succinct Computational Secret Sharing
od: Applebaum, Benny, i wsp.
Wydane: (2023)

Approximating Succinct MaxSat.
od: Schallhart, C, i wsp.
Wydane: (2005)

Succinct summaries of research methods
od: Xianqing Luo, i wsp.
Wydane: (2022-12-01)

Simplifying Description Logic Ontologies
od: Nikitina, N, i wsp.
Wydane: (2013)

GENERAL DESCRIPTION OF TERMINOLOGY OF SOCIO-POLITICAL LIFE
od: Manik Svetlana Andreevna
Wydane: (2013-01-01)

GENERAL DESCRIPTION OF TERMINOLOGY OF SOCIO-POLITICAL LIFE
od: Светлана Андреевна Маник
Wydane: (2013-04-01)

Succinct Representation of Codes with Applications to Testing
od: Sudan, Madhu, i wsp.
Wydane: (2010)

On deploying succinct zero-knowledge proofs
od: Virza, Madars
Wydane: (2018)

Compositional Algorithms for Succinct Safety Games
od: Romain Brenguier, i wsp.
Wydane: (2016-02-01)

Uniform Interpolation for ALC Revisited
od: Wang, Z, i wsp.
Wydane: (2009)

Reusable garbled circuits and succinct functional encryption
od: Goldwasser, Shafi, i wsp.
Wydane: (2014)

On the succinctness of query rewriting over shallow ontologies
od: Kikot, Stanislav, i wsp.
Wydane: (2014)

Impossibility of Succinct Quantum Proofs for Collision-Freeness
od: Aaronson, Scott
Wydane: (2012)

Succinct garbled RAM from indistinguishablity obfuscation
od: Holmgren, Justin Lee
Wydane: (2016)

Reachability in Succinct and Parametric One−Counter Automata
od: Haase, C, i wsp.
Wydane: (2009)

Reachability in Succinct and Parametric One-Counter Automata
od: Haase, C, i wsp.
Wydane: (2009)

The use of non-uniform drowning terminology: a follow-up study
od: Andrew C. Schmidt, i wsp.
Wydane: (2017-07-01)

Educational descriptive terminology
od: Alireza Yousefy
Wydane: (2000-06-01)

Educational descriptive Terminology
od: Alireza Yousefi
Wydane: (2000-12-01)

Descriptive educational terminology
od: Alireza Yousefi
Wydane: (2003-12-01)

Descriptive educational terminology
od: Alireza Yousefy
Wydane: (2004-06-01)

Descriptive educatinal terminology
od: Alireza Yousefi
Wydane: (2003-06-01)

Complexities of Horn Description Logics.
od: Krötzsch, M, i wsp.
Wydane: (2013)

Indistinguishability Obfuscation for RAM Programs and Succinct Randomized Encodings
od: Bitansky, Nir, i wsp.
Wydane: (2021)

Model Checking Succinct and Parametric One-Counter Automata.
od: Göller, S, i wsp.
Wydane: (2010)

Model Checking Succinct and Parametric One−Counter Automata
od: Göller, S, i wsp.
Wydane: (2010)

Revisiting Leakage-Resilient MACs and Succinctly-Committing AEAD
od: Mustafa Khairallah
Wydane: (2025-03-01)

Computing RF Tree Distance over Succinct Representations
od: António Pedro Branco, i wsp.
Wydane: (2023-12-01)

Countdown games, and simulation on (succinct) one-counter nets
od: Petr Jancar, i wsp.
Wydane: (2023-02-01)

Succinctness of two-way probabilistic and quantum finite automata
od: Abuzer Yakaryilmaz, i wsp.
Wydane: (2010-01-01)

A simple and succinct simulation of Nikolsky phenomenon and sign
od: Keshavmurthy A Adya, i wsp.
Wydane: (2020-01-01)