ABDUCTIVE INFERENCE
Experts
- Suresh Jagannathan
- Steffen Hölldobler
- Isil Dillig
- José A. Gámez
- Raghu Ramakrishnan
- Bernhard Beckert
- Thomas Dillig
- David B. Kemp
- Divesh Srivastava
- Hirotaka Ono
- Fernando Sáenz-Pérez
- S. Sudarshan
- SerafÃn Moral
- Dino Distefano
- Kazuhisa Makino
- Janez Demsar
- Jayen Vaghani
- Luis M. de Campos
- Amir Pnueli
- Marc Denecker
- Daniel R. Schlegel
- Josef Schneeberger
- Zohar Manna
- Gad Shaulsky
- Praveen Seshadri
- Stuart C. Shapiro
- Blaz Zupan
- Peter J. Stuckey
- Kenneth L. McMillan
- Haixun Wang
- Umberto Straccia
- Matt Gardner
- Pengfei Hong
- Sachit Menon
- Mark van den Brand
- Xuanlin Li
- Mingu Lee
- Jiangming Liu
- Pierre Marquis
Venues
- CoRR
- IJCAI
- Log. J. IGPL
- ECAI
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- CAV
- Synth.
- Knowl. Eng. Rev.
- Proc. ACM Program. Lang.
- Math. Log. Q.
- ICASSP
- AAAI
- IFIP Congress
- Electron. Notes Theor. Comput. Sci.
- ASE
- CogSci
- J. Syst. Softw.
- JELIA
- LPNMR
- LPAR
- FM Workshops (1)
- J. Appl. Log.
- ICCV
- CAV (2)
- J. Appl. Non Class. Logics
- UAI
- PLDI
- ICFEM
- SLP
- Int. J. Softw. Tools Technol. Transf.
- Artif. Intell.
- Fundam. Informaticae
- FTfJP@ECOOP
- FASE
- Fuzzy Sets Syst.
- PODC
- DEXA
- Notre Dame J. Formal Log.
- IEEE Trans. Computers
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend