SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Loris D'Antoni
- Siyuan Huang
- Song-Chun Zhu
- Luís C. Lamb
- Michael Anderson
- Yongfeng Zhang
- Lance Winkel
- Margus Veanes
- Alan Bundy
- B. Chandrasekaran
- Bo Chen
- Daniel S. Yeung
- Ying Nian Wu
- Isil Dillig
- Mary Hegarty
- Rastislav Bodík
- Gabriele Ciravegna
- Alexis Bondu
- Daisuke Kimura
- Qiaoying Huang
- Marc Boullé
- Andrea Passerini
- Robert McCartney
- Xiaodan Liang
- Abdul Rahim Nizamani
- Claes Strannegård
- Yikun Xian
- Pietro Liò
- Daniele Peri
- Lluís Godo
- Gloria Martorella
- Mateo Espinosa Zarlenga
- S. Muthukrishnan
- Atsushi Shimojima
- John Howse
- Wayne Snyder
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- Artif. Intell.
- CAV
- J. Symb. Comput.
- IJCAI
- DAC
- NeurIPS
- ECSQARU
- ISSAC
- Synth.
- ICASSP
- ICLR
- IJCNN
- Theor. Comput. Sci.
- ECAI
- NeSy
- SIGSAM Bull.
- ICRA
- Electron. Notes Theor. Comput. Sci.
- ACM SIGSOFT Softw. Eng. Notes
- AAAI/IAAI
- ICML
- J. Log. Lang. Inf.
- CASC
- ACL (1)
- Decis. Support Syst.
- MFCS
- Comput. Phys. Commun.
- Int. J. Approx. Reason.
- ACM Trans. Database Syst.
- ISCAS
- ICNC
- Neural Comput.
- KES (2)
- AI*IA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend