REASONING TASKS
Experts
- Franz Baader
- Thomas Eiter
- Carsten Lutz
- Torsten Schaub
- Frank Wolter
- Ian Horrocks
- Stefan Woltran
- Giuseppe De Giacomo
- Diego Calvanese
- Maurizio Lenzerini
- Rafael Peñaloza
- Riccardo Rosati
- Mario Alviano
- Laura Giordano
- Pascal Hitzler
- Martin Gebser
- Ulrike Sattler
- Michael Zakharyaschev
- Wolfgang Faber
- Stefan Borgwardt
- Umberto Straccia
- Alessandro Artale
- Linh Anh Nguyen
- Nicola Leone
- Sebastian Rudolph
- Hans Tompits
- Jeff Z. Pan
- Kewen Wang
- Luís Moniz Pereira
- Gian Luca Pozzato
- Mantas Simkus
- Volker Haarslev
- Dirk Vermeir
- Miroslaw Truszczynski
- Ralf Möller
- Guilin Qi
- Pedro Cabalar
- Ana Ozaki
- David Toman
Venues
- CoRR
- Description Logics
- IJCAI
- KR
- AAAI
- LPNMR
- Theory Pract. Log. Program.
- ECAI
- Artif. Intell.
- ICLP
- J. Log. Comput.
- JELIA
- LPAR
- J. Autom. Reason.
- Ann. Math. Artif. Intell.
- TIME
- Fundam. Informaticae
- CogSci
- J. Log. Program.
- Theor. Comput. Sci.
- J. Artif. Intell. Res.
- CADE
- IJCAR
- Künstliche Intell.
- Int. J. Approx. Reason.
- ACM Trans. Comput. Log.
- Log. J. IGPL
- ICLP (Technical Communications)
- AAMAS
- FLAIRS Conference
- LICS
- RR
- CILC
- ISMIS
- Synth.
- Electron. Notes Theor. Comput. Sci.
- Stud Logica
- Answer Set Programming
- AI*IA
Related Topics
Related Keywords
Popularity