TIGHT COMPLEXITY BOUNDS
Experts
- Franz Baader
- Dániel Marx
- Rafael Peñaloza
- Andrea Calì
- Georg Gottlob
- Diego Calvanese
- Sebastian Rudolph
- Boris Motik
- Frank Wolter
- Bernardo Cuenca Grau
- Carsten Lutz
- Riccardo Rosati
- Jacob Focke
- Giorgos Stoilos
- Ismail Ilkan Ceylan
- Robert Nieuwenhuis
- Maurizio Lenzerini
- Maria Paola Bonacina
- Mantas Simkus
- Domenico Cantone
- Andreas Pieris
- Giuseppe De Giacomo
- Ian Horrocks
- Ralf Küsters
- Mark Kaminski
- Silvio Ghilardi
- Giorgos B. Stamou
- Mostafa Milani
- Michael Kifer
- Tobias Nipkow
- Fionn Mc Inerney
- Pawel Rzazewski
- Philip Wellnitz
- Gian Luca Pozzato
- Werner Nutt
- Ralf Molitor
- Govind S. Sankar
- Fausto Giunchiglia
- Markus Krötzsch
Venues
- Description Logics
- CoRR
- KR
- IJCAI
- JELIA
- ECAI
- J. Autom. Reason.
- CADE
- AMW
- TPHOLs
- IJCAR
- AAAI
- J. Comput. Syst. Sci.
- CSL
- PODS
- SEBD
- Deduction and Decision Procedures
- J. Symb. Comput.
- Fundam. Informaticae
- AI*IA
- VLDB J.
- Stud Logica
- Semantic Web
- FOCS
- Inf. Comput.
- RuleML+RR
- RR
- KRDB
- FoSSaCS
- J. Log. Comput.
- SODA
- J. ACM
- IEEE Trans. Knowl. Data Eng.
- LPAR
- Calculemus/MKM
- Artif. Intell.
- J. Symb. Log.
- TACAS
- Math. Log. Q.
Related Topics
Related Keywords
Popularity