KNOWLEDGE REPRESENTATION FORMALISMS
Experts
- Franz Baader
- Frank Wolter
- Carsten Lutz
- Gian Luca Pozzato
- Sebastian Rudolph
- Maurizio Lenzerini
- Ana Ozaki
- Alessandro Artale
- Rafael Peñaloza
- Pascal Hitzler
- Giuseppe De Giacomo
- Ian Horrocks
- Alexander Borgida
- Ulrike Sattler
- Laura Giordano
- Francesco M. Donini
- Linh Anh Nguyen
- Valentina Gliozzi
- Riccardo Rosati
- Diego Calvanese
- Michael Zakharyaschev
- Boris Motik
- Víctor Gutiérrez-Basulto
- Enrico Franconi
- Nicola Olivetti
- Andrea Mazzullo
- Umberto Straccia
- Jean Christoph Jung
- Markus Krötzsch
- Grant E. Weddell
- Nicola Fanizzi
- Thomas Lukasiewicz
- Riccardo Zese
- Volker Haarslev
- Ralf Möller
- Claudia d'Amato
- Guilin Qi
- Norihiro Kamide
- Patrick Koopmann
Venues
- Description Logics
- CoRR
- KR
- Stud Logica
- IJCAI
- ECAI
- AAAI
- Artif. Intell.
- J. Log. Comput.
- LPAR
- JELIA
- Log. J. IGPL
- ECSQARU
- CILC
- Fundam. Informaticae
- KI
- Künstliche Intell.
- ACM Trans. Comput. Log.
- Logica Universalis
- KRDB
- RR
- J. Autom. Reason.
- Reports Math. Log.
- J. Philos. Log.
- J. Appl. Non Class. Logics
- IJCAR
- J. Artif. Intell. Res.
- URSW
- Reasoning Web
- Theor. Comput. Sci.
- ICCS
- IJCAI (1)
- Electron. Notes Theor. Comput. Sci.
- TABLEAUX
- Fuzzy Sets Syst.
- CADE
- Notre Dame J. Formal Log.
- J. Symb. Log.
- Int. J. Intell. Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend