Suchergebnisse - Iwayama, Noboru

  • Treffer 1 – 13 von 13
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Buchumschlag

    Magic sets and bottom-up evaluation of stable model
    von Fujita, Masayuki, Iwayama, Noboru, Hasegawa, Ryuzo

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Acceptable hypotheses, semantics for negation by default
    von Iwayama, Noboru

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    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:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    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:
  9. 9
    Buchumschlag

    Rules representing two types of epistemic statements
    von Iwayama, Noboru

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Investigating assumption-semantics through open positive programs
    von Iwayama, Noboru

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    An implementation of TMS in concurrent logic programming language: preliminary report
    von Satō, Ken, Iwayama, Noboru, Sugino, Eiji

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: