(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

Podrobná bibliografie
Hlavní autoři:	Nikitina, N, Rudolph, S
Médium:	Journal article
Vydáno:	2014

Podobné jednotky

On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies
Autor: Nikitina, N, a další
Vydáno: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies
Autor: Nikitina, N, a další
Vydáno: (2012)

ExpExpExplosion: Uniform Interpolation in General EL Terminologies.
Autor: Nikitina, N, a další
Vydáno: (2012)

Succinctness as a Source of Complexity in Logical Formalisms
Autor: Gottlob, G, a další
Vydáno: (1999)

The succinctness of first-order logic on linear orders
Autor: Martin Grohe, a další
Vydáno: (2005-06-01)

Forgetting in General EL Terminologies
Autor: Nikitina, N
Vydáno: (2011)

Succinct non-subsequence arguments
Autor: Ling, San, a další
Vydáno: (2024)

Succinct non-Interactive arguments
Autor: Chiesa, Alessandro
Vydáno: (2015)

On the Succinctness of Atoms of Dependency
Autor: Martin Lück, a další
Vydáno: (2019-08-01)

Succinct Computational Secret Sharing
Autor: Applebaum, Benny, a další
Vydáno: (2023)

Approximating Succinct MaxSat.
Autor: Schallhart, C, a další
Vydáno: (2005)

Succinct summaries of research methods
Autor: Xianqing Luo, a další
Vydáno: (2022-12-01)

Simplifying Description Logic Ontologies
Autor: Nikitina, N, a další
Vydáno: (2013)

GENERAL DESCRIPTION OF TERMINOLOGY OF SOCIO-POLITICAL LIFE
Autor: Manik Svetlana Andreevna
Vydáno: (2013-01-01)

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

Succinct Representation of Codes with Applications to Testing
Autor: Sudan, Madhu, a další
Vydáno: (2010)

On deploying succinct zero-knowledge proofs
Autor: Virza, Madars
Vydáno: (2018)

Compositional Algorithms for Succinct Safety Games
Autor: Romain Brenguier, a další
Vydáno: (2016-02-01)

Uniform Interpolation for ALC Revisited
Autor: Wang, Z, a další
Vydáno: (2009)

Reusable garbled circuits and succinct functional encryption
Autor: Goldwasser, Shafi, a další
Vydáno: (2014)

On the succinctness of query rewriting over shallow ontologies
Autor: Kikot, Stanislav, a další
Vydáno: (2014)

Impossibility of Succinct Quantum Proofs for Collision-Freeness
Autor: Aaronson, Scott
Vydáno: (2012)

Succinct garbled RAM from indistinguishablity obfuscation
Autor: Holmgren, Justin Lee
Vydáno: (2016)

Reachability in Succinct and Parametric One−Counter Automata
Autor: Haase, C, a další
Vydáno: (2009)

Reachability in Succinct and Parametric One-Counter Automata
Autor: Haase, C, a další
Vydáno: (2009)

The use of non-uniform drowning terminology: a follow-up study
Autor: Andrew C. Schmidt, a další
Vydáno: (2017-07-01)

Educational descriptive terminology
Autor: Alireza Yousefy
Vydáno: (2000-06-01)

Educational descriptive Terminology
Autor: Alireza Yousefi
Vydáno: (2000-12-01)

Descriptive educational terminology
Autor: Alireza Yousefi
Vydáno: (2003-12-01)

Descriptive educational terminology
Autor: Alireza Yousefy
Vydáno: (2004-06-01)

Descriptive educatinal terminology
Autor: Alireza Yousefi
Vydáno: (2003-06-01)

Complexities of Horn Description Logics.
Autor: Krötzsch, M, a další
Vydáno: (2013)

Indistinguishability Obfuscation for RAM Programs and Succinct Randomized Encodings
Autor: Bitansky, Nir, a další
Vydáno: (2021)

Model Checking Succinct and Parametric One-Counter Automata.
Autor: Göller, S, a další
Vydáno: (2010)

Model Checking Succinct and Parametric One−Counter Automata
Autor: Göller, S, a další
Vydáno: (2010)

Revisiting Leakage-Resilient MACs and Succinctly-Committing AEAD
Autor: Mustafa Khairallah
Vydáno: (2025-03-01)

Computing RF Tree Distance over Succinct Representations
Autor: António Pedro Branco, a další
Vydáno: (2023-12-01)

Countdown games, and simulation on (succinct) one-counter nets
Autor: Petr Jancar, a další
Vydáno: (2023-02-01)

Succinctness of two-way probabilistic and quantum finite automata
Autor: Abuzer Yakaryilmaz, a další
Vydáno: (2010-01-01)

A simple and succinct simulation of Nikolsky phenomenon and sign
Autor: Keshavmurthy A Adya, a další
Vydáno: (2020-01-01)