Erakusten 711 - 720 emaitzak -- 763 bilaketa honetara '"Reasoning."', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 711

    Prolog technology for default reasoning proof theory and compilation techniques. nork Schaub, Torsten

    Argitaratua izan da Artificial intelligence.
    Artikulua

    Prolog technology for default reasoning proof theory and compilation techniques.
  2. 712

    2U an exact interval propagation algorithm for polytrees with binary variables. nork Fagiuoli, Enrico

    Argitaratua izan da Artificial intelligence.
    Artikulua

    2U an exact interval propagation algorithm for polytrees with binary variables.
  3. 713

    A complete classification of tractability in Allen's algebra relative to subsets of basic relations. nork Drakengren, Thomas

    Argitaratua izan da Artificial intelligence.
    Artikulua

    A complete classification of tractability in Allen's algebra relative to subsets of basic relations.
  4. 714

    Lexicographic prioritiesnext term in default logic. nork Rintanen, Jussi

    Argitaratua izan da Artificial intelligence.
    Artikulua

    Lexicographic prioritiesnext term in default logic.
  5. 715

    The logical foundations of goal-regression planning in autonomous agents. nork Pollock, John L.

    Argitaratua izan da Artificial intelligence.
    Artikulua

    The logical foundations of goal-regression planning in autonomous agents.
  6. 716

    Register-machine based processes. nork Bergstra, Jan A.

    Argitaratua izan da Journal of the ACM
    Artikulua

    Register-machine based processes.
  7. 717

    Static analysis in datalog extensions. nork Halevy, Alon Y.

    Argitaratua izan da Journal of the ACM
    Artikulua

    Static analysis in datalog extensions.
  8. 718

    A specification-based approach to reasoning about pointers. nork Kulczycki, Gregory

    Argitaratua izan da Software engineering notes.
    Artikulua

    A specification-based approach to reasoning about pointers.
  9. 719

    Non-null references by default in the Java modeling language. nork Chalin, Patrice

    Argitaratua izan da Software engineering notes.
    Artikulua

    Non-null references by default in the Java modeling language.
  10. 720

    Specification and design of component-based coordination systems by integrating coordination patterns. nork Pérez-Serrano, Pedro L.

    Argitaratua izan da Software engineering notes.
    Artikulua

    Specification and design of component-based coordination systems by integrating coordination patterns.

Bilaketa egiteko lanabesak: