J. You, L. Yuan, R. Goebel. "Regular extension semantics and disjunctive Eshghi-Kowalski procedure." Proc. JICSLP'98 , Manchester, UK, June 1998, pp 175-189.
L. Yuan, J. You, R. Goebel. "Disjunctive logic programming and possible model semantics." In LNAI 1441 eds. W. Wobcke, M. Pagnucco, and C. Zhang, 1998, pp 6079.
L. Yuan and J. You "Coherence approach to logic program revision.
" IEEE TKDE, Vol 10(1), Jan. 1998, pp 108-119.
J. You, L. Yuan, R. Goebel. "An abductive semantics for disjunctive logic programs and its proof procedure." In Proc. 17th FST & TCS (Foundations of Software Technology and Theoretical Computer Science), LNCS 1346, pp 138-153, Kharagpur, India, Dec 1997.
X. Wang, J. You, L. Yuan. "A default interpretation of defeasible networks." IJCAI '97, pp 156-162, Nagoya, Japan, Aug 1997.
J. You, X. Wang, L. Yuan. "Disjunctive logic programming as constrained inferences." Proc. 14th ICLP , Leuven, Belgium, Lee Naish (ed.) pp 361-375, MIT Press, July 1997.
X. Wang, J. You, L. Yuan. "On confluence property of active databases with meta-rules." In Proc. 3rd International Workshop on Rules in Database Systems, RIDS'97 , June 1997, LNCS 1312, Springer, Skovde Sweden pp 118-132.
X. Wang, J. You, L. Yuan. "Logic programming without default negation revisited." Proc. IEEE International Conference on Intelligent Processing Systems '97, ICIPS97, pp 1169-1174, Beijing, PRC, Oct. 1997
J. You, R. Cartwright, M. Li. "Iterative belief revision in extended logic programming." TCS , 170(1-2), pp 383-406, Elsevier, December, 1996.
X. Wang, J. You, L. Yuan. "Circumscription by inference rules with priority." Proc. 12th ECAI, pp 110-115, Aug. 1996.
X. Wang, J. You, L. Yuan. "Nonmonotonic reasoning by monotonic inferences with priority constraints." In Nonmonotonic Extensions of Logic Programming , LNAI 1216 , J. Dix, P. Pereira, and T. Przymusinski (des), pp 91-109.
J. You and L.Yuan. "On the equivalence of semantics for normal logic programs." JLP, 22(3): 211-222, March 1995. (Also in the informal proceedings of the 1993 ILPS Post-Conf. Workshop on LP with Incomplete Information, Baral and Gelfond organizers.)
J. You and L. Yuan. "Logic programming with assumption denial." In Nonmonotonic Extensions of Logic Programming, LNAI 927 , pp 85-100, editors: J. Dix, P. Pereira, and T. Przymusinski, 1995.
J. You, S. Ghosh, L. Yuan, R. Goebel. "An introspective framework for paraconsistent logic programs." Proc. ILPS '95, MIT Press, pp 384-398, Portland, Oregon, Dec. 1995.
L. Yuan and J. You. "On coherence approach to logic program revision." Proc. 12th ICLP, MIT Press, pp 167-181, Kanagawa, Japan, June, 1995.
L. Yuan and J. You "On the extension of logic programming with negation through uniform proofs." Proc. 3rd Int. Conf. on LPNMR, LNAI 928 , pp 231-244, 1995.
Z. Li and J. You. "A proof procedure for the regular semantics of logic programs." In Proc. ICYCS '95, Peking University Press, pp 11-18, Beijing, China, July 1995,
J. You and L. Yuan. "A three-valued semantics for deductive databases and logic programs." JCSS, 49(2): 334-361, 1994.
J. You, L. Li and L. Yuan. "Construction of belief sets for logic programs and default theories." J. Computers and Artificial Intelligence, the Special Issue on Deductive Databases, 13(2-3): 159-178, 1994. (Also presented and published in the informal proceedings of 1993 ICLP Post-Conf. Workshop on Deductive Databases.)
J. You and R. Cartwright. "Tractable argumentation semantics via iterative belief revision." Proc. ILPS, MIT Press, pp 239-254, Itheca, New York, Nov. 1994.
J. You and L. Li. "Two cumulativity results on J- and PJ-default logic." Proc. 10th Canadian Conference on Artificical Intelligence, Banff, Alberta, pp 219-226, May 1994.
L. Yuan and J. You. "Autoepistemic circumscription and logic programming." J. Automated Reasoning, 10: 143-160, 1993.
L. Yuan and J. You. "Knowledge base revision using circumscription." 3rd DOOD, LNCS, pp 444-458, Dec. 1993.
L. Yuan and J. You. "The alternating semantics for default theories and logic programs." In Proc. Australian Joint Conference on AI, pp 77-82, Melbourne, Australia, Nov. 1993.
A. Ghose, P. Hadjinian, A. Sattar, J. You, and R. Goebel. "Iterated belief change: A preliminary report." In Proc. Australian Joint Conference on AI, pp 39-44, Melbourne, Australia, Nov. 1993.
Z. Liu and J. You. "Conflict-free routing for BPC-permutations on synchronous hypercube." Parallel Computing, 19 (1993) 323-342.
Z. Liu and J. You. "An implementation of a non-linear skewing scheme." Information Processing Letters , 42:209-215, 1992.
S. Ghosh and J. You. "A framework for defining the unknown: semantics and applications." In Proc. 5th International Symposium on Artificial Intelligence, pp 249-258, Dec. 1992.
Z. Liu, X. Li and J. You. "On storage scheme for parallel array access." In Proc. 6th ACM International Conference on Supercomputing, pp 282-291, Washington, D.C., July 1992.
Z. Liu, J. You and X. Li. "The odd-even expansion storage scheme and its implementation." In Proc. 6th International Parallel Processing Sympsium, pp 550-557, Beverly Hill, California, March 1992.
J. You. "Unification modulo an equality theory for equational logic programming." JCSS, 42(1):54-75, 1991.
L. Li and J.You. "Making default inferences from logic programs." Computational Intelligence, 7:142-153, 1991.
L. Yuan, J. You and C. Wang. "A proof-theoretic framework for nonmonotonic reasoning and logic programming." In Proc. International Conference on Computing and Information, LNCS 497, pp 699-708, Toronto, Ontario, May 1991.
Z. Liu and J. You. "Realizing frequently used permutations on syncube." In Proc. 20th International Conference on Parallel Processing, pp I-274-278, Austin, Texas, August 1991.
J. You and L. Yuan. "Three valued formalization of logic programming, is it needed." In Proc. 9th ACM Symposium on Principles of Database Systems, pp 172-182, April 1990.
L. Yuan and J. You. "Discriminant circumscription." In Proc. 10th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 472, pp 21-32, Bangalore, India, December 1990.
L. Yuan and J. You. "Justification rules and justified model semantics" In Proc. the Pacific Rim International Conference on Artificial Intelligence, pp 282-287, Nagoya, Japan, Nov. 1990.
Z. Liu and J. You. "Dynamic load balancing on a parallel inference system." In Proc. IEEE Symposium on Parallel and Distributed Processing, pp 58-61, Dec. 1990.
L. Li and J. You. "Translating default theories to logic programs." In Proc. 7th Israeli Conference on Artificial Intelligence and Computer Vision, pp 157-168, Dec. 1990.
J. You. "Enumerating outer narrowing derivations for constructor-based term rewriting systems." J. Symbolic Computation, 7(3):319-342, 1989. Also reprinted as a chapter in the book Unification, Claude Kirchner (editor), Academic Press, 1990.
J. You and L. Li. "Supported circumscription and its relation to logic programming with negation." In Proc. 1989 North American Conference on Logic Programming, pp 291-312. MIT Press, November 1989.
J. You and P.A. Subrahmanyam. "On the completeness of narrowing for E-unification." In LNAI 444, pp 297-306, 1989.
J. You, B. Wong and C. Law. "A new intelligent backtracking scheme for Prolog: a summary of results." In Proc. IEEE International Workshop on Tools for Artificial Intelligence, pp 190-197, Fairfax, Virginia, Oct. 1989.
M. Grunninger and J. You. "Rational reconstruction of metalevel programming in Prolog." In Proc. International Conference on Computing and Information, Toronto, Ontario, pp 389-396, May 1989.
J. You. "Narrowing for equational theories based on constructors." In Proc. 15th International Colloquium on Automata, Languages, and Programming, LNCS 317, pp 727-741, 1988.
J. You. "Solving equations in an equational language." In Proc. First International Workshop on Algebraic and Logic Programming, LNCS 434, pp 245-254, 1988.
J. You and Y. Wang. "Context resolution: a computational mechanism for intelligent backtracking." In Proc. 7th Canadian Conference on Artificial Intelligence, pp 234-241, 1988.
V. Lau and J. You. "Parallelism in nonmonotonic multiple inheritance systems." In Proc. Australia Joint AI Conference , LNAI 406, pp 456-469, 1988.
J. You and P.A. Subrahmanyam. "A class of confluent term rewriting systems and unification." J. Automated Reasoning , 2:391-418, 1986.
J. You and P.A. Subrahmanyam. "E-unification algorithms for a class of confluent term rewriting systems." In Proc. 13th International Colloquium on Automata, Languages, and Programming , LNCS 226, pp 454-463, 1986.
J. You and P.A. Subrahmanyam. "Equational logic programming: an extension to equational programming." Proc. 13th ACM Annual Symposium on Principles of Programming Languages, pp 209-218, 1986.
P.A. Subrahmanyam and J. You. "FUNLOG: a computational model intergrating functional programming and logic programming." In Logic Programming: Relations, Functions, and Equations , D. DeGroot and G. Lindstrom (eds.), pp 157-198, Prentice-Hall, 1986.
P.A. Subrahmanyam and J. You. "On embedding functions into logic." Information Processing Letters , 19:41-46, 1984.
P.A. Subrahmanyam and J. You. "Pattern driven lazy reduction: a unifying evaluation mechanism for functional and logic programming." Proc. 11th ACM Annual Symposium on Principles of Programming Languages, pp 228-234, 1984.
P.A. Subrahmanyam and J. You. "Conceptual basis and evaluation strategies for integrating functional and logic programming." Proc. IEEE International Symposium on Logic Programming, pp 144-153, 1984.