(Message inbox:8) Received: from einstein.ics.uci.edu by paris.ics.uci.edu id aa10006; 24 Jun 97 11:25 PDT To: csp@einstein.ICS.UCI.EDU Subject: README Date: Tue, 24 Jun 1997 11:25:05 -0700 From: Neha Rawal Message-ID: <9706241125.aa10006@paris.ics.uci.edu> ------------------------------------- Hi, To get any paper you may use my home-page: http://www.ics.uci.edu/~dechter . or access my ftp directory. The list of papers is below. See Instructions below. ftp instructions ================ 1) ftp ics.uci.edu 2) login as anonymous, with your e-address as password 3) cd pub/CSP-repository/papers 4) bin 5) get 6) bye Index of the papers currently stored in the CSP archive. ======================================================== 1) fluents-events-94.ps Temporal Reasoning with Constraints on Fluents and Events by E. Schwalb, K. Kask and R. Dechter. Published in AAAI-94. 2) row-convex.ps On the Minimality and Global Consistency of Row-Convex Constraint Networks by P. van Beek and R. Dechter. To be published in JACM. 3) minimal.ps On Computing Minimal Models by R. Ben-Eliyahu and R. Dechter. To be published in the Anals of Math and AI. 4) dr_KR94.ps Directional Resolution: The Davis-Putnam Procedure, Revisited by R. Dechter and I. Rish. Published in KR94. 5) disj-temp.ps Coping with Disjunctions in Temporal Constraint Satisfaction Problems by E. Schwalb and R. Dechter. Published in AAAI-93. 6) comp-rel-in2-disj.ps Compiling Relational Data into Disjunctive Structure: Empirical Evaluation by R. Dechter and E. Schwalb. Published in Canadian AI-94. 7) proc-TCN.ps Processing Temporal Constraint Networks by E. Schwalb and R. Dechter. A UCI Technical report, 1994. 8) constr-tightness-global-consistency.ps Constraint Tightness versus Global Consistency by P. van Beek and R. Dechter. Published in KR-94. 9) diag-tree-decomp-circuits.ps Diagnosing Tree-Decomposable Circuits by Y. El Fattah and R. Dechter. UC Irvine technical report. A preliminary version appeared in DX-92. 10) dead-end-driven-learning.ps Dead-end Driven Learning by D. Frost and R. Dechter. Published in AAAI-94. 11) search-for-best-search.ps In Search of the Best Constraint Satisfaction Search by D. Frost and R. Dechter. Published in AAAI-94. 12) default-classical-logic.ps Default Reasoning Using Classical Logic by R. Ben-Eliyahu and R. Dechter. To be published in AIJ, 1996. Preliminary version appeared in AAAI-91. 13) prop-sem-disj-logic-prog.ps Propositional Semantics for Disjunctive Logic Programs by Ben-Eliyahu and R. Dechter. Published in Annals of Math and Artificial Intelligence, 1995. 14) self-stab-distr-constr-satisf.ps Self-Stabilizing Distributed Constraint Satisfaction by Z. Collin, R.Dechter and S. Katz. Under review. A preliminary version appeared in IJCAI-91. 15) one-all-solutions.ps Finding All Solutions if You Can Find One by R. Dechter and A. Itai. A UCI Technical Report. 16) struct-algrthms-truth-mainten.ps Structure-Driven Algorithms for Truth Maintenance by R. Dechter and A. Dechter. To appear in AIJ, 1995. Preliminary version appeared in AAAI-88 titled Belief Maintenance in Dynamic Constraint Networks. 17) uncovering-trees-in-constr-networks.ps Uncovering Trees in Constraint Networks by I. Meiri, R. Dechter and J. Pearl. To appear in Artificial Intelligence. 18) gsat-local-consistency.ps GSAT and Local Consistency by K. Kask and R. Dechter. IJCAI-95. gsat.ps GSAT and Local Consistency by K. Kask and R. Dechter. UCI TR 94. 19) connect_energy_min.ps On Improving Connectionist Energy Minimization, by G. Pinkas and R. Dechter. In JAIR, Vol 3, 1995 pp. 223-248. 20) constr-restr-vs-local-global-consist.p Constraint restrictiveness versus local and global consistency, by P. van Beek and R. Dechter. An extended version of 8). Under review. A shorter version appeared in KR-94. 21) diag-tree-decomp-circuits.ps Diagnosing Tree-Decomposable Circuits by Y. El Fattah and R. Dechter. In IJCAI-95. 22) survey.ps Constraint Networks by R. Dechter. A survey of constraint networks that appeared in the Encyclopedia of AI in 1992. 23) inf-inherit-netw-prop-logic-constr-netw-techn.ps Inference in Inheritance Networks using Propositional Logic and Constraint Networks Techniques, by R. Ben-Eliyahu and R. Dechter. Appeared in Canadian AI-92, pp. 183-189. Some of the figures are not included in this file. 24) local-global-relat-consistency.ps Local and Global Relational Consistency, by R. Dechter and P. van Beek. In PC95. 25) proc-disjunct-temp-constr-netw.ps Processing Disjunctions in Temporal Constraint Networks, by E. Schwalb and R. Dechter. UCI technical report September 1995. Under review. A preliminary version appeared in AAAI-93. 26) top-par-time-space-tradeoff.ps Topological Parameters for Time-Space Tradeoff, by R. Dechter. Presented in Math/AI-96 Symposium in Ft. Lauderdale Florida, January 96. 27) comb-qualit-quantit-constr-temp-rea.ps Combining qualitative and quantitative constraints in Temporal Reasoning, by I. Meiri. To appear in AIJ. A preliminary version appeared in AAAI-91 28) bucket-elimination.ps Bucket Elimination : A unifying framework for probabilistic inference, by R. Dechter. Will be published in Proceedings of Uncertainty in AI (UAI-96). 29) top-param-time-space-tradeoff.ps Topological parameters for time-space tradeoff, by R. Dechter. Will be published in Proceedings of Uncertainty in AI (UAI-96). 30) prob-reasn-benchmark-circuits.ps An evaluation of structural parameters for probabilistic reasoning: Results on bendcmark circuits, by Y. El Fattah and R. Dechter. Will be published in Proceedings of Uncertainty in AI (UAI-96). Identifying Independencies in Causal Graphs with Feedback, by J. Pearl and R. Dechter. Will be published in Proceedings of Uncertainty in AI (UAI-96). 32) local-global-rel-consistency.ps Local and Global Relational Consistency, by R. Dechter and P. van Beek. Will be published in Theoretical Computer Science. 33) dan-CP96-full.ps Looking at Full Looking Ahead, by D. Frost and R. Dechter. Full version of the paper. Published in CP96. 34) dan-CP96-abstract.ps Looking at Full Looking Ahead, by D. Frost and R. Dechter. Abstract, published in CP96.