SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Siyuan Huang
- Luís C. Lamb
- Loris D'Antoni
- Song-Chun Zhu
- Michael Anderson
- Bo Chen
- Yongfeng Zhang
- Daniel S. Yeung
- Alan Bundy
- Margus Veanes
- B. Chandrasekaran
- Lance Winkel
- Pietro Liò
- Giuseppe Marra
- Frédéric Precioso
- José Meseguer
- Andrea Passerini
- Alberto Tonda
- Pietro Barbiero
- Mateo Espinosa Zarlenga
- Noah D. Goodman
- Gloria Martorella
- Gabriele Ciravegna
- Dominique Unruh
- Ying Nian Wu
- Wayne Snyder
- Salvatore Gaglio
- Jacob Van Geffen
- Giuseppe Lo Re
- Qiaoying Huang
- Kostas Ferles
- Stefano Ceri
- John Howse
- Fabio Somenzi
- Daisuke Kimura
- Duo Wang
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- Artif. Intell.
- J. Symb. Comput.
- CAV
- IJCAI
- DAC
- ECSQARU
- NeurIPS
- Synth.
- ECAI
- ICLR
- NeSy
- Theor. Comput. Sci.
- IJCNN
- ICASSP
- ISSAC
- SIGSAM Bull.
- Int. J. Approx. Reason.
- ACM SIGSOFT Softw. Eng. Notes
- CASC
- Decis. Support Syst.
- ICRA
- Comput. Phys. Commun.
- J. Log. Lang. Inf.
- MFCS
- ACL (1)
- Electron. Notes Theor. Comput. Sci.
- ICML
- AAAI/IAAI
- Appl. Intell.
- CIKM
- IJCAI (1)
- ICCV
- AAAI Spring Symposia
- ESEC/SIGSOFT FSE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend