ABDUCTIVE INFERENCE
Experts
- Suresh Jagannathan
- Isil Dillig
- Steffen Hölldobler
- S. Sudarshan
- Jayen Vaghani
- José A. Gámez
- Marc Denecker
- Kenneth L. McMillan
- Janez Demsar
- SerafÃn Moral
- Kazuhisa Makino
- Stuart C. Shapiro
- Blaz Zupan
- Praveen Seshadri
- Hirotaka Ono
- Josef Schneeberger
- Dino Distefano
- Daniel R. Schlegel
- Bernhard Beckert
- David B. Kemp
- Thomas Dillig
- Zohar Manna
- Luis M. de Campos
- Fernando Sáenz-Pérez
- Peter J. Stuckey
- Raghu Ramakrishnan
- Amir Pnueli
- Gad Shaulsky
- Divesh Srivastava
- Karthik Ganesan Pillai
- Sachit Menon
- Geoffrey Phipps
- Raymond Reiter
- Ness Schelkens
- Roland Memisevic
- Giovanni Ferrin
- John W. Sheppard
- Miguel E. Perez
- Zhan Ling
Venues
- CoRR
- IJCAI
- Log. J. IGPL
- Proc. ACM Program. Lang.
- ECAI
- Synth.
- Knowl. Eng. Rev.
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- CAV
- ICASSP
- AAAI
- J. Syst. Softw.
- JELIA
- ASE
- LPNMR
- Electron. Notes Theor. Comput. Sci.
- CogSci
- Math. Log. Q.
- IFIP Congress
- LPAR
- SIGMOD Conference
- ICFEM
- SLP
- ICTAI
- Fuzzy Sets Syst.
- PODC
- DEXA
- ICCV
- Fundam. Informaticae
- FMICS
- FM Workshops (1)
- IEEE Trans. Computers
- Notre Dame J. Formal Log.
- J. Appl. Log.
- Artif. Intell.
- COMPSAC
- Int. Arab J. Inf. Technol.
- PLDI
- J. Appl. Non Class. Logics
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend