( 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

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)On the Equivalence of Semantics for Normal Logic Programs., und . J. Log. Program., 22 (3): 211-222 (1995)Circumscription by Inference Rules with Priority., , und . ECAI, Seite 110-116. John Wiley and Sons, Chichester, (1996)Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics., , und . CP, Volume 11802 von Lecture Notes in Computer Science, Seite 126-143. Springer, (2019)The loop formula based semantics of description logic programs., , , , und . Theor. Comput. Sci., (2012)Mutex Graphs and Multicliques: Reducing Grounding Size for Planning., , und . ICLP Technical Communications, Volume 306 von EPTCS, Seite 140-153. (2019)Towards Universal Languages for Tractable Ontology Mediated Query Answering., , , , und . CoRR, (2019)Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms., , und . Theory Pract. Log. Program., (2013)Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT., und . Theory Pract. Log. Program., 22 (2): 305-334 (2022)A Simple but Effective Program Revision Method., und . ILPS, Seite 686. MIT Press, (1994)