SYMBOLIC REASONING
Experts
- Mateja Jamnik
- Kamal Kant Bharadwaj
- Artur S. d'Avila Garcez
- Siyuan Huang
- Luís C. Lamb
- Loris D'Antoni
- Michael Anderson
- Song-Chun Zhu
- Alan Bundy
- B. Chandrasekaran
- Bo Chen
- Yongfeng Zhang
- Margus Veanes
- Daniel S. Yeung
- Lance Winkel
- Isil Dillig
- Frédéric Precioso
- Francesco Giannini
- Kostas Ferles
- Stefano Ceri
- Alberto Tonda
- Lluís Godo
- Fabio Somenzi
- Wayne Snyder
- Duo Wang
- Qiaoying Huang
- Emanuele Marconato
- Gabriel Poesia
- John Howse
- Atsushi Shimojima
- Qing Li
- Ying Nian Wu
- Pietro Liò
- Mary Hegarty
- José Meseguer
- Dominique Unruh
- Jacob Van Geffen
- Noah D. Goodman
- Yikun Xian
Venues
- CoRR
- J. Symb. Log.
- Diagrams
- CogSci
- AAAI
- IJCAI
- Artif. Intell.
- J. Symb. Comput.
- CAV
- DAC
- NeurIPS
- ECSQARU
- ISSAC
- ICLR
- Theor. Comput. Sci.
- ECAI
- ICASSP
- NeSy
- IJCNN
- Synth.
- AAAI/IAAI
- SIGSAM Bull.
- ACL (1)
- ICRA
- Decis. Support Syst.
- ICML
- Int. J. Approx. Reason.
- MFCS
- CASC
- ACM SIGSOFT Softw. Eng. Notes
- Electron. Notes Theor. Comput. Sci.
- Comput. Phys. Commun.
- J. Log. Lang. Inf.
- Petri Nets
- SMC
- Knowl. Eng. Rev.
- PLDI
- Bull. Symb. Log.
- KES (2)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend