Suchergebnisse - You, Jia-Huai

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

    Extending logic programming with negation through uniform proofs
    von Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A logic for introspective as well as retrospective reasoning: [extended abstract]
    von Yuan, Li Yan, You, Jia-Huai

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Abductive logic programming with assumption denials
    von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    On the equivalence of semantics for normal logic programs
    von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    On the semantics of a shared common knowledge distributed logic system
    von Wang, Xianchang, Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Coherence approach for logic program revision
    von Yuan, Li-Yan, You, Jia-Huai

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Skeptical belief revision in the reason maintenance system
    von You, Jia-Huai, Yuan, Li Yan

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    First-order unification in equational theories and its application to logic programming
    von You, Jia-Huai

    Veröffentlicht 1985
    Buch


    Gespeichert in:

Suchwerkzeuge: