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