Zobrazuji výsledky 1 - 5 z 5 pro vyhledávání '"Deduction and theorem proving."', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

    Corrigendum Reasoning about knowledge and probability?. Autor Fagin, Ronald

    Vydáno v Journal of the ACM
    Článek

    Corrigendum Reasoning about knowledge and probability?.
  2. 2

    Learning to reason. Autor Khardon, Roni

    Vydáno v Journal of the ACM
    Článek

    Learning to reason.
  3. 3

    Probabilistic temporal databases, I algebra. Autor Dekhtyar, Alex

    Článek

    Probabilistic temporal databases, I algebra.
  4. 4

    Decomposable negation normal form. Autor Darwiche, A.

    Vydáno v Journal of the ACM
    Článek

    Decomposable negation normal form.
  5. 5

    Plausibility measures and default reasoning. Autor Friedman, N.

    Vydáno v Journal of the ACM
    Článek

    Plausibility measures and default reasoning.

Vyhledávací nástroje: