pith. sign in

Jia-Huai You

Identifiers

  • name variant Jia-Huai You 0.60 · backfill

Papers (15)

  1. Characterization of Glue Variables in CDCL SAT Solving cs.AI · 2019 · author #3
  2. Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases cs.AI · 2017 · author #3
  3. Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering cs.AI · 2016 · author #3
  4. Existential Rule Languages with Finite Chase: Complexity and Expressiveness cs.AI · 2014 · author #3
  5. A Well-Founded Semantics for FOL-Programs cs.PL · 2014 · author #2
  6. Embedding Description Logic Programs into Default Logic cs.AI · 2011 · author #2
  7. Relating Weight Constraint and Aggregate Programs: Semantics and Representation cs.LO · 2011 · author #2
  8. Loop Formulas for Description Logic Programs cs.AI · 2010 · author #2
  9. Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms cs.AI · 2009 · author #2
  10. Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms cs.LO · 2005 · author #2
  11. Recycling Computed Answers in Rewrite Systems for Abduction cs.AI · 2004 · author #2
  12. A Dynamic Approach to Characterizing Termination of General Logic Programs cs.LO · 2002 · author #2
  13. Verifying Termination of General Logic Programs with Concrete Queries cs.AI · 2000 · author #3
  14. Linear Tabulated Resolution Based on Prolog Control Strategy cs.AI · 2000 · author #3
  15. SLT-Resolution for the Well-Founded Semantics cs.AI · 2000 · author #3

Mentions

  • 1111.1486 #2 · backfill · confidence 0.70 Jia-Huai You
  • 1105.3414 #2 · backfill · confidence 0.70 Jia-Huai You
  • 1007.4040 #2 · backfill · confidence 0.70 Jia-Huai You
  • 0904.4727 #2 · backfill · confidence 0.70 Jia-Huai You

Frequent Coauthors