Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

2-EXPTIME

Known as: 2-EXP, 2EXPTIME 
In computational complexity theory, the complexity class 2-EXPTIME (sometimes called 2-EXP) is the set of all decision problems solvable by a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Hierarchical Task Network (HTN) planning with task insertion (TIHTN planning) is a variant of HTN planning. In HTN planning, the… Expand
  • table 1
Is this relevant?
2014
2014
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with… Expand
  • figure 1
  • figure 2
Is this relevant?
2013
2013
Verification of properties expressed in the two-variable fragment of first-order logic FO2 has been investigated in a number of… Expand
Is this relevant?
2011
2011
We give a formal definition of generalized planning that is independent of any representation formalism. We assume that our… Expand
  • figure 1
  • figure 2
Is this relevant?
2009
2009
  • Volker Weber
  • Journal of Logic, Language and Information
  • 2009
  • Corpus ID: 26934170
While classical temporal logics lose track of a state as soon as a temporal operator is applied, several branching-time logics… Expand
Is this relevant?
2007
2007
Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been… Expand
  • figure 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2005
2005
In 1984. Danecki proved that satisfiability in IPDL. i.e.. Propositional Dynamic Logic (PDL) extended with an intersection… Expand
Is this relevant?
2003
2003
Suitable extensions of monadic second-order theories of ksuccessors have been proposed in the literature to specify in aconcise… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Feature-oriented software designs capture many interesting notions of cross-cutting, and offer a powerful method for building… Expand
  • figure 1
  • figure 2
Is this relevant?