You, Jia-Huai - Department of Computing Science, University of Alberta

Advanced Search

You, Jia-Huai - Department of Computing Science, University of Alberta

Regular Extension Semantics and Disjunctive EshghiKowalski Procedure
TwoLiteral Logic Programs and Satisfiability Representation of Stable Models: A Comparison
Nonmonotonic Reasoning by Monotonic Inferences with Priority Constraints
J. LOGIC PROGRAMMING 1995:22(3):2092191--679 1 On the Equivalence of Semantics for Normal
Nonmonotonic Reasoning as Prioritized Argumenta J. You 1 , X. Wang, and L.Y. Yuan
Towards an Embedded Approach to Declarative Problem Solving in ASP
THIS IS A PRE-PRINT OF THE PAPER THAT APPEARED IN J. LOGIC PROGRAMMING 44(1-3) 101-127, 2000 1 An Abductive Approach to Disjunctive Logic
Disjunctive Logic Programming as Constrained Inferences
Under consideration for publication in Theory and Practice of Logic Programming 1 Relating Weight Constraint and Aggregate
On Confluence Property of Active Databases with MetaRules
Compiling Defeasible Inheritance Networks to General Logic Programs 1
Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin
ArcConsistency + Unit Propagation = Lookahead JiaHuai You and Guiwen Hou
Iterative Belief Revision in Extended Logic Programming 1
Adaptive Lookahead for Answer Set Computation Guohua Liu and Jia-Huai You
Application of Smodels in Quartet Based Phylogeny Construction
SLTResolution for the WellFounded Semantics YiDong Shen \Lambda
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
Quartet Based Phylogeny Reconstruction with Answer Set Programming
Under consideration for publication in Theory and Practice of Logic Programming 1 Linear Tabulated Resolution Based on Prolog
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting
Adding Domain Dependent Knowledge into Answer Set Programs for Planning
arXiv:cs.LO/0204031 A Dynamic Approach to Characterizing
Normal Description Logic Programs as Default Theories Yisong Wang1
Under consideration for publication in Theory and Practice of Logic Programming 1 Loop Formulas for Description Logic Programs
A Default Approach to Semantics of Logic Programs with Constraint Atoms
Weight Constraint Programs with Functions Yisong Wang1,2
Lparse Programs Revisited: Semantics and Representation of Aggregates
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms Jia-Huai You and Guohua Liu
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints
Logic Programs with Abstract Constraints: Representation, Disjunction and Complexities1
Lookahead in Smodels Compared to Local Consistencies Jia-Huai You, Guohua Liu, Li Yan Yuan, Curtis Onuczko
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs
Recycling Computed Answers in Rewrite Systems for Abduction
Linear Tabulated Resolution for the WellFounded Semantics
Strong Equivalence of Logic Programs with Abstract Constraint Atoms