LOGICAL IMPLICATION
Experts
- Franz Baader
- Sebastian Link
- Frank Wolter
- Sven Hartmann
- Ester Livshits
- Ian Horrocks
- Carsten Lutz
- János Demetrovics
- Benny Kimelfeld
- Klaus-Dieter Schewe
- Rafael Peñaloza
- Laks V. S. Lakshmanan
- Ralf Möller
- Volker Haarslev
- Grant E. Weddell
- Barbara Morawska
- Peter F. Patel-Schneider
- Enrico Franconi
- Liang Chang
- Alessandro Artale
- David Toman
- Wenfei Fan
- Boris Konev
- Boontawee Suntisrivaraporn
- Jixue Liu
- Carlo Combi
- Pascal Hitzler
- Diego Calvanese
- Gyula O. H. Katona
- Nicola Fanizzi
- Larry Wos
- Dominique Laurent
- Anni-Yasmin Turhan
- Teeradaj Racharak
- Michael Zakharyaschev
- Benjamin Zarrieß
- V. S. Subrahmanian
- Stefan Borgwardt
- Pablo Cordero
Venues
- Description Logics
- CoRR
- IJCAI
- PODS
- ICDE
- KR
- J. Autom. Reason.
- Theor. Comput. Sci.
- AAAI
- IJCAR
- Acta Cybern.
- Inf. Syst.
- FoIKS
- Artif. Intell.
- JELIA
- SIGMOD Conference
- ACM Trans. Database Syst.
- EDBT
- AI*IA
- SEBD
- Ann. Math. Artif. Intell.
- TABLEAUX
- J. Artif. Intell. Res.
- ILP
- IEEE Trans. Knowl. Data Eng.
- 计算机科学
- ICDT
- ER
- Fundam. Informaticae
- DEXA
- Intelligent Information Processing
- CADE
- Data Knowl. Eng.
- LPAR
- ICAART (2)
- ADBIS
- CLA
- Discret. Appl. Math.
- ISMIS
Related Topics
Related Keywords
Popularity