FUNCTION FREE HORN
Experts
- Markus Krötzsch
- Carsten Lutz
- Sebastian Rudolph
- Frank Wolter
- Bernardo Cuenca Grau
- Mark Kaminski
- Víctor Gutiérrez-Basulto
- Jean Christoph Jung
- Riccardo Rosati
- Meghyn Bienvenu
- Boris Motik
- Pascal Hitzler
- Michael Benedikt
- Leif Sabellek
- Thomas Schneider
- Alon Y. Levy
- Peter Hansen
- Linh Anh Nguyen
- Alisa Kovtunova
- Maurizio Lenzerini
- Jörg Hoffmann
- Marie-Christine Rousset
- Mauricio Martel
- Marcel Steinmetz
- Stefan Borgwardt
- Bernhard Nebel
- Sergio Greco
- Nicolas Mazzocchi
- Domenico Lembo
- Angelika Kimmig
- Wojciech Czerwinski
- Mingda Li
- Grant E. Weddell
- Franz Baader
- Youfu Li
- Efthymia Tsamoura
- Francesco M. Donini
- Guorui Xiao
- Jean-François Raskin
Venues
- CoRR
- Description Logics
- IJCAI
- AAAI
- Artif. Intell.
- SPLT
- J. ACM
- J. Symb. Log.
- ECAI
- KR
- J. Artif. Intell. Res.
- CADE
- ILP
- Künstliche Intell.
- RuleML
- RR
- JELIA
- Cogn. Sci.
- Stud Logica
- J. Autom. Reason.
- CogSci
- J. Philos. Log.
- FCT
- Theor. Comput. Sci.
- ICALP
- LICS
- MFCS
- ACM Comput. Surv.
- ESWC (1)
- SMRR
- Computational Complexity Conference
- Knowl. Based Syst.
- CSL
- J. Funct. Program.
- Formal Methods in Programming and Their Applications
- LPAR (short papers)
- SPDP
- ICTAI
- GULP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend