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
- Vikash K. Mansinghka
- Uwe Waldmann
- Evelina Lamma
- Jieh Hsiang
- Guy Van den Broeck
- Laura Kovács
- Justin Hsu
- Florent Capelli
- Lise Getoor
- Peter Baumgartner
- Stefan Mengel
- Jacques D. Fleuriot
- Giuseppe Cota
- Adnan Darwiche
- Noah D. Goodman
- Marta Franová
- Christoph Kreitz
- Hongwei Xi
- Bernhard Gleiss
- Shie-Jue Lee
- Ioannis Kokkinis
- Gilles Barthe
- Yongfeng Zhang
- Leo Bachmair
- Robert Nieuwenhuis
- Frank D. Wood
- Vibhav Gogate
- Adnan Rashid
- Frank Pfenning
Venues
- CoRR
- CADE
- IJCAI
- J. Autom. Reason.
- AAAI
- TPHOLs
- LPAR
- LICS
- J. Symb. Comput.
- J. ACM
- Artif. Intell.
- ECAI
- Proc. ACM Program. Lang.
- Int. J. Approx. Reason.
- Ann. Math. Artif. Intell.
- PLDI
- J. Log. Comput.
- Theor. Comput. Sci.
- RTA
- TABLEAUX
- Stud Logica
- Electron. Notes Theor. Comput. Sci.
- FMCAD
- IJCAR
- Automated Deduction in Geometry
- CSL
- Inf. Sci.
- KR
- AISTATS
- J. Philos. Log.
- IEEE Access
- ICFEM
- Log. Methods Comput. Sci.
- UAI
- PxTP
- Commun. ACM
- ICLR
- ITP
- J. Appl. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend