Suchergebnisse - Satoh, Ken 1959-

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    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 beteiligte Personen: “… Satoh, Ken 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  20. 20
    Buchumschlag

    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 beteiligte Personen: “… Satoh, Ken 1959- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: