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

Míreanna comhchosúla

• On the (Non−)Succinctness of Uniform Interpolation in General EL Terminologies
  de réir: Nikitina, N, et al.
  Foilsithe / Cruthaithe: (2012)
• ExpExpExplosion: Uniform Interpolation in General EL Terminologies
  de réir: Nikitina, N, et al.
  Foilsithe / Cruthaithe: (2012)
• ExpExpExplosion: Uniform Interpolation in General EL Terminologies.
  de réir: Nikitina, N, et al.
  Foilsithe / Cruthaithe: (2012)
• Succinctness as a Source of Complexity in Logical Formalisms
  de réir: Gottlob, G, et al.
  Foilsithe / Cruthaithe: (1999)
• The succinctness of first-order logic on linear orders
  de réir: Martin Grohe, et al.
  Foilsithe / Cruthaithe: (2005-06-01)