SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Song-Chun Zhu
- Michael Anderson
- Siyuan Huang
- Luís C. Lamb
- Loris D'Antoni
- Daniel S. Yeung
- Lance Winkel
- Bo Chen
- Margus Veanes
- Alan Bundy
- Yongfeng Zhang
- B. Chandrasekaran
- Yikun Xian
- José Meseguer
- Andrea Passerini
- Noah D. Goodman
- Francesco Giannini
- Stefano Ceri
- Daniele Peri
- Zuohui Fu
- Nicolas Peltier
- Pietro Liò
- Frédéric Precioso
- Marc Boullé
- Alexis Bondu
- Gabriel Poesia
- Abdul Rahim Nizamani
- Dominique Unruh
- Giuseppe Lo Re
- Xiaodan Liang
- Yannis Smaragdakis
- Salvatore Gaglio
- Rüdiger Ehlers
- Isil Dillig
- Ying Nian Wu
- Giuseppe Marra
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- Artif. Intell.
- IJCAI
- CAV
- J. Symb. Comput.
- AAAI
- DAC
- NeurIPS
- ECSQARU
- ICASSP
- ECAI
- Synth.
- ISSAC
- IJCNN
- Theor. Comput. Sci.
- NeSy
- ICML
- MFCS
- AAAI/IAAI
- ICRA
- ACM SIGSOFT Softw. Eng. Notes
- SIGSAM Bull.
- J. Log. Lang. Inf.
- Electron. Notes Theor. Comput. Sci.
- Decis. Support Syst.
- Int. J. Approx. Reason.
- CASC
- ICLR
- Comput. Phys. Commun.
- PPDP
- FSKD (2)
- Künstliche Intell.
- BIBE
- AI Mag.
- ICSE
- COMPSAC
Related Topics
Related Keywords
Popularity