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