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