REASONING PROBLEMS
Experts
- Franz Baader
- Frank Wolter
- Carsten Lutz
- Ian Horrocks
- Rafael Peñaloza
- Ulrike Sattler
- Maurizio Lenzerini
- Pascal Hitzler
- Volker Haarslev
- Gian Luca Pozzato
- Diego Calvanese
- Sebastian Rudolph
- Giuseppe De Giacomo
- Alessandro Artale
- Stefan Borgwardt
- Jeff Z. Pan
- Ana Ozaki
- Linh Anh Nguyen
- Michael Zakharyaschev
- Boris Motik
- Markus Krötzsch
- Bernardo Cuenca Grau
- Enrico Franconi
- Patrick Koopmann
- Guilin Qi
- Alexander Borgida
- Grant E. Weddell
- Riccardo Rosati
- Bijan Parsia
- David Toman
- Ralf Möller
- Laura Giordano
- Thomas Lukasiewicz
- Boris Konev
- Francesco M. Donini
- Renate A. Schmidt
- Víctor Gutiérrez-Basulto
- Jean Christoph Jung
- Peter F. Patel-Schneider
Venues
- Description Logics
- CoRR
- IJCAI
- KR
- AAAI
- ECAI
- J. Log. Comput.
- Artif. Intell.
- J. Autom. Reason.
- JELIA
- LPAR
- CADE
- TABLEAUX
- KI
- Stud Logica
- OWLED
- Theor. Comput. Sci.
- RR
- IJCAR
- J. Symb. Log.
- URSW
- J. Artif. Intell. Res.
- LICS
- ACM Trans. Comput. Log.
- Künstliche Intell.
- ESWC
- Ann. Pure Appl. Log.
- CILC
- CSL
- ISWC (1)
- Inf. Comput.
- TIME
- CP
- ISWC
- Fundam. Informaticae
- AI*IA
- URSW (LNCS Vol.)
- ICLP
- AAAI/IAAI
Related Topics
Related Keywords
Popularity