( en | de | ru )

 

Disambiguierung von "You, Jia-Huai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Recycling Computed Answers in Rewrite Systems for Abduction

, und . CoRR, (2004)

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

E-Unification Algorithms for a Class of Confluent Term Rewriting Systems., und . ICALP, Volume 226 von Lecture Notes in Computer Science, Seite 454-463. Springer, (1986)A framework for learning constraints: Preliminary report., , und . PRICAI Workshops, Volume 1359 von Lecture Notes in Computer Science, Seite 133-147. Springer, (1996)Verifying Termination of General Logic Programs with Concrete Queries, , und . CoRR, (2000)Linear Tabulated Resolution Based on Prolog Control Strategy, , , und . CoRR, (2000)Recycling Computed Answers in Rewrite Systems for Abduction, und . CoRR, (2004)A Dynamic Approach to Characterizing Termination of General Logic Programs, , , , und . CoRR, (2002)Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs., , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 235-246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Making default inferences from logic programs., und . Comput. Intell., (1991)A Generalization of Approximation Fixpoint Theory and Application., , und . RR, Volume 8741 von Lecture Notes in Computer Science, Seite 45-59. Springer, (2014)Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies., und . RuleML+RR, Volume 12173 von Lecture Notes in Computer Science, Seite 140-149. Springer, (2020)