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
- Ulrike Sattler
- Martin Gebser
- Michael Zakharyaschev
- Wolfgang Faber
- Stefan Borgwardt
- Umberto Straccia
- Alessandro Artale
- Linh Anh Nguyen
- Nicola Leone
- Hans Tompits
- Sebastian Rudolph
- Luís Moniz Pereira
- Kewen Wang
- Jeff Z. Pan
- Gian Luca Pozzato
- Volker Haarslev
- Mantas Simkus
- Dirk Vermeir
- Pedro Cabalar
- Miroslaw Truszczynski
- Ana Ozaki
- Guilin Qi
- David Toman
- Ralf Möller
Venues
- CoRR
- Description Logics
- IJCAI
- AAAI
- KR
- LPNMR
- Theory Pract. Log. Program.
- Artif. Intell.
- ECAI
- ICLP
- J. Log. Comput.
- JELIA
- CogSci
- LPAR
- J. Autom. Reason.
- Ann. Math. Artif. Intell.
- TIME
- Fundam. Informaticae
- J. Log. Program.
- Theor. Comput. Sci.
- J. Artif. Intell. Res.
- CADE
- Int. J. Approx. Reason.
- AAMAS
- IJCAR
- Künstliche Intell.
- ACM Trans. Comput. Log.
- Log. J. IGPL
- CILC
- LICS
- ICLP (Technical Communications)
- FLAIRS Conference
- RR
- ISMIS
- Synth.
- Stud Logica
- Electron. Notes Theor. Comput. Sci.
- Answer Set Programming
- AI*IA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend