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