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