FUNCTION FREE HORN
Experts
- Markus Krötzsch
- Carsten Lutz
- Frank Wolter
- Sebastian Rudolph
- Bernardo Cuenca Grau
- Mark Kaminski
- Víctor Gutiérrez-Basulto
- Riccardo Rosati
- Meghyn Bienvenu
- Boris Motik
- Jean Christoph Jung
- Pascal Hitzler
- Alon Y. Levy
- Leif Sabellek
- Maurizio Lenzerini
- Thomas Schneider
- Marie-Christine Rousset
- Alisa Kovtunova
- Jörg Hoffmann
- Linh Anh Nguyen
- Bernhard Nebel
- Peter Hansen
- Mauricio Martel
- Michael Benedikt
- Stefan Borgwardt
- Marcel Steinmetz
- Agnieszka Lawrynowicz
- Francesco M. Donini
- Peter H. Schmitt
- Tomasz Lukaszewski
- Diego Calvanese
- Franz Baader
- Grant E. Weddell
- Youfu Li
- Jin Wang
- Jean-François Raskin
- Alain Finkel
- Carlo Zaniolo
- Mingda Li
Venues
- CoRR
- Description Logics
- IJCAI
- AAAI
- Artif. Intell.
- J. ACM
- SPLT
- J. Symb. Log.
- ECAI
- RR
- CADE
- RuleML
- KR
- J. Artif. Intell. Res.
- ILP
- Künstliche Intell.
- MFCS
- ICALP
- Stud Logica
- LICS
- J. Autom. Reason.
- Theor. Comput. Sci.
- J. Philos. Log.
- FCT
- Cogn. Sci.
- JELIA
- CogSci
- URSW (LNCS Vol.)
- KSEM
- AI*IA
- AHFE (23)
- Polibits
- IJCAR (1)
- TIME
- J. Log. Comput.
- ICDE Workshops
- ICAIL
- ACM Trans. Comput. Log.
- LPAR (short papers)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend