Search Results - "Deduction and theorem proving."

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Learning to reason. by Khardon, Roni

    Published in Journal of the ACM
    Article


    Cover Image
  2. 2

    Decomposable negation normal form. by Darwiche, A.

    Published in Journal of the ACM
    Article


    Cover Image
  3. 3

    Probabilistic temporal databases, I algebra. by Dekhtyar, Alex

    Article


    Cover Image
  4. 4

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

    Published in Journal of the ACM
    Article


    Cover Image
  5. 5

    Plausibility measures and default reasoning. by Friedman, N.

    Published in Journal of the ACM
    Article


    Cover Image

Search Tools: