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
- Laura Giordano
- Mario Alviano
- Pascal Hitzler
- Ulrike Sattler
- Martin Gebser
- Michael Zakharyaschev
- Wolfgang Faber
- Umberto Straccia
- Stefan Borgwardt
- Linh Anh Nguyen
- Alessandro Artale
- Nicola Leone
- Hans Tompits
- Sebastian Rudolph
- Luís Moniz Pereira
- Jeff Z. Pan
- Kewen Wang
- Volker Haarslev
- Mantas Simkus
- Gian Luca Pozzato
- Dirk Vermeir
- Pedro Cabalar
- Miroslaw Truszczynski
- Ana Ozaki
- Ralf Möller
- David Toman
- Guilin Qi
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
- Künstliche Intell.
- Int. J. Approx. Reason.
- AAMAS
- IJCAR
- CILC
- ACM Trans. Comput. Log.
- Log. J. IGPL
- ICLP (Technical Communications)
- LICS
- ISMIS
- RR
- FLAIRS Conference
- Stud Logica
- Synth.
- Electron. Notes Theor. Comput. Sci.
- AI*IA
- Answer Set Programming
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend