SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Michael Anderson
- Loris D'Antoni
- Siyuan Huang
- Song-Chun Zhu
- Luís C. Lamb
- Daniel S. Yeung
- B. Chandrasekaran
- Alan Bundy
- Bo Chen
- Yongfeng Zhang
- Margus Veanes
- Lance Winkel
- Fabio Somenzi
- Stefano Ceri
- Kostas Ferles
- Yannis Smaragdakis
- Jacob Van Geffen
- Zuohui Fu
- Qing Li
- Frédéric Precioso
- Rüdiger Ehlers
- Nicolas Peltier
- Noah D. Goodman
- Emanuele Marconato
- Francesco Giannini
- James G. Schmolze
- Giuseppe Marra
- José Meseguer
- Pietro Barbiero
- Carolyn L. Talcott
- Eric C. C. Tsang
- Dominique Unruh
- Bonny Banerjee
- Duo Wang
- Alberto Tonda
- Florian Böhl
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- J. Symb. Comput.
- IJCAI
- Artif. Intell.
- CAV
- DAC
- ECSQARU
- NeurIPS
- ECAI
- NeSy
- ISSAC
- Synth.
- ICASSP
- ICLR
- IJCNN
- Theor. Comput. Sci.
- Decis. Support Syst.
- MFCS
- Comput. Phys. Commun.
- Int. J. Approx. Reason.
- Electron. Notes Theor. Comput. Sci.
- ICRA
- SIGSAM Bull.
- AAAI/IAAI
- ACM SIGSOFT Softw. Eng. Notes
- ICML
- J. Log. Lang. Inf.
- CASC
- ACL (1)
- QPL
- Comput. Aided Des.
- AGI
- SIGGRAPH Courses
- ICSE
- CIKM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend