SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Luís C. Lamb
- Loris D'Antoni
- Song-Chun Zhu
- Michael Anderson
- Siyuan Huang
- Margus Veanes
- Alan Bundy
- Bo Chen
- Lance Winkel
- Yongfeng Zhang
- B. Chandrasekaran
- Daniel S. Yeung
- Rastislav Bodík
- Pietro Barbiero
- Marc Boullé
- Xiaodan Liang
- James G. Schmolze
- Abdul Rahim Nizamani
- Emanuele Marconato
- Stefano Teso
- Qing Li
- Giuseppe Marra
- Daniele Peri
- Carolyn L. Talcott
- Lucie Charlotte Magister
- Giuseppe Lo Re
- Ying Nian Wu
- S. Muthukrishnan
- Mary Hegarty
- Zuohui Fu
- Isil Dillig
- Fabio Somenzi
- Mateo Espinosa Zarlenga
- Francesco Giannini
- Alberto Tonda
- Yikun Xian
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- Artif. Intell.
- J. Symb. Comput.
- CAV
- IJCAI
- DAC
- ECSQARU
- NeurIPS
- ICASSP
- IJCNN
- ISSAC
- Theor. Comput. Sci.
- ECAI
- NeSy
- Synth.
- ICLR
- SIGSAM Bull.
- ICML
- Electron. Notes Theor. Comput. Sci.
- ACL (1)
- Decis. Support Syst.
- Int. J. Approx. Reason.
- J. Log. Lang. Inf.
- ICRA
- AAAI/IAAI
- CASC
- MFCS
- Comput. Phys. Commun.
- ACM SIGSOFT Softw. Eng. Notes
- NeSy@HLAI
- SMC
- NeSy@AAAI
- COMPSAC
- Neural Comput.
- Fuzzy Days
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend