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