Treffer 1 - 8 von 8 für Suche 'You, Jia-Huai', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    Extending logic programming with negation through uniform proofs

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Abductive logic programming with assumption denials

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A logic for introspective as well as retrospective reasoning [extended abstract]

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    First-order unification in equational theories and its application to logic programming

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

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    On the equivalence of semantics for normal logic programs

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    On the semantics of a shared common knowledge distributed logic system

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

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Coherence approach for logic program revision

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

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Skeptical belief revision in the reason maintenance system

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: