FUNCTION FREE HORN
Experts
- Markus Krötzsch
- Carsten Lutz
- Frank Wolter
- Sebastian Rudolph
- Bernardo Cuenca Grau
- Mark Kaminski
- Víctor Gutiérrez-Basulto
- Boris Motik
- Meghyn Bienvenu
- Jean Christoph Jung
- Riccardo Rosati
- Pascal Hitzler
- Peter Hansen
- Mauricio Martel
- Michael Benedikt
- Alisa Kovtunova
- Jörg Hoffmann
- Marie-Christine Rousset
- Marcel Steinmetz
- Stefan Borgwardt
- Thomas Schneider
- Alon Y. Levy
- Maurizio Lenzerini
- Leif Sabellek
- Linh Anh Nguyen
- Bernhard Nebel
- Peter H. Schmitt
- Gian Luca Pozzato
- Jérôme Leroux
- Wim Martens
- Georg Gottlob
- Grant E. Weddell
- Guorui Xiao
- Ian Horrocks
- Shravan Vasishth
- Sergio Greco
- Giuseppe De Giacomo
- Florent Bouchy
- David A. McAllester
Venues
- CoRR
- Description Logics
- IJCAI
- AAAI
- Artif. Intell.
- SPLT
- J. ACM
- J. Symb. Log.
- ECAI
- KR
- CADE
- Künstliche Intell.
- ILP
- RuleML
- RR
- J. Artif. Intell. Res.
- CogSci
- JELIA
- Stud Logica
- Theor. Comput. Sci.
- J. Philos. Log.
- MFCS
- FCT
- LICS
- ICALP
- Cogn. Sci.
- J. Autom. Reason.
- AMW
- WOMPAT
- SMRR
- J. Intell. Inf. Syst.
- Knowl. Based Syst.
- ACM Trans. Program. Lang. Syst.
- CDB
- J. Funct. Program.
- ICGI
- AIAI
- Formaliz. Math.
- Int. J. Algebra Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend