EXPTIME COMPLETE
Experts
- Carsten Lutz
- Ian Horrocks
- Frank Wolter
- Ulrike Sattler
- Magdalena Ortiz
- Mantas Simkus
- Franz Baader
- Sebastian Rudolph
- Michael Zakharyaschev
- Diego Calvanese
- Volker Haarslev
- Jean Christoph Jung
- Riccardo Rosati
- Rafael Peñaloza
- Meghyn Bienvenu
- Linh Anh Nguyen
- Boris Motik
- Bernardo Cuenca Grau
- Renate A. Schmidt
- Birte Glimm
- David Toman
- Maurizio Lenzerini
- Stephan Tobies
- Giuseppe De Giacomo
- VÃctor Gutiérrez-Basulto
- Stanislav Kikot
- Grant E. Weddell
- Thomas Eiter
- Markus Krötzsch
- Stefan Borgwardt
- Patrick Koopmann
- Ana Ozaki
- Georg Gottlob
- Tomasz Gogacz
- Bartosz Bednarczyk
- Francesco M. Donini
- Filip Murlak
- Nicola Fanizzi
- Vladimir V. Podolskii
Venues
- Description Logics
- CoRR
- KR
- IJCAI
- AAAI
- ECAI
- Theor. Comput. Sci.
- J. Artif. Intell. Res.
- LPAR
- LICS
- PODS
- Artif. Intell.
- RR
- IJCAR
- AMW
- ICDT
- J. Comput. Syst. Sci.
- IACR Cryptol. ePrint Arch.
- Inf. Comput.
- J. Log. Comput.
- KRDB
- SIAM J. Comput.
- JELIA
- Log. Methods Comput. Sci.
- J. ACM
- ISWC
- WoLLIC
- Inf. Process. Lett.
- SAC
- STACS
- ISWC (1)
- TABLEAUX
- J. Web Semant.
- Fundam. Informaticae
- Reasoning Web
- J. Symb. Log.
- SEBD
- ACM Trans. Comput. Log.
- Theory Comput. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend