SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Song-Chun Zhu
- Luís C. Lamb
- Loris D'Antoni
- Michael Anderson
- Siyuan Huang
- B. Chandrasekaran
- Daniel S. Yeung
- Margus Veanes
- Alan Bundy
- Yongfeng Zhang
- Bo Chen
- Lance Winkel
- Noah D. Goodman
- John Howse
- Emanuele Marconato
- Kostas Ferles
- Atsushi Shimojima
- Rüdiger Ehlers
- Qiaoying Huang
- Duo Wang
- Stefano Ceri
- Frédéric Precioso
- Zuohui Fu
- Gabriele Ciravegna
- Alexis Bondu
- Francesco Giannini
- Lluís Godo
- Giuseppe Marra
- Giuseppe Lo Re
- Isil Dillig
- Pietro Liò
- Fabio Somenzi
- Jacob Van Geffen
- Rastislav Bodík
- Dominique Unruh
- Qing Li
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- Artif. Intell.
- CAV
- IJCAI
- J. Symb. Comput.
- DAC
- ECSQARU
- NeurIPS
- NeSy
- Theor. Comput. Sci.
- Synth.
- ICLR
- ISSAC
- ICASSP
- ECAI
- IJCNN
- CASC
- J. Log. Lang. Inf.
- ICML
- Comput. Phys. Commun.
- MFCS
- SIGSAM Bull.
- ACM SIGSOFT Softw. Eng. Notes
- ICRA
- Int. J. Approx. Reason.
- Decis. Support Syst.
- AAAI/IAAI
- ACL (1)
- Electron. Notes Theor. Comput. Sci.
- Sensors
- Comput. Aided Des.
- J. Cell. Autom.
- Appl. Intell.
- IJCAI (1)
- AAAI Spring Symposia
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend