( en | de | ru )

 

Disambiguierung von "You, Jia-Huai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Well-founded operators for normal hybrid MKNF knowledge bases.

, , und . Theory Pract. Log. Program., 17 (5-6): 889-905 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jia Jia

Ying Huai

Mi Huaifeng

You Huh

You Mahman

 

Weitere Publikationen von Autoren mit dem selben Namen

Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming., und . SLP, Seite 144-153. IEEE-CS, (1984)On Coherence Approach to Logic Program Revision., und . ICLP, Seite 167-181. MIT Press, (1995)A Simple but Effective Program Revision Method., und . ILPS, Seite 686. MIT Press, (1994)A Linear Tabling Mechanism., , , und . ICLP, Seite 618. MIT Press, (1999)Embedding Description Logic Programs into Default Logic, , , , und . CoRR, (2011)On the Equivalence of Semantics for Normal Logic Programs., und . J. Log. Program., 22 (3): 211-222 (1995)Existential Rule Languages with Finite Chase: Complexity and Expressiveness., , und . CoRR, (2014)A framework for learning constraints: Preliminary report., , und . PRICAI Workshops, Volume 1359 von Lecture Notes in Computer Science, Seite 133-147. Springer, (1996)On the Extension of Logic Programming with Negation through Uniform Proofs., und . LPNMR, Volume 928 von Lecture Notes in Computer Science, Seite 231-244. Springer, (1995)Discriminant Circumscription., und . FSTTCS, Volume 472 von Lecture Notes in Computer Science, Seite 21-32. Springer, (1990)