ABDUCTIVE INFERENCE
Experts
- Suresh Jagannathan
- Isil Dillig
- Steffen Hölldobler
- Praveen Seshadri
- Kenneth L. McMillan
- Stuart C. Shapiro
- David B. Kemp
- Amir Pnueli
- Zohar Manna
- Peter J. Stuckey
- Fernando Sáenz-Pérez
- Kazuhisa Makino
- Luis M. de Campos
- José A. Gámez
- Raghu Ramakrishnan
- Janez Demsar
- Divesh Srivastava
- Thomas Dillig
- Gad Shaulsky
- Bernhard Beckert
- Blaz Zupan
- S. Sudarshan
- Dino Distefano
- Hirotaka Ono
- Daniel R. Schlegel
- Jayen Vaghani
- Josef Schneeberger
- Serafín Moral
- Marc Denecker
- John F. Bulzacchelli
- Lars B. van den Haak
- Xuanwen Huang
- Veronica Morfi
- Jean-Christophe Filliâtre
- Peter Juvan
- V. S. Subrahmanian
- Soujanya Poria
- Zoltan Somogyi
- Quang Loc Le
Venues
- CoRR
- IJCAI
- Knowl. Eng. Rev.
- Proc. ACM Program. Lang.
- CAV
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- ECAI
- Synth.
- Log. J. IGPL
- ICASSP
- Math. Log. Q.
- AAAI
- JELIA
- J. Syst. Softw.
- LPNMR
- ASE
- IFIP Congress
- Electron. Notes Theor. Comput. Sci.
- CogSci
- J. Appl. Log.
- Int. J. Softw. Tools Technol. Transf.
- CAV (2)
- LPAR
- Notre Dame J. Formal Log.
- PLDI
- DEXA
- FM Workshops (1)
- FTfJP@ECOOP
- Fuzzy Sets Syst.
- COMPSAC
- IEEE Trans. Computers
- ICTAI
- UAI
- Artif. Intell.
- ICFEM
- FASE
- PODC
- Fundam. Informaticae
- SIGMOD Conference
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend