ABDUCTIVE INFERENCE
Experts
- Isil Dillig
- Suresh Jagannathan
- Steffen Hölldobler
- Marc Denecker
- Gad Shaulsky
- Kazuhisa Makino
- David B. Kemp
- Raghu Ramakrishnan
- Divesh Srivastava
- Blaz Zupan
- Bernhard Beckert
- Luis M. de Campos
- Stuart C. Shapiro
- S. Sudarshan
- Serafín Moral
- Thomas Dillig
- Janez Demsar
- Kenneth L. McMillan
- Daniel R. Schlegel
- Hirotaka Ono
- Jayen Vaghani
- José A. Gámez
- Josef Schneeberger
- Dino Distefano
- Zohar Manna
- Peter J. Stuckey
- Fernando Sáenz-Pérez
- Praveen Seshadri
- Amir Pnueli
- Frank Van Eynde
- Marcia A. Derr
- Raymond Reiter
- Franck Cassez
- Lars B. van den Haak
- Dan Stowell
- Yueting Zhuang
- Gowtham Kaki
- Sven Verdoolaege
- Deepanway Ghosal
Venues
- CoRR
- IJCAI
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- Proc. ACM Program. Lang.
- CAV
- Knowl. Eng. Rev.
- Log. J. IGPL
- Synth.
- ECAI
- LPNMR
- CogSci
- ICASSP
- J. Syst. Softw.
- Electron. Notes Theor. Comput. Sci.
- IFIP Congress
- ASE
- JELIA
- AAAI
- Math. Log. Q.
- SLP
- J. Appl. Log.
- PODC
- UAI
- LPAR
- FM Workshops (1)
- COMPSAC
- DEXA
- FMICS
- CAV (2)
- IEEE Trans. Computers
- FASE
- Int. Arab J. Inf. Technol.
- ICCV
- J. Appl. Non Class. Logics
- FTfJP@ECOOP
- Fuzzy Sets Syst.
- SIGMOD Conference
- ICFEM
- Int. J. Softw. Tools Technol. Transf.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend