INDUCTIVE REASONING
Experts
- Àngela Nebot
- Francisco Mugica
- Nicola Fanizzi
- Ambrus Kaposi
- François E. Cellier
- Jeff B. Paris
- Makoto Tatsuta
- Claudia d'Amato
- Peipeng Liang
- András Kovács
- Tadahiro Kuroda
- Thorsten Altenkirch
- Ning Zhong
- Fredrik Nordvall Forsberg
- Sorin Stratulat
- Boby George
- Neil Ghani
- Georg Gottlob
- Noriyuki Miura
- Shengfu Lu
- Bettina Fazzinga
- Alena Vencovská
- Thomas Lukasiewicz
- Laura Kovács
- Sharon Shoham
- Anton Setzer
- Nikolay I. Nikolaev
- Marc Denecker
- Mooly Sagiv
- Stefano Berardi
- Joost-Pieter Katoen
- Emmanuel Kounalis
- Neil Immerman
- Oded Padon
- Sebastian Junges
- Aaron Stump
- Jiming Liu
- Michaël Rusinowitch
- Liron Cohen
Venues
- CoRR
- CogSci
- Synth.
- Sensors
- J. Symb. Log.
- IECON
- Log. Methods Comput. Sci.
- Ann. Pure Appl. Log.
- CADE
- Theor. Comput. Sci.
- IEEE Access
- TYPES
- LICS
- FoSSaCS
- IEEE Trans. Instrum. Meas.
- ICLR
- EMBC
- AAAI
- CSL
- AMCIS
- Inf. Comput.
- Proc. ACM Program. Lang.
- Int. J. Gen. Syst.
- I2MTC
- LPAR
- Math. Log. Q.
- Cogn. Syst. Res.
- ECAI
- FMCAD
- J. Autom. Reason.
- NeuroImage
- POPL
- IEEE Trans. Ind. Electron.
- MeMeA
- CAV
- Mach. Learn.
- Electron. Notes Theor. Comput. Sci.
- ISCAS
- J. Log. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend