Mostrando 711 - 720 Resultados de 763 Para Buscar '"Reasoning"', tiempo de consulta: 0.02s Limitar resultados
  1. 711

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

    Artículo

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

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

    Artículo

    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. por Drakengren, Thomas

    Artículo

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

    Lexicographic prioritiesnext term in default logic. por Rintanen, Jussi

    Artículo

    Lexicographic prioritiesnext term in default logic.
  5. 715

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

    Artículo

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

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

    Publicado en Journal of the ACM
    Artículo

    Register-machine based processes.
  7. 717

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

    Publicado en Journal of the ACM
    Artículo

    Static analysis in datalog extensions.
  8. 718

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

    Artículo

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

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

    Artículo

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

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

    Artículo

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

Herramientas de búsqueda: