Showing 711 - 720 results of 763 for search '"Reason."', query time: 0.02s Refine Results
  1. 711

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

    Article

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

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

    Article

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

    Article

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

    Lexicographic prioritiesnext term in default logic. by Rintanen, Jussi

    Article

    Lexicographic prioritiesnext term in default logic.
  5. 715

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

    Article

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

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  7. 717

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

    Published in Journal of the ACM
    Article

    Static analysis in datalog extensions.
  8. 718

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

    Article

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

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

    Article

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

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

    Article

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

Search Tools: