TIGHT COMPLEXITY BOUNDS
Experts
- Franz Baader
- Dániel Marx
- Rafael Peñaloza
- Andrea Calì
- Georg Gottlob
- Diego Calvanese
- Bernardo Cuenca Grau
- Boris Motik
- Sebastian Rudolph
- Riccardo Rosati
- Frank Wolter
- Jacob Focke
- Carsten Lutz
- Giorgos Stoilos
- Ismail Ilkan Ceylan
- Mantas Simkus
- Ralf Küsters
- Robert Nieuwenhuis
- Maurizio Lenzerini
- Mark Kaminski
- Andreas Pieris
- Giuseppe De Giacomo
- Ian Horrocks
- Domenico Cantone
- Silvio Ghilardi
- Giorgos B. Stamou
- Maria Paola Bonacina
- Ulrike Sattler
- Ralf Molitor
- Jeremy Avigad
- Natasha Sharygina
- Alan Bundy
- Mostafa Milani
- Fionn Mc Inerney
- Francesco Alberti
- Victor Dalmau
- Roberto Sebastiani
- Enrico Franconi
- Meghyn Bienvenu
Venues
- Description Logics
- CoRR
- KR
- IJCAI
- JELIA
- ECAI
- J. Autom. Reason.
- AMW
- CADE
- IJCAR
- TPHOLs
- AAAI
- SEBD
- CSL
- PODS
- Deduction and Decision Procedures
- J. Comput. Syst. Sci.
- RR
- VLDB J.
- Calculemus/MKM
- FoSSaCS
- FOCS
- TACAS
- Fundam. Informaticae
- IEEE Trans. Knowl. Data Eng.
- KRDB
- J. ACM
- Inf. Comput.
- Artif. Intell.
- J. Log. Comput.
- AI*IA
- RuleML+RR
- J. Symb. Comput.
- SODA
- LPAR
- Stud Logica
- Semantic Web
- J. Symb. Log.
- Ann. Math. Artif. Intell.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend