SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Michael Anderson
- Song-Chun Zhu
- Siyuan Huang
- Luís C. Lamb
- Loris D'Antoni
- Daniel S. Yeung
- B. Chandrasekaran
- Alan Bundy
- Yongfeng Zhang
- Lance Winkel
- Bo Chen
- Margus Veanes
- Emanuele Marconato
- Giuseppe Marra
- Nicolas Peltier
- Alberto Tonda
- Rastislav Bodík
- Lucie Charlotte Magister
- Jacob Van Geffen
- Frédéric Precioso
- Mary Hegarty
- Qiaoying Huang
- Mateo Espinosa Zarlenga
- Gabriel Poesia
- Yannis Smaragdakis
- Fabio Somenzi
- Yikun Xian
- Giuseppe Lo Re
- Gabriele Ciravegna
- Noah D. Goodman
- José Meseguer
- Daisuke Kimura
- Xiaodan Liang
- Lluís Godo
- Florian Böhl
- Duo Wang
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- IJCAI
- J. Symb. Comput.
- Artif. Intell.
- CAV
- DAC
- NeurIPS
- ECSQARU
- IJCNN
- NeSy
- ECAI
- Synth.
- ISSAC
- ICLR
- Theor. Comput. Sci.
- ICASSP
- SIGSAM Bull.
- Decis. Support Syst.
- ICML
- ACL (1)
- ACM SIGSOFT Softw. Eng. Notes
- ICRA
- J. Log. Lang. Inf.
- Comput. Phys. Commun.
- CASC
- Electron. Notes Theor. Comput. Sci.
- Int. J. Approx. Reason.
- AAAI/IAAI
- MFCS
- Int. J. Neural Syst.
- Comput. Aided Des.
- AAAI Spring Symposia
- ICCV
- SMC
- CHARME
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend