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
- Michael Benedikt
- Mauricio Martel
- Jörg Hoffmann
- Alisa Kovtunova
- Peter Hansen
- Marcel Steinmetz
- Marie-Christine Rousset
- Thomas Schneider
- Stefan Borgwardt
- Linh Anh Nguyen
- Leif Sabellek
- Bernhard Nebel
- Alon Y. Levy
- Maurizio Lenzerini
- Wojciech Czerwinski
- David A. McAllester
- Florent Bouchy
- Sergio Greco
- Giuseppe De Giacomo
- Jin Wang
- Ian Horrocks
- Georg Gottlob
- Guorui Xiao
- Grant E. Weddell
- Wim Martens
- Jérôme Leroux
- Gian Luca Pozzato
Venues
- CoRR
- Description Logics
- IJCAI
- Artif. Intell.
- AAAI
- J. ACM
- SPLT
- ECAI
- J. Symb. Log.
- ILP
- RuleML
- RR
- J. Artif. Intell. Res.
- KR
- CADE
- Künstliche Intell.
- LICS
- ICALP
- Cogn. Sci.
- J. Autom. Reason.
- JELIA
- CogSci
- Stud Logica
- J. Philos. Log.
- Theor. Comput. Sci.
- MFCS
- FCT
- Computational Complexity Conference
- ACM Trans. Asian Lang. Inf. Process.
- AHFE (23)
- ICDE Workshops
- TALN (Articles longs)
- ICPP
- MMM (1)
- Notre Dame J. Formal Log.
- KRDB
- Synth.
- FroCoS
- OOPSLA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend