Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- 11 Research Associates / PhD Students (m/f/x) +
- 11th EMCL Workshop +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 11th European Conference on Logics in Artificial Intelligence (JELIA-2008) +
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 12. EMCL Workshop +
- 12th EMCL Workshop +
- 12th EMCL Workshop +
- 17. WLP - Workshop Logic Programming +
- 17. WLP - Workshop Logic Programming +
- 17. WLP - Workshop Logic Programming +
- 17. WLP - Workshop Logische Programmierung +
- 17. WLP - Workshop Logische Programmierung +
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- 2 Research Associates / PhD Students / Postdocs (Subject to personal qualification employees are remunerated according to salary group E 13 TV-L) +
- 2 Research Associates / PhD Students / Postdocs (Subject to personal qualification employees are remunerated according to salary group E 13 TV-L) +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 22nd Workshop on (Constraint) Logic Programming 2008 +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 29th Workshop on (Constraint) Logic Programming (WLP 2015) +
- 38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden +
- 38th German Conference on Artificial Intelligence (KI2015) to happen in Dresden +
- 38th German Conference on Artificial Intelligence +
- 38th German Conference on Artificial Intelligence +
- 38th German Conference on Artificial Intelligence +
- 38th German Conference on Artificial Intelligence +
