HIGHLY EXPRESSIVE
Experts
- Franz Baader
- Sebastian Rudolph
- Markus Krötzsch
- Pascal Hitzler
- Riccardo Rosati
- Carsten Lutz
- Ralf Küsters
- Rafael Peñaloza
- Miika Hannula
- Norihiro Kamide
- Evelina Lamma
- Ana Ozaki
- Boris Motik
- Guido Governatori
- Frank Wolter
- Alexander Borgida
- Marie-Christine Rousset
- Umberto Straccia
- Grigore Rosu
- Fernando Sáenz-Pérez
- Maurizio Lenzerini
- Alon Y. Levy
- Zuoquan Lin
- Francesco M. Donini
- Laura Giordano
- Alessandro Artale
- Lutz Schröder
- Georg Gottlob
- Moreno Falaschi
- Lars Birkedal
- David A. Naumann
- Eelco Visser
- Nicola Fanizzi
- Michael J. Maher
- Dirk Pattinson
- Anni-Yasmin Turhan
- Eugenio Di Sciascio
- Eneia Nicolae Todoran
- Claudia d'Amato
Venues
- CoRR
- Description Logics
- Theor. Comput. Sci.
- IJCAI
- AAAI
- Log. J. IGPL
- Electron. Notes Theor. Comput. Sci.
- LICS
- J. Philos. Log.
- ECAI
- Sci. Comput. Program.
- KR
- J. Log. Comput.
- Notre Dame J. Formal Log.
- Stud Logica
- J. Log. Lang. Inf.
- COLING
- ICLP
- ESOP
- Ann. Pure Appl. Log.
- Inf. Comput.
- JSAI-isAI Workshops
- J. Symb. Log.
- Log. Methods Comput. Sci.
- Lang. Linguistics Compass
- Comput. Linguistics
- LREC
- Artif. Intell.
- Math. Log. Q.
- RuleML
- IEEE Trans. Software Eng.
- Synth.
- Int. J. Approx. Reason.
- CogSci
- ACM SIGPLAN Notices
- RAIRO Theor. Informatics Appl.
- INTERSPEECH
- Inf. Process. Lett.
- FoSSaCS
Related Topics
Related Keywords
Popularity