Showing 1 - 20 results of 29 for search 'Satoh, Ken', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Bottom-up procedure with top-down expectation for general logic program with integrity constraint

    Bottom-up procedure with top-down expectation for general logic program with integrity constraint by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    A logical foundation of preference-based disambiguation

    A logical foundation of preference-based disambiguation by Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Parallel randomized search for distributed memory machines

    Parallel randomized search for distributed memory machines by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    An implementation of TMS in concurrent logic programming language preliminary report

    An implementation of TMS in concurrent logic programming language preliminary report by Satoh, Ken 1959-, Iwayama, Noboru, Sugino, Eiji

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Formalizing soft constraints by interpretation ordering

    Formalizing soft constraints by interpretation ordering by Satoh, Ken 1959-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Computing abduction in logic programming

    Computing abduction in logic programming by Iwayama, Noboru, Satoh, Ken 1959-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A formalization of generalization-based analogy in general logic programs

    A formalization of generalization-based analogy in general logic programs by Iwayama, Noboru, Satoh, Ken 1959-, Arima, Jun

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A correct top-down proof procedure for a general logic program with integrity constraints

    A correct top-down proof procedure for a general logic program with integrity constraints by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Computing soft constraints by hierarchical constraint logic programming

    Computing soft constraints by hierarchical constraint logic programming by Satoh, Ken 1959-, Aiba, Akira

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    The hierarchical constraint logic language CHAL

    The hierarchical constraint logic language CHAL by Satoh, Ken 1959-, Aiba, Akira

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Nonmonotonic reasoning by minimal belief revision

    Nonmonotonic reasoning by minimal belief revision by Satoh, Ken 1959-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A minimal change of belief a criterion of belief revision

    A minimal change of belief a criterion of belief revision by Satoh, Ken 1959-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    A query evaluation method for abductive logic programming

    A query evaluation method for abductive logic programming by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    A unified view of consequence relation, belief revision and conditional logic

    A unified view of consequence relation, belief revision and conditional logic by Katsuno, Hirofumi, Satoh, Ken 1959-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Computing abduction by using the TMS

    Computing abduction by using the TMS by Satoh, Ken 1959-, Iwayama, Noboru

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    A probabilistic interpretation for lazy nonmonotonic reasoning

    A probabilistic interpretation for lazy nonmonotonic reasoning by Satoh, Ken 1959-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Relative plausibility based on model ordering preliminary report

    Relative plausibility based on model ordering preliminary report by Satoh, Ken 1959-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Minimal change a criterion for choosing between competing models

    Minimal change a criterion for choosing between competing models by Satoh, Ken 1959-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers

    New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers

    Published 2023
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:
  20. 20
    New Frontiers in Artificial Intelligence JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers

    New Frontiers in Artificial Intelligence JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers

    Published 2023
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:

Search Tools: