THEORY REVISION
Experts
- Gerson Zaverucha
- Salem Benferhat
- Aline Paes
- Robert H. Sloan
- Khalil Djelloul
- György Turán
- Saso Dzeroski
- Markus Lohrey
- Judy Goldsmith
- Jeremy Meyers
- Zied Bouraoui
- Ronen Feldman
- Antti Kuusisto
- Anand Pillay
- Moshe Koppel
- Birte Glimm
- Jonni Virtema
- Harald Ganzinger
- Kewen Wang
- Nadeschda Nikitina
- Leo Bachmair
- Raymond J. Mooney
- Odile Papini
- Mary-Anne Williams
- Zhe Wang
- Allen Ginsberg
- Wiebe van der Hoek
- Stéphane Loiseau
- Philip D. Welch
- Alberto Maria Segre
- Kate Revoredo
- Cees Witteveen
- Dietrich Kuske
- Uwe Petermann
- Guozhong Dai
- Carlo Toffalori
- Ruaan Kellerman
- Vítor Santos Costa
- Oleg V. Kudinov
Venues
- CoRR
- J. Symb. Log.
- Mach. Learn.
- IJCAI
- ML
- Math. Log. Q.
- ILP
- J. Philos. Log.
- AAAI
- Ann. Pure Appl. Log.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- Stud Logica
- Arch. Math. Log.
- Artif. Intell.
- FLAIRS Conference
- ISMIS
- ICML
- JELIA
- Log. Methods Comput. Sci.
- SAC
- Int. J. Approx. Reason.
- EUROVAV
- Log. J. IGPL
- Description Logics
- J. Log. Comput.
- CSL
- ACM Trans. Comput. Log.
- J. Artif. Intell. Res.
- Rev. Symb. Log.
- Bull. Symb. Log.
- LPNMR
- J. Autom. Reason.
- Ann. Math. Artif. Intell.
- HMD Prax. Wirtsch.
- Reports Math. Log.
- LFCS
- Data Knowl. Eng.
- EPIA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend