ABDUCTIVE INFERENCE
Experts
- Isil Dillig
- Suresh Jagannathan
- Steffen Hölldobler
- Stuart C. Shapiro
- Kenneth L. McMillan
- Praveen Seshadri
- Thomas Dillig
- Blaz Zupan
- Amir Pnueli
- Serafín Moral
- Kazuhisa Makino
- Divesh Srivastava
- Bernhard Beckert
- Gad Shaulsky
- Zohar Manna
- Marc Denecker
- Peter J. Stuckey
- Hirotaka Ono
- Janez Demsar
- David B. Kemp
- Dino Distefano
- Josef Schneeberger
- Jayen Vaghani
- Daniel R. Schlegel
- Luis M. de Campos
- S. Sudarshan
- Raghu Ramakrishnan
- Fernando Sáenz-Pérez
- José A. Gámez
- Giovanni Ferrin
- Peter Juvan
- Quang Loc Le
- Claude Marché
- Pengfei Hong
- John F. Bulzacchelli
- Adrian Müller
- Miguel E. Perez
- Haixun Wang
- Jiangming Liu
Venues
- CoRR
- IJCAI
- CAV
- Log. J. IGPL
- ECAI
- Knowl. Eng. Rev.
- Synth.
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- Proc. ACM Program. Lang.
- CogSci
- LPNMR
- Math. Log. Q.
- JELIA
- ASE
- IFIP Congress
- Electron. Notes Theor. Comput. Sci.
- SIGMOD Conference
- J. Appl. Log.
- Artif. Intell.
- AAAI
- J. Syst. Softw.
- DEXA
- COMPSAC
- ICFEM
- FMICS
- FTfJP@ECOOP
- ICCV
- Notre Dame J. Formal Log.
- Fundam. Informaticae
- J. Appl. Non Class. Logics
- FM Workshops (1)
- LPAR
- UAI
- CAV (2)
- IEEE Trans. Computers
- ICASSP
- Int. Arab J. Inf. Technol.
- PODC
- ICTAI
Related Topics
Related Keywords
Popularity