FUNCTION FREE HORN
Experts
- Markus Krötzsch
- Carsten Lutz
- Sebastian Rudolph
- Frank Wolter
- Bernardo Cuenca Grau
- Mark Kaminski
- Jean Christoph Jung
- Meghyn Bienvenu
- Boris Motik
- Riccardo Rosati
- Víctor Gutiérrez-Basulto
- Pascal Hitzler
- Stefan Borgwardt
- Marcel Steinmetz
- Michael Benedikt
- Linh Anh Nguyen
- Peter Hansen
- Bernhard Nebel
- Mauricio Martel
- Jörg Hoffmann
- Marie-Christine Rousset
- Thomas Schneider
- Alisa Kovtunova
- Maurizio Lenzerini
- Leif Sabellek
- Alon Y. Levy
- David A. McAllester
- Sheng Yu
- Yavor Nenov
- Shravan Vasishth
- Wojciech Czerwinski
- Ali Rezaei Divroodi
- Thijs Trompenaars
- Sergio Greco
- Angelika Kimmig
- Efthymia Tsamoura
- Georg Gottlob
- Antoine Amarilli
- Emmanuel Filiot
Venues
- CoRR
- Description Logics
- IJCAI
- Artif. Intell.
- AAAI
- SPLT
- J. ACM
- ECAI
- J. Symb. Log.
- KR
- J. Artif. Intell. Res.
- ILP
- Künstliche Intell.
- RR
- CADE
- RuleML
- FCT
- Cogn. Sci.
- JELIA
- CogSci
- MFCS
- ICALP
- Stud Logica
- LICS
- J. Autom. Reason.
- Theor. Comput. Sci.
- J. Philos. Log.
- Knowl. Based Syst.
- 计算机科学
- New Gener. Comput.
- SPDP
- Discret. Math. Theor. Comput. Sci.
- J. Comput. Inf. Syst.
- Proc. ACM Program. Lang.
- PACLIC
- Int. J. Intell. Syst.
- CDB
- SETN
- Int. J. Algebra Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend