BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: You:Jia=Huai

Contributed to:

SIGMOD 20152015
CIKM 20142014
LOPSTR 20142014
ICLP 20132013
ICLP 20122012
VLDB 20112011
ICLP 20102010
ICLP 20082008
ICLP 20042004
KR 20002000
PADL 20002000
ICLP 19991999
JICSLP 19981998
ICLP 19971997
ICLP 19951995
ILPS 19951995
ILPS 19941994
ILPS 19931993
PODS 19901990
NACLP 19891989
ALP 19881988
ICALP 19881988
ICALP 19861986
POPL 19861986
POPL 19841984
SLP 19841984

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.