ORDER SORTED LOGIC
Experts
- Ken Kaneiwa
- Philip H. P. Nguyen
- Peter H. Schmitt
- Udo Pletat
- Dan Corbett
- Subhabrata Mukherjee
- Yizhou Zhao
- Patrice Enjalbert
- Liang Qiu
- Colin Lockard
- Minh-Quang Nguyen
- Yuan Liang
- Song-Chun Zhu
- Wolfgang Wernecke
- Madeleine Lescot
- Zhou Yu
- Christoph Beierle
- Ying Nian Wu
- Baolin Peng
- Pan Lu
- Françoise Debart
- Andrew McCallum
- Ulrich Hedtstück
- Jörg H. Siekmann
- Satoshi Tojo
- Dongxu Zhang
- Xin Luna Dong
- John D. Kelleher
- Qiaoming Zhu
- Nathalie Schauffel
- Hong-Nian Jow
- Russell J. Funk
- Christian Fäth
- Nwe Ni Tun
- Hanieh Panahi
- Tian Chen
- Danila Piatov
- Shun-Cheung Lai
- Sidney S. Fels
Venues
- CoRR
- Artif. Intell.
- ICCS
- IWBS Report
- ACSC
- Bull. Symb. Log.
- EMS
- NLPCC (2)
- Log. J. IGPL
- ICIBE
- LPAR
- ISWC
- AAAI
- Applied Informatics
- Eur. J. Oper. Res.
- FME
- KR
- Sorts and Types in Artificial Intelligence
- J. Autom. Reason.
- Arch. Formal Proofs
- Inf. Process. Manag.
- International Conference on Computational Intelligence
- J. Chem. Inf. Comput. Sci.
- ICLP
- SSCI
- Int. J. Approx. Reason.
- Inf. Syst.
- ICCSA (3)
- NAACL-HLT (1)
- Commun. Stat. Simul. Comput.
- IEEE Trans. Circuits Syst. Video Technol.
- IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
- CRV
- Behav. Inf. Technol.
- IJCNLP
- Entropy
- ICEIS (3)
- ACL (System Demonstrations)
- CIKM
Related Topics
Related Keywords
Popularity