Treffer 1 – 20 von 25 für Suche 'Satoh, Ken 1959-', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  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 von Iwayama, Noboru, Satoh, Ken 1959-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert 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 von Satoh, Ken 1959-, Iwayama, Noboru, Sugino, Eiji

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computing abduction in logic programming

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Satoh, Ken 1959-, Iwayama, Noboru

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Katsuno, Hirofumi, Satoh, Ken 1959-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    New frontiers in artificial intelligence JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, virtual event, November 15-17, 2020 : revised selected papers

    New frontiers in artificial intelligence JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, virtual event, November 15-17, 2020 : revised selected papers

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  20. 20
    New frontiers in artificial intelligence JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018 : revised selected papers

    New frontiers in artificial intelligence JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018 : revised selected papers

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: