1 research outputs found
Efficient reasoning
- Author
- AAAI.
- ALCHOURR ON C. E.
- ANDERSEN S. K.
- ARNBORG S.
- AZEVEDO P. J.
- BEINLICH I. A.
- BOROS E.
- CHARNIAK E.
- CHAUDHRI V.
- CHOW C.K.
- Christian Darken
- CLARK K.
- COUSINS S.
- DALAL M.
- DARWICHE A.
- DARWICHE A.
- DECHTER R.
- DECHTER R.
- DELCHER A. L.
- DOWLING W.F.
- DRAPER D.L.
- GREINER R.
- GREINER R.
- GREINER R.
- HOOS H.H.
- HORVITZ E.J.
- JAAKKOLA T.S.
- JENSEN F.V.
- KAUTZ H.
- KAUTZ H.
- KJARULFF U.
- KOLLER D.
- KOLLER D.
- LAURITZEN S.
- LEPAR V.
- LEVESQUE H.
- LI Z.
- MAREK W.
- MCALLESTER D. A.
- MCCARTHY J.
- MCCARTHY J.
- MENGSHOEL O.J.
- MOORE R. C.
- N. Iwan Santoso
- NECHES R.
- NGO L.
- PELLETIER F. J.
- POOLE D.
- POOLE D.
- POOLE D.
- PRADHAN M.
- PRADHAN M.
- REITER R.
- REITER R.
- REITER R.
- Russell Greiner
- SELMAN B.
- TREITEL R.J.
- TURING A. M.
- VALIANT L. G.
- ZHANG N.L.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study