ORDER SORTED LOGIC
Experts
- Ken Kaneiwa
- Peter H. Schmitt
- Philip H. P. Nguyen
- Udo Pletat
- Satoshi Tojo
- Ulrich Hedtstück
- Song-Chun Zhu
- Pan Lu
- Jörg H. Siekmann
- Minh-Quang Nguyen
- Madeleine Lescot
- Françoise Debart
- Subhabrata Mukherjee
- Zhou Yu
- Colin Lockard
- Yizhou Zhao
- Liang Qiu
- Dongxu Zhang
- Dan Corbett
- Ying Nian Wu
- Xin Luna Dong
- Baolin Peng
- Patrice Enjalbert
- Christoph Beierle
- Yuan Liang
- Wolfgang Wernecke
- Andrew McCallum
- Gustavo Salvador-Herranz
- Furu Wei
- Steve Oldridge
- Tian Chen
- Yogesh K. Dwivedi
- Patricia G. J. Twaalfhoven
- Zhihao Li
- Fengge Yi
- Hari Subramoni
- Xiangyu Zeng
- Macarena Espinilla
- Salma S. Abed
Venues
- CoRR
- Artif. Intell.
- AAAI
- ICCS
- IWBS Report
- J. Autom. Reason.
- Commun. Stat. Simul. Comput.
- ACSC
- IJCAI
- MICAI
- SSCI
- CSCWD
- Entropy
- Description Logics
- COLINS (2)
- Sorts and Types in Artificial Intelligence
- Theor. Comput. Sci.
- Bull. Symb. Log.
- Behav. Inf. Technol.
- Australasian Conference on Artificial Intelligence
- Arch. Formal Proofs
- ALP
- ICLP
- AISTATS
- NAACL-HLT (1)
- Eur. J. Oper. Res.
- LREC
- ICIBE
- Inf. Syst.
- International Conference on Computational Intelligence
- EUSFLAT Conf.
- Scientometrics
- IJCNLP
- IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
- Neural Networks
- ACL (System Demonstrations)
- EMS
- Inf. Process. Manag.
- PAKDD (1)
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend