FUNCTION FREE HORN
Experts
- Markus Krötzsch
- Carsten Lutz
- Sebastian Rudolph
- Frank Wolter
- Bernardo Cuenca Grau
- Mark Kaminski
- Víctor Gutiérrez-Basulto
- Boris Motik
- Meghyn Bienvenu
- Riccardo Rosati
- Jean Christoph Jung
- Pascal Hitzler
- Linh Anh Nguyen
- Leif Sabellek
- Alon Y. Levy
- Marie-Christine Rousset
- Alisa Kovtunova
- Thomas Schneider
- Maurizio Lenzerini
- Jörg Hoffmann
- Marcel Steinmetz
- Stefan Borgwardt
- Michael Benedikt
- Mauricio Martel
- Peter Hansen
- Bernhard Nebel
- Alain Finkel
- Carlo Zaniolo
- Jean-François Raskin
- Jin Wang
- Youfu Li
- Grant E. Weddell
- Diego Calvanese
- Franz Baader
- Tomasz Lukaszewski
- Peter H. Schmitt
- Francesco M. Donini
- Agnieszka Lawrynowicz
- Nicolas Mazzocchi
Venues
- CoRR
- Description Logics
- IJCAI
- AAAI
- Artif. Intell.
- J. ACM
- SPLT
- J. Symb. Log.
- ECAI
- RuleML
- RR
- CADE
- J. Artif. Intell. Res.
- ILP
- Künstliche Intell.
- KR
- J. Autom. Reason.
- Theor. Comput. Sci.
- J. Philos. Log.
- MFCS
- ICALP
- Stud Logica
- LICS
- JELIA
- Cogn. Sci.
- CogSci
- FCT
- CTRS
- SEBD
- KRDB
- GULP
- AAAI/IAAI, Vol. 1
- STACS
- IMCSIT
- ACM Comput. Surv.
- Formal Methods in Programming and Their Applications
- OWLED
- WASSA@EMNLP
- BDA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend