Travelled to:1 × Australia
1 × Belgium
1 × Canada
1 × China
1 × Finland
1 × Germany
1 × Hungary
1 × Italy
1 × Japan
10 × USA
2 × France
2 × United Kingdom
Collaborated with:L.Yuan P.A.Subrahmanyam ∅ Y.Shen R.Goebel L.Wu Y.Chi G.Liu G.Hou N.Zhou R.Cartwright L.Li H.Zhang Y.Zhang J.Morris Y.Bi X.Jia X.Wang Y.Wang T.Janhunen I.Niemelä P.Simons S.Ghosh M.S.Chowdhury F.Liu W.Chen A.Karimi C.Wang O.R.Zaïane J.Pei
Talks about:program (18) logic (12) semant (6) equat (5) disjunct (4) databas (3) system (3) mechan (3) revis (3) function (2)
Person: Jia-Huai You
DBLP: You:Jia=Huai
Contributed to:
2015
2014
2014
20132012
2011201020082004
2000
20001999199819971995199519941993
19901989
1988
19881986
198619841984Wrote 28 papers:
- SIGMOD-2015-YuanWYC #big data #database #scalability
- A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 907–912.
- CIKM-2014-YuanWYC #big data #database #grid #scalability #staged
- Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications (LYY, LW, JHY, YC), pp. 1–10.
- LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code
- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.
- ICLP-J-2013-YouZZ #logic programming #quantifier #source code
- Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.
- ICLP-2012-YouMB #semantics #source code
- Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs (JHY, JM, YB), pp. 235–246.
- VLDB-2011-WangYYZP #database #nondeterminism #on the #ranking
- On Pruning for Top-K Ranking in Uncertain Databases (CW, LYY, JHY, ORZ, JP), pp. 598–609.
- ICLP-J-2010-WangYYS #logic programming #source code
- Loop formulas for description logic programs (YW, JHY, LYY, YDS), pp. 531–545.
- ICLP-2008-LiuY #representation #semantics #source code
- Lparse Programs Revisited: Semantics and Representation of Aggregates (GL, JHY), pp. 347–361.
- ICLP-2004-JiaYY #set #source code
- Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
- ICLP-2004-YouH #lookahead
- Arc-Consistency + Unit Propagation = Lookahead (JHY, GH), pp. 314–328.
- KR-2000-JanhunenNSY #semantics
- Unfolding Partiality and Disjunctions in Stable Model Semantics (TJ, IN, PS, JHY), pp. 411–422.
- PADL-2000-ZhouSYY #implementation #linear
- Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
- ICLP-1999-ZhouSYY #linear
- A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
- JICSLP-1998-YouYG #semantics
- Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure (JHY, LYY, RG), pp. 175–189.
- ICLP-1997-YouWY #logic programming
- Disjunctive Logic Programming as Constrained Inferences (JHY, XW, LYY), pp. 361–375.
- ICLP-1995-YuanY #approach #logic programming #on the
- On Coherence Approach to Logic Program Revision (LYY, JHY), pp. 167–181.
- ILPS-1995-YouGYG #framework #logic programming #source code
- An Introspective Framework for Paraconsistent Logic Programs (JHY, SG, LYY, RG), pp. 384–398.
- ILPS-1994-YouC #semantics
- Tractable Argumentation Semantics via Iterative Belief Revision (JHY, RC), pp. 239–253.
- ILPS-1994-YuanY #effectiveness
- A Simple but Effective Program Revision Method (LYY, JHY), p. 686.
- ILPS-1993-YouY #logic programming #source code
- Contradiction Resolving for Extended Logic Programs and Default Theories (JHY, LYY), p. 640.
- PODS-1990-YouY #formal method #logic programming #question
- Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.
- NACLP-1989-YouL #logic programming
- Supported Circumscription and Its Relation to Logic Programming with Negation (JHY, LL), pp. 291–309.
- ALP-1988-You #equation
- Solving Equations in an Equational Language (JHY), pp. 245–254.
- ICALP-1988-You #equation
- Outer Narrowing for Equational Theories Based on Constructors (JHY), pp. 727–741.
- ICALP-1986-YouS #algorithm #confluence #term rewriting
- E-Unification Algorithms for a Class of Confluent Term Rewriting Systems (JHY, PAS), pp. 454–463.
- POPL-1986-YouS #equation #logic programming
- Equational Logic Programming: An Extension to Equational Programming (JHY, PAS), pp. 209–218.
- POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.
- SLP-1984-SubrahmanyamY84 #concept #evaluation #functional #logic programming
- Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming (PAS, JHY), pp. 144–153.