ABDUCTIVE INFERENCE
Experts
- Suresh Jagannathan
- Isil Dillig
- Steffen Hölldobler
- S. Sudarshan
- Jayen Vaghani
- Marc Denecker
- José A. Gámez
- 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
- Thomas Dillig
- David B. Kemp
- 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
- Raymond Reiter
- Geoffrey Phipps
- Ness Schelkens
- Giovanni Ferrin
- Roland Memisevic
- John W. Sheppard
- Miguel E. Perez
- Zhan Ling
Venues
- CoRR
- IJCAI
- ECAI
- Synth.
- CAV
- Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
- Knowl. Eng. Rev.
- Log. J. IGPL
- Proc. ACM Program. Lang.
- LPNMR
- Electron. Notes Theor. Comput. Sci.
- CogSci
- JELIA
- ASE
- IFIP Congress
- Math. Log. Q.
- ICASSP
- J. Syst. Softw.
- AAAI
- Notre Dame J. Formal Log.
- J. Appl. Log.
- Artif. Intell.
- PLDI
- FTfJP@ECOOP
- Int. Arab J. Inf. Technol.
- COMPSAC
- CAV (2)
- UAI
- J. Appl. Non Class. Logics
- Int. J. Softw. Tools Technol. Transf.
- FASE
- ICFEM
- ICTAI
- SLP
- SIGMOD Conference
- LPAR
- DEXA
- PODC
- Fuzzy Sets Syst.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend