LOGICAL INFERENCE
Experts
- Osman Hasan
- Sofiène Tahar
- Riccardo Zese
- Harald Ganzinger
- David A. Plaisted
- Fabrizio Riguzzi
- Maria Paola Bonacina
- Josef Urban
- Elena Bellodi
- Peter B. Andrews
- Uwe Waldmann
- Vikash K. Mansinghka
- Evelina Lamma
- Jieh Hsiang
- Guy Van den Broeck
- Laura Kovács
- Florent Capelli
- Justin Hsu
- Stefan Mengel
- Jacques D. Fleuriot
- Giuseppe Cota
- Lise Getoor
- Peter Baumgartner
- Noah D. Goodman
- Adnan Darwiche
- Christoph Kreitz
- Marta Franová
- Shie-Jue Lee
- Hongwei Xi
- Bernhard Gleiss
- Leo Bachmair
- Robert Nieuwenhuis
- Frank D. Wood
- Ioannis Kokkinis
- Gilles Barthe
- Yongfeng Zhang
- Albert Rubio
- Waqar Ahmad
- Hao Zhou
Venues
- CoRR
- CADE
- IJCAI
- J. Autom. Reason.
- TPHOLs
- AAAI
- LPAR
- LICS
- J. Symb. Comput.
- J. ACM
- Artif. Intell.
- ECAI
- Proc. ACM Program. Lang.
- Int. J. Approx. Reason.
- Ann. Math. Artif. Intell.
- Theor. Comput. Sci.
- PLDI
- J. Log. Comput.
- TABLEAUX
- RTA
- Stud Logica
- Electron. Notes Theor. Comput. Sci.
- KR
- FMCAD
- IJCAR
- Automated Deduction in Geometry
- CSL
- Inf. Sci.
- IEEE Access
- AISTATS
- J. Philos. Log.
- Log. Methods Comput. Sci.
- ICFEM
- Commun. ACM
- ICLR
- UAI
- PxTP
- J. Appl. Log.
- ESOP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend