Succinctness as a Source of Complexity in Logical Formalisms

Lignende værker

• Second Order Logic and the Weak Exponential Hierarchies
  af: Gottlob, G, et al.
  Udgivet: (1995)
• The succinctness of first-order logic on linear orders
  af: Martin Grohe, et al.
  Udgivet: (2005-06-01)
• (Non−)Succinctness of Uniform Interpolants of General Terminologies in the Description Logic EL
  af: Nikitina, N, et al.
  Udgivet: (2014)
• Complexity Results for Abductive Logic Programming
  af: Eiter, T, et al.
  Udgivet: (1995)
• Abduction from Logic Programs: Semantics and Complexity
  af: Eiter, T, et al.
  Udgivet: (1997)