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