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