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