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
- Martin Gebser
- Ulrike Sattler
- Michael Zakharyaschev
- Wolfgang Faber
- Umberto Straccia
- Stefan Borgwardt
- Alessandro Artale
- Linh Anh Nguyen
- Nicola Leone
- Sebastian Rudolph
- Hans Tompits
- Jeff Z. Pan
- Luís Moniz Pereira
- Kewen Wang
- Mantas Simkus
- Gian Luca Pozzato
- Volker Haarslev
- Dirk Vermeir
- Ralf Möller
- Pedro Cabalar
- Ana Ozaki
- Miroslaw Truszczynski
- 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.
- IJCAR
- Int. J. Approx. Reason.
- AAMAS
- ACM Trans. Comput. Log.
- Log. J. IGPL
- CILC
- LICS
- ICLP (Technical Communications)
- FLAIRS Conference
- ISMIS
- RR
- 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