Publications of J.You

Publications of J.You Also see Listing on DBLP Bibliography Server.

G. Liu and J. You Relating weight constraint and aggregate programs: semantics and representation TPLP (to appear)
C. Wang, L. Yuan, J. You, O.R. Zaiane. J. Pen On pruning for top-k ranking in uncertain databases VLDB 2011 (to appear in PVLDB)
Y. Wang, J. You, F. Lin, L. Yuan, M. Zhang Weight constraint programs with evaluable functions AMAI 60(3), pp 341-380, 2011
Q. Yang, J. You, Z. Feng Integrating rules and description logics by circumscription Proc. AAAI 2011.
G . Liu, R. Goebel, T. Janhumam, I. Niemela, J. You Strong equivalence of logic programs with abstract constraint atoms. Proc. LPNMR 2011.
Y. Wang J. You, L. Yuan, Y. Shen Normal description logic programs as default theories. Nonmon@30, Oct. 2010.
Y. Wang J. You, L. Yuan, Y. Shen Loop formulas for description logic programs. ICLP-10.
Y. Shen, J. You, L. Yuan. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. TPLP 9(4) 529-564.
J. You Towards an embedded approach to declarative problem solving in ASP LPNMR-09 (position paper).
Y. Shen, J. You. A default approach to semantics of logic programs with constraint atoms. Proc. LPNMR-09.
Y. Wang, J. You, L. Yuan, M. Zhang. Weight constraint programs with functions. Proc. LPNMR-09.
G. Liu and J. You. Lparse programs revisited: semantics and representation of aggregates. Proc. ICLP-08, pp. 347-361.
J. You and G. Liu. Loop formulas for logic programs with arbitrary constraint atoms. Proc. AAAI-08, pp 584-589.
F. Lin and J. You. Abductive logic programming by nonground rewrite systems. Proc. AAAI-08, pp 480-485.
Y. Shen and J. You. A generalized Gelfond-Lifschitz transformation for logic programs with abstract constraints. Proc. AAAI-07, pp 483-488.
G. Liu and J. You. Adaptive lookahead for answer set computation. Proc. ICTAI-07, pp 230-237.
G Wu, J. You, G. Lin. Quartet based phylogeny reconstruction with answer set programming, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 4(1), pp 139-152, 2007.
J. You, L. Yuan, G. Liu, Y Shen. Logic programs with abstract constraints: representation, disjunction, and complexities. Proc. LPNMR-07 (revised).
F. Lin and J. You. Recycling computed answers in rewrite systems for abduction. ACM TOCL, Volume 8, Issue 2, April 2007.
T. Janhunen, I. Niemela, D. Seipel, P. Simons, J. You. Unfolding partiality and disjunctions in stable model semantics. ACM TOCL, Volume 7, Number 1 (Jan. 2006), pp 1-37. (Preliminary version appeared in KR-2000.)
J. You, G. Liu, L. Yuan, C. Onuczko. Lookahead in Smodels compared to local consistencies in CSP. Proc. LPNMR-05, pp 266-278.
G. Wu, J. You, G Lin. Application of Smodels in quartet based phylogeny construction. Proc. LPNMR-05, pp 269-273, 2005.
Y. Shen, J. You, L. Yuan. Enhancing global SLS-resolution with loop cutting and tabling mechanisms, Theoretical Computer Science 328(3):271-287 (2004).
X. Jia, J. You, L. Yuan. Adding domain dependent knowledge to answer set programs for planning. Proc. ICLP-04 , pp 400-415. Experiments reported in the paper.
J. You, G. Hou. Arc-consistency + unit propagation = lookahead. Proc. ICLP-04 , pp 314-328.
J. You, L Yuan and M. Zhang. On the equivalence between answer sets and models of completion for nested logic programs. Proc. IJCAI-03 , pp 859-865, 2003.
Y. Shen, J. You,. L. Yuan, S. Shen, and Q. Yang . "A dynamic approach to characterizing termination of general logic programs" ACM Transactions on Computational Logic 4(4) 417-430, 2003.
F. Lin and J. You. "Abduction in logic programming: a new definition and an abductive procedure based on rewriting". Artificial Intelligence, 2002. (short version in IJCAI'01, one of the 15 fast track papers selected by PC)
G. Huang, X. Jia, C. Liau, J. You. "Two-literal logic programs and satisfiability representation of stable models: a comparison" Proc. 15th Canadian Conference on AI, May 2002, LNCS, Springer.
Y. Shen, L. Yuan, J. You. "SLT-Resolution for the well-founded semantics." J. Automated Reasoning, 28(1) 53-97, Jan. 2002.
J. You, X. Wang, L. Yuan. "Nonmonotonic reasoning as prioritized argumentation." IEEE TKDE, Nov/Dec Vol 13(6) pp 968-979, 2001.
N. Zhou, Y. Shen, L. Yuan, J. You. "Implementation of a linear tabling mechanism". The Journal of Functional and Logic Programming, Vol 2001(10), Oct. 2001.
Y. Shen, L. Yuan, J. You, N. Zhou. "Tabulated resolution based on Prolog control strategy". TPLP 1(1), pp 71-122 Jan 2001.
Y. Shen, L. Yuan, J. You. Loop checks for logic programs with functions. Theoretical Computer Science, 266(1-2): 41-461, 2001.
J. You, L. Yuan, R. Goebel. An abductive approach to disjunctive logic programming. J. Logic Programming, Special Issue on Abduction, 44(1-3): 101-127, July 2000.
N. Zhou, Y. Shen, L. Yuan, J. You. Implementation of a linear tabling mechanism. Proc. PADL-2000 (LNCS 1753) pp 109-123, 2000.
J. You, X. Wang, L. Yuan. "Compiling defeasible inheritance networks to general logic programs." Artificial Intelligence, 113(1-2), pp 247-268, 1999.
Y. Shen, L. Yuan, J. You, N. Zhou. "Linear tabulated resolution for the well-founded semantics." Proc. LPNMR-99 (LNAI 1730) pp 192-205, 1999.

Older papers

1998

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.

1997

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

1996

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.

1995

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,

1994

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.

1993

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.

1992

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.

1991

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.

1990

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.

1989

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.

1988

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.

1986

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.

1984

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.