ORDER SORTED LOGIC
Experts
- Ken Kaneiwa
- Philip H. P. Nguyen
- Peter H. Schmitt
- Udo Pletat
- Minh-Quang Nguyen
- Liang Qiu
- Françoise Debart
- Dongxu Zhang
- Ulrich Hedtstück
- Patrice Enjalbert
- Xin Luna Dong
- Baolin Peng
- Dan Corbett
- Song-Chun Zhu
- Andrew McCallum
- Yizhou Zhao
- Satoshi Tojo
- Pan Lu
- Subhabrata Mukherjee
- Colin Lockard
- Wolfgang Wernecke
- Madeleine Lescot
- Jörg H. Siekmann
- Zhou Yu
- Yuan Liang
- Christoph Beierle
- Ying Nian Wu
- Gregor Miller
- D. Richard Anderson
- Peru Bhardwaj
- Nathalie Schauffel
- B. Handoko Purwojatmiko
- Fabio Persia
- Fabrizio Riguzzi
- Adela S. M. Lau
- Stanley N. Salthe
- Abdolreza Sayyareh
- George Basabilvazo
- Guido Dedene
Venues
- CoRR
- Artif. Intell.
- AAAI
- ICCS
- IWBS Report
- ALP
- NAACL-HLT (1)
- Sorts and Types in Artificial Intelligence
- ACL (System Demonstrations)
- J. Comput. Inf. Syst.
- Log. J. IGPL
- Microprocess. Microsystems
- Reliab. Eng. Syst. Saf.
- IEEE Trans. Circuits Syst. Video Technol.
- Theor. Comput. Sci.
- ICCSA (3)
- Neural Networks
- EUSFLAT Conf.
- Scientometrics
- International Conference on Computational Intelligence
- NLPCC (2)
- ACL/IJCNLP (1)
- ISWC
- Arch. Formal Proofs
- ICASSP
- ICEIS (3)
- RP
- Eur. J. Oper. Res.
- MICAI
- Australasian Conference on Artificial Intelligence
- SSCI
- J. Autom. Reason.
- Bull. Symb. Log.
- Entropy
- Inf. Process. Manag.
- Applied Informatics
- Commun. Stat. Simul. Comput.
- J. Libr. Inf. Sci.
- LPAR
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend