Journal of Artificial Intelligence Complete Table of Contents Volume 1 Wellman, M.P. (1993) "A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems", Volume 1, pages 1-23. PostScript: volume1/wellman93a.ps (348K) PDF: volume1/wellman93a.pdf (265K) Ginsberg, M.L. (1993) "Dynamic Backtracking", Volume 1, pages 25-46. PostScript: volume1/ginsberg93a.ps (211K) Online Appendix: volume1/ginsberg93a-appendix.lisp (7K), Crossword data PDF: volume1/ginsberg93a.pdf (244K) Gent, I.P. and Walsh, T. (1993) "An Empirical Analysis of Search in GSAT", Volume 1, pages 47-59. PostScript: volume1/gent93a.ps (500K) PDF: volume1/gent93a.pdf (234K) Schlimmer, J.C. and Hermens, L.A. (1993) "Software Agents: Completing Patterns and Constructing User Interfaces", Volume 1, pages 61-89. PostScript: volume1/schlimmer93a.ps (1.2 M) compressed, volume1/schlimmer93a.ps.Z (278K) On-line Appendix: volume1/schlimmer93a-appendix.hqx (1.3M), Quicktime Demo PDF: volume1/schlimmer93a.pdf (160K) Bergadano, F., Gunetti, D. and Trinchero, U. (1993) "The Difficulties of Learning Logic Programs with Cut", Volume 1, pages 91-107. PostScript: volume1/bergadano93a.ps (185K) PDF: volume1/bergadano93a.pdf (214K) Buchheit, M., Donini, F.M. and Schaerf, A. (1993) "Decidable Reasoning in Terminological Knowledge Representation Systems", Volume 1, pages 109-138. PostScript: volume1/buchheit93a.ps (311K) PDF: volume1/buchheit93a.pdf (336K) Nilsson, N. (1994) "Teleo-Reactive Programs for Agent Control", Volume 1, pages 139-158. PostScript: volume1/nilsson94a.ps (477K) compressed, volume1/nilsson94a.ps.Z (155K) PDF: volume1/nilsson94a.pdf (259K) Koppel, M., Feldman R. and Segre, A.M. (1994) "Bias-Driven Revision of Logical Domain Theories", Volume 1, pages 159-208. PostScript: volume1/koppel94a.ps (465K) compressed, volume1/koppel94a.ps.Z (203K) PDF: volume1/koppel94a.pdf (257K) Ling, C.X. (1994) "Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist Models", Volume 1, pages 209-229. PostScript: volume1/ling94a.ps (247K) Online Appendix: volume1/ling-appendix.Z (109K) data file, compressed PDF: volume1/ling94a.pdf (268K) Cook, D.J. and Holder, L.B. (1994) "Substructure Discovery Using Minimum Description Length and Background Knowledge", Volume 1, pages 231-255. PostScript: volume1/cook94a.ps (750K) compressed, volume1/cook94a.ps.Z (266K) Online Appendix: volume1/cook94a-appendix.tar.Z (36K), SUBDUE source code PDF: volume1/cook94a.pdf (285K) Murphy, P.M. and Pazzani, M.J. (1994) "Exploring the Decision Forest: An Empirical Investigation of Occam's Razor in Decision Tree Induction", Volume 1, pages 257-275. PostScript: volume1/murphy94a.ps (868K) compressed, volume1/murphy94a.ps.Z (215K) PDF: volume1/murphy94a.pdf (480K) Borgida, A. and Patel-Schneider, P.F. (1994) "A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic", Volume 1, pages 277-308. PostScript: volume1/borgida94a.ps (319K) PDF: volume1/borgida94a.pdf (349K) Sebastiani, R. (1994) "Applying GSAT to Non-Clausal Formulas" (Research Note), Volume 1, pages 309-314. PostScript: volume1/sebastiani94a.ps (144K) PDF: volume1/sebastiani94a.pdf (175K) Volume 2 Murthy, S.K., Kasif, S. and Salzberg, S. (1994) "A System for Induction of Oblique Decision Trees", Volume 2, pages 1-32. PostScript: volume2/murthy94a.ps (475K) Online Appendix: volume2/murthy94a-appendix.tar.Z (297K), OC1 source code PDF: volume2/murthy94a.pdf (373K) Grove, A.J., Halpern, J.Y. and Koller, D. (1994) "Random Worlds and Maximum Entropy", Volume 2, pages 33-88. PostScript: volume2/grove94a.ps (624K) compressed, volume2/grove94a.ps.Z (243K) PDF: volume2/grove94a.pdf (2.6M) Kitani, T., Eriguchi, Y. and Hara, M. (1994) "Pattern Matching and Discourse Processing in Information Extraction from Japanese Text", Volume 2, pages 89-110. PostScript: volume2/kitani94a.ps (465K) PDF: volume2/kitani94a.pdf (547K) Safra, S. and Tennenholtz, M. (1994) "On Planning while Learning", Volume 2, pages 111-129. PostScript: volume2/safra94a.ps (202K) PDF: volume2/safra94a.pdf (733K) Soderland, S. and Lehnert. W. (1994) "Wrap-Up: a Trainable Discourse Module for Information Extraction", Volume 2, pages 131-158. PostScript: volume2/soderland94a.ps (442K) PDF: volume2/soderland94a.pdf (234K) Buntine, W.L. (1994) "Operations for Learning with Graphical Models", Volume 2, pages 159-225. PostScript: volume2/buntine94a.ps (1.53M) compressed, volume2/buntine94a.ps.Z (568K) PDF: volume2/buntine94a.pdf (2.9M) Minton, S., Bresina, J. and Drummond, M. (1994) "Total-Order and Partial-Order Planning: A Comparative Analysis", Volume 2, pages 227-262. PostScript: volume2/minton94a.ps (520K) Online Appendix: volume2/minton94a-appendix.tar.Z (64K), source code & data HTML: http://www.cs.washington.edu/research/jair/volume2/minton94a-html/paper.html PDF: volume2/minton94a.pdf (391K) Dietterich, T.G. and Bakiri, G. (1995) "Solving Multiclass Learning Problems via Error-Correcting Output Codes", Volume 2, pages 263-286. PostScript: volume2/dietterich95a.ps (265K) PDF: volume2/dietterich95a.pdf (259K) Cichosz, P. (1995) "Truncating Temporal Differences: On the Efficient Implementation of TD(lambda) for Reinforcement Learning", Volume 2, pages 287-318. PostScript: volume2/cichosz95a.ps (313K) PDF: volume2/cichosz95a.pdf (350K) Hanks, S. and Weld, D.S. (1995) "A Domain-Independent Algorithm for Plan Adaptation", Volume 2, pages 319-360. PostScript: volume2/hanks95a.ps (500K) PDF: volume2/hanks95a.ps (234K) Ortega, J. (1995) "On the Informativeness of the DNA Promoter Sequences Domain Theory" (Research Note), Volume 2, pages 361-367. PostScript: volume2/ortega95a.ps (134K) PDF: volume2/ortega95a.pdf (149K) Turney, P.D. (1995) "Cost-Sensitive Classification: Empirical Evaluation of a Hybrid Genetic Decision Tree Induction Algorithm", Volume 2, pages 369-409. PostScript: volume2/turney95a.ps (474K) compressed, volume2/turney95a.ps.Z (183K) HTML: http://www.cs.washington.edu/research/jair/volume2/turney95a-html/title.html PDF: volume2/turney95a.pdf (203K) Donoho, S.K. and Rendell, L.A. (1995) "Rerepresenting and Restructuring Domain Theories: A Constructive Induction Approach", Volume 2, pages 411-446. PostScript: volume2/donoho95a.ps (501K) compressed, volume2/donoho95a.ps.Z (179K) Online Appendix: volume2/donoho94a-appendix.tar.Z (150K), source code & data PDF: volume2/donoho95a.pdf (343K) David, P. (1995) "Using Pivot Consistency to Decompose and Solve Functional CSPs", Volume 2, pages 447-474. PostScript: volume2/david95a.ps (489K) compressed, volume2/david95a.ps.Z (220K) PDF: volume2/david95a.pdf (1.3M) Schaerf, A., Shoham, Y. and Tennenholtz, M. (1995) "Adaptive Load Balancing: A Study in Multi-Agent Learning", Volume 2, pages 475-500. PostScript: volume2/schaerf95a.ps (265K) compressed, volume2/schaerf95a.ps.Z (107K) PDF: volume2/schaerf95a.pdf (286K) Cohen, W.W. (1995a) "Pac-Learning Recursive Logic Programs: Efficient Algorithms", Volume 2, pages 501-539. PostScript: volume2/cohen95a.ps (339K) compressed, volume2/cohen95a.ps.Z (135K) PDF: volume2/cohen95a.pdf (367K) Cohen, W.W. (1995b) "Pac-learning Recursive Logic Programs: Negative Results", Volume 2, pages 541-573. PostScript: volume2/cohen95b.ps (342K) compressed, volume2/cohen95b.ps.Z (136K) PDF: volume2/cohen95b.pdf (375K) Russell, S.J. and Subramanian, D. (1995) "Provably Bounded-Optimal Agents", Volume 2, pages 575-609. PostScript: volume2/russell95a.ps (513K) compressed, volume2/russell95a.ps.Z (195K) PDF: volume2/russell95a.pdf (394K) Volume 3 Mooney, R.J. and Califf, M.E. (1995) "Induction of First-Order Decision Lists: Results on Learning the Past Tense of English Verbs", Volume 3, pages 1-24. PostScript: volume3/mooney95a.ps (252K) compressed, volume3/mooney95a.ps.Z (102K) PDF: volume3/mooney95a.pdf (277K) Veloso, M. and Stone, P. (1995) "FLECS: Planning with a Flexible Commitment Strategy", Volume 3, pages 25-52. PostScript: volume3/veloso95a.ps (294K) compressed, volume3/veloso95a.ps.Z (126K) Online Appendix: volume3/veloso95a-appendix.tar.Z (20K) data file PDF: volume3/veloso95a.pdf (341K) Bergmann, R. and Wilke, W. (1995) "Building and Refining Abstract Planning Cases by Change of Representation Language", Volume 3, pages 53-118. PostScript: volume3/bergmann95a.ps (850K) compressed, volume3/bergmann95a.ps.Z (302K) Online Appendix: volume3/bergmann95a-appendix (11K) data file PDF: volume3/bergmann95a.pdf (586K) Zhao, Q. and Nishida, T. (1995) "Using Qualitative Hypotheses to Identify Inaccurate Data", Volume 3, pages 119-145. PostScript: volume3/zhao95a.ps (626K) compressed, volume3/zhao95a.ps.Z (200K) PDF: volume3/zhao95a.pdf (383K) Giraud-Carrier, C.G. and Martinez, T.R. (1995) "An Integrated Framework for Learning and Reasoning", Volume 3, pages 147-185. Online Appendix: volume3/giraud-carrier95a-appendix.tar (90K) source, data PostScript: volume3/giraud-carrier95a.ps (375K) compressed, volume3/giraud-carrier95a.ps.Z (152K) Woods, K., Cook, D., Hall, L., Bowyer, K. and Stark, L. (1995) "Learning Membership Functions in a Function-Based Object Recognition System", Volume 3, pages 187-222. PostScript: volume3/woods95a.ps (1.4M) compressed, volume3/woods95a.ps.Z (463K) HTML: http://seraphim.csee.usf.edu/omlet/omlet-JAIR.html PDF: volume3/woods95a.pdf (544K) Pinkas, G. and Dechter, R. (1995) "Improving Connectionist Energy Minimization", Volume 3, pages 223-248. PostScript: volume3/pinkas95a.ps (358K) compressed, volume3/pinkas95a.ps.Z (138K) PDF: volume3/pinkas95a.pdf (293K) Bengio, Y. and Frasconi, P. (1995) "Diffusion of Context and Credit Information in Markovian Models", Volume 3, pages 249-270. PostScript: volume3/bengio95a.ps (397K) compressed, volume3/bengio95a.ps.Z (158K) PDF: volume3/bengio95a.pdf (1.2M) Huffman, S.B. and Laird, J.E. (1995) "Flexibly Instructable Agents", Volume 3, pages 271-324. PostScript: volume3/huffman95a.ps (1599K) compressed, volume3/huffman95a.ps.Z (476K) PDF: volume3/huffman95a.pdf (539K) Broggi, A. and Berte, S. (1995) "Vision-Based Road Detection in Automotive Systems: A Real-Time Expectation-Driven Approach", Volume 3, pages 325-348. PostScript: volume3/broggi95a.ps (1762K) compressed, volume3/broggi95a.ps.Z (620K) PDF: volume3/broggi95a.pdf (430K) Khardon, R. (1995) "Translating between Horn Representations and their Characteristic Models", Volume 3, pages 349-372. PostScript: volume3/khardon95a.ps (284K) compressed, volume3/khardon95a.ps.Z (114K) PDF: volume3/khardon95a.pdf (1.0M) Buro, M. (1995) "Statistical Feature Combination for the Evaluation of Game Positions", Volume 3, pages 373-382. PostScript: volume3/buro95a.ps (178K) compressed, volume3/buro95a.ps.Z (80K) PDF: volume3/buro95a.pdf (240K) Weiss, S.M. and Indurkhya, N. (1995) "Rule-based Machine Learning Methods for Functional Prediction", Volume 3, pages 383-403. PostScript: volume3/weiss95a.ps (527K) compressed, volume3/weiss95a.ps.Z (166K) PDF: volume3/weiss95a.pdf (304K) Heckerman, D. and Shachter, R. (1995) "Decision-Theoretic Foundations for Causal Reasoning", Volume 3, pages 405-430. PostScript: volume3/heckerman95a.ps (327K) compressed, volume3/heckerman95a.ps.Z (136K) PDF: volume3/heckerman95a.pdf (307K) Webb, G.I. (1995) "OPUS: An Efficient Admissible Algorithm for Unordered Search", Volume 3, pages 431-465. PostScript: volume3/webb95a.ps (1503K) compressed, volume3/webb95a.ps.Z (769K) PDF: volume3/webb95a.pdf (373K) Idestam-Almquist, P. (1995) "Generalization of Clauses under Implication", Volume 3, pages 467-489. PostScript: volume3/idestam95a.ps (273K) compressed, volume3/idestam95a.ps.Z (101K) PDF: volume3/idestam95a.pdf (1.0M) Volume 4 van Beek, P. and Manchak, D.W. (1996) "The Design and Experimental Analysis of Algorithms for Temporal Reasoning", Volume 4, pages 1-18. PostScript: volume4/vanbeek96a.ps (219K) compressed, volume4/vanbeek96a.ps.Z (90K) HTML: http://www.cs.washington.edu/research/jair/volume4/vanbeek96a-html/paper.html PDF: volume4/vanbeek96a.pdf (228K) Brewka, G. (1996) "Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences", Volume 4, pages 19-36. PostScript: volume4/brewka96a.ps (464K) compressed, volume4/brewka96a.ps.Z (135K) PDF: volume4/brewka96a.pdf (776K) HTML: http://www.cs.washington.edu/research/jair/volume4/brewka96a-html/LPR.html Delcher, A.L., Grove, A.J., Kasif, S. and Pearl, J. (1996) "Logarithmic-Time Updates and Queries in Probabilistic Networks", Volume 4, pages 37-59. PostScript: volume4/delcher96a.ps (277K) compressed, volume4/delcher96a.ps.Z (107K) PDF: volume4/delcher96a.pdf (309K) Saul, L.K., Jaakkola, T. and Jordan, M.I. (1996) "Mean Field Theory for Sigmoid Belief Networks", Volume 4, pages 61-76. PostScript: volume4/saul96a.ps (302K) compressed, volume4/saul96a.ps.Z (123K) PDF: volume4/saul96a.pdf (260K) Quinlan, J.R. (1996) "Improved Use of Continuous Attributes in C4.5", Volume 4, pages 77-90. PostScript: volume4/quinlan96a.ps (414K) compressed, volume4/quinlan96a.ps.Z (124K) PDF: volume4/quinlan96a.pdf (259K) Hogg, T. (1996) "Quantum Computing and Phase Transitions in Combinatorial Search", Volume 4, pages 91-128. PostScript: volume4/hogg96a.ps (565K) compressed, volume4/hogg96a.ps.Z (230K) Online Appendix: volume4/hogg96a-appendix.txt (32K) contains matrix values HTML: http://www.cs.washington.edu/research/jair/volume4/hogg96a-html/quantumHTML.html PDF: volume4/hogg96a.pdf (385K) Cohn, D.A., Ghahramani, Z., and Jordan, M.I. (1996) "Active Learning with Statistical Models", Volume 4, pages 129-145. PostScript: volume4/cohn96a.ps (325K) compressed, volume4/cohn96a.ps.Z (121K) HTML: http://www.cs.washington.edu/research/jair/volume4/cohn96a-html/statmodels.html PDF: volume4/cohn96a.pdf (269K) Fisher, D. (1996) "Iterative Optimization and Simplification of Hierarchical Clusterings", Volume 4, pages 147-178. PostScript: volume4/fisher96a.ps (286K) compressed, volume4/fisher96a.ps.Z (130K) HTML: http://www.cs.washington.edu/research/jair/volume4/fisher96a-html/html-final.html PDF: volume4/fisher96a.pdf (347K) Marchiori, E. (1996) "Practical Methods for Proving Termination of General Logic Programs", Volume 4, pages 179-208. PostScript: volume4/marchiori96a.ps (331K) compressed, volume4/marchiori96a.ps.Z (154K) PDF: volume4/marchiori96a.pdf (1.3M) Walsh, T. (1996) "A Divergence Critic for Inductive Proof", Volume 4, pages 209-235. PostScript: volume4/walsh96a.ps (242K) compressed, volume4/walsh96a.ps.Z (96K) HTML: http://www.cs.washington.edu/research/jair/volume4/walsh96a-html/Final.html PDF: volume4/walsh96a.pdf (282K) Kaelbling, L.P., Littman, M.L., and Moore, A.W. (1996) "Reinforcement Learning: A Survey", Volume 4, pages 237-285. PostScript: volume4/kaelbling96a.ps (903K) compressed, volume4/kaelbling96a.ps.Z (362K) HTML: http://www.cs.washington.edu/research/jair/volume4/kaelbling96a-html/rl-survey.html PDF: volume4/kaelbling96a.pdf (523K) Pryor, L. and Collins, G. (1996) "Planning for Contingencies: A Decision-based Approach", Volume 4, pages 287-339. PostScript: volume4/pryor96a.ps (544K) compressed, volume4/pryor96a.ps.Z (239K) HTML: http://www.cs.washington.edu/research/jair/volume4/pryor96a-html/final-jair.html PDF: volume4/pryor96a.pdf (509K) Nienhuys-Cheng, S.-H. and de Wolf, R. (1996) "Least Generalizations and Greatest Specializations of Sets of Clauses", Volume 4, pages 341-363. PostScript: volume4/cheng96a.ps (281K) compressed, volume4/cheng96a.ps.Z (109K) PDF: volume4/cheng96a.pdf (1.1M) Gratch, J. and Chien, S. (1996) "Adaptive Problem-solving for Large-scale Scheduling Problems: A Case Study", Volume 4, pages 365-396. PostScript: volume4/gratch96a.ps (595K) compressed, volume4/gratch96a.ps.Z (180K) PDF: volume4/gratch96a.pdf (172K) Webb, G.I. (1996) "Further Experimental Evidence against the Utility of Occam's Razor", Volume 4, pages 397-417. PostScript: volume4/webb96a.ps (217K) compressed, volume4/webb96a.ps.Z (89K) Online Appendix: volume4/webb96a-appendix.tar (41K) source code PDF: volume4/webb96a.pdf (250K) Bhansali, S., Kramer, G.A. and Hoar, T.J. (1996) "A Principled Approach Towards Symbolic Geometric Constraint Satisfaction", Volume 4, pages 419-443. PostScript: volume4/bhansali96a.ps (933K) compressed, volume4/bhansali96a.ps.Z (325K) Online Appendix: volume4/bhansali96a-appendix.txt (7K) example plan fragment HTML: http://www.cs.washington.edu/research/jair/volume4/bhansali96a-html/paper.htm PDF: volume4/bhansali96a.pdf (100K) Tadepalli, P. and Natarajan, B.K. (1996) "A Formal Framework for Speedup Learning from Problems and Solutions", Volume 4, pages 445-475. PostScript: volume4/tadepalli96a.ps (333K) compressed, volume4/tadepalli96a.ps.Z (132K) PDF: volume4/tadepalli96a.pdf (1.2M) Brafman, R.I. and Tennenholtz, M. (1996) "On Partially Controlled Multi-Agent Systems", Volume 4, pages 477-507. PostScript: volume4/brafman96a.ps (356K) compressed, volume4/brafman96a.ps.Z (146K) PDF: volume4/brafman96a.pdf (349K) Volume 5 Yip, K. and Zhao, F. (1996) "Spatial Aggregation: Theory and Applications", Volume 5, pages 1-26. PostScript: volume5/yip96a.ps (828K) compressed, volume5/yip96a.ps.Z (248K) PDF: volume5/yip96a.pdf (391K) Ben-Eliyahu, R. (1996) "A Hierarchy of Tractable Subsets for Computing Stable Models", Volume 5, pages 27-52. PostScript: volume5/ben-eliyahu96a.ps (317K) compressed, volume5/ben-eliyahu96a.ps.Z (126K) Litman, D.J. (1996) "Cue Phrase Classification Using Machine Learning", Volume 5, pages 53-94. PostScript: volume5/litman96a.ps (347K) compressed, volume5/litman96a.ps.Z (135K) PDF: volume5/litman96a.pdf (379K) Gerevini, A. and Schubert, L. (1996) "Accelerating Partial-Order Planners: Some Techniques for Effective Search Control and Pruning", Volume 5, pages 95-137. PostScript: volume5/gerevini96a.ps (401K) compressed, volume5/gerevini96a.ps.Z (164K) Online Appendices: volume5/gerevini96a-appendix1 (68K), source code volume5/gerevini96a-appendix2 (47K), domain description PDF: volume5/gerevini96a.pdf (432K) Quinlan, J.R. (1996) "Learning First-Order Definitions of Functions", Volume 5, pages 139-161. PostScript: volume5/quinlan96b.ps (528K) compressed, volume5/quinlan96b.ps.Z (156K) PDF: volume5/quinlan96b.pdf (337K) Zlotkin, G. and Rosenschein, J.S. (1996) "Mechanisms for Automated Negotiation in State Oriented Domains", Volume 5, pages 163-238. PostScript: volume5/zlotkin96a.ps (946K) compressed, volume5/zlotkin96a.ps.Z (374K) PDF: volume5/zlotkin96a.pdf (691K) Helzerman, R.A and Harper, M.P. (1996) "MUSE CSP: An Extension to the Constraint Satisfaction Problem", Volume 5, pages 239-288. PostScript: volume5/helzerman96a.ps (2.1M) compressed, volume5/helzerman96a.ps.Z (439K) HTML: http://www.cs.washington.edu/research/jair/volume5/helzerman96a-html/muse-csp.html PDF: volume5/helzerman96a.pdf (555K) de Campos, L.M. (1996) "Characterizations of Decomposable Dependency Models" (research note), Volume 5, pages 289-300. PostScript: volume5/campos96a.ps (172K) compressed, volume5/campos96a.ps.Z (67K) PDF: volume5/campos96a.pdf (197K) Zhang, N.L. and Poole, D. (1996) "Exploiting Causal Independence in Bayesian Network Inference", Volume 5, pages 301-328. PostScript: volume5/zhang96a.ps (276K) compressed, volume5/zhang96a.ps.Z (113K) HTML: http://www.cs.ubc.ca/spider/poole/papers/ZhangPoole96/ZhangPoole96.html PDF: volume5/zhang96a.pdf (260K) Schlimmer, J.C. and Wells, P.C. (1996) "Quantitative Results Comparing Three Intelligent Interfaces for Information Capture: A Case Study Adding Name Information into an Electronic Personal Organizer", Volume 5, pages 329-349. PostScript: volume5/schlimmer96a.ps (2.6M) compressed, volume5/schlimmer96a.ps.Z (236K) Online Appendix: volume5/schlimmer96a-appendix.hqx (45K) Source code, bin hexed HTML: http://www.cs.washington.edu/research/jair/volume5/schlimmer96a-html/schlimmer96-0.html PDF: volume5/schlimmer96a.pdf (177K) Volume 6 Wilson, D.R. and Martinez, T.R. (1997) "Improved Heterogeneous Distance Functions", Volume 6, pages 1-34. PostScript: volume6/wilson97a.ps (536K) compressed, volume6/wilson97a.ps.Z (192K) HTML: http://axon.cs.byu.edu/~randy/jair/wilson1.html PDF: volume6/wilson97a.pdf (219K) Wermter, S. and Weber, V. (1997) "SCREEN: Learning a Flat Syntactic and Semantic Spoken Language Analysis Using Artificial Neural Networks", Volume 6, pages 35-85. PostScript: volume6/wermter97a.ps (1.1M) compressed, volume6/wermter97a.ps.Z (290K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume6/wermter97a-html/abstract.html PDF: volume6/wermter97a.pdf (533K) De Giacomo, G. and Lenzerini, M. (1997) "A Uniform Framework for Concept Definitions in Description Logics", Volume 6, pages 87-110. PostScript: volume6/degiacomo97a.ps (603K) compressed, volume6/degiacomo97a.ps.Z (174K) PDF: volume6/degiacomo97a.pdf (386K) Agre, P. and Horswill, I. (1997) "Lifeworld Analysis", Volume 6, pages 111-145. PostScript: volume6/agre97a.ps (548K) compressed, volume6/agre97a.ps.Z (243K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume6/agre97a-html/lifeworlds.html PDF: volume6/agre97a.pdf (447K) Darwiche, A. and Provan, G. (1997) "Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference", Volume 6, pages 147-176. PostScript: volume6/darwiche97a.ps (412K) compressed, volume6/darwiche97a.ps.Z (162K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume6/darwiche97a-html/jair-f.html PDF: volume6/darwiche97a.pdf (337K) Opitz, D.W. and Shavlik, J.W. (1997) "Connectionist Theory Refinement: Genetically Searching the Space of Network Topologies", Volume 6, pages 177-209. PostScript: volume6/opitz97a.ps (578K) compressed, volume6/opitz97a.ps.Z (267K) HTML: http://www.cs.umt.edu/CS/FAC/OPITZ/JAIR97/main.html PDF: volume6/opitz97a.pdf (436K) Jonsson, P. and Drakengren, T. (1997) "A Complete Classification of Tractability in RCC-5", Volume 6, pages 211-221. PostScript: volume6/jonsson97a.ps (168K) compressed, volume6/jonsson97a.ps.Z (69K) PDF: volume6/jonsson97a.pdf (205K) Online Appendix: volume6/jonsson97a-appendix.tar (39K) Source code Pollack, M.E., Joslin, D. and Paolucci, M.. (1997) "Flaw Selection Strategies for Partial-Order Planning", Volume 6, pages 223-262. PostScript: volume6/pollack97a.ps (1.1M) compressed, volume6/pollack97a.ps.Z (387K) Online Appendix: volume6/pollack97a-appendix.sit.hqx (80K) Excel Spreadsheet, Experimental Data HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume6/pollack97a-html/base.html PDF: volume6/pollack97a.pdf (592K) Volume 7 Halpern, J.Y. (1997) "Defining Relative Likelihood in Partially-Ordered Preferential Structures", Volume 7, pages 1-24. PostScript: volume7/halpern97a.ps (573K) compressed, volume7/halpern97a.ps.Z (173K) PDF: volume7/halpern97a.pdf (395K) Drakengren, T. and Jonsson, P. (1997) "Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time", Volume 7, pages 25-45. PostScript: volume7/drakengren97a.ps (245K) compressed, volume7/drakengren97a.ps.Z (97K) PDF: volume7/drakengren97a.pdf (958K) Online Appendix: volume7/drakengren97a-appendix.tar (359K) tar file containing algebras Mammen, D.L. and Hogg, T. (1997) "A New Look at the Easy-Hard-Easy Pattern of Combinatorial Search Difficulty", Volume 7, pages 47-66. PostScript: volume7/mammen97a.ps (563K) compressed, volume7/mammen97a.ps.Z (175K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume7/mammen97a-html/ehe3.html PDF: volume7/mammen97a.pdf (277K) Nevill-Manning, C.G. and Witten, I.H. (1997) "Identifying Hierarchical Structure in Sequences: A linear-time algorithm", Volume 7, pages 67-82. PostScript: volume7/nevill97a.ps (287K) compressed, volume7/nevill97a.ps.Z (118K) Online Appendix: volume7/nevill97a-appendix.html, WWW Interface to SEQUITUR HTML: http://www.cs.waikato.ac.nz/sequitur/jair PDF: volume7/nevill97a.pdf (106K) Tambe, M. (1997) "Towards Flexible Teamwork", Volume 7, pages 83-124. PostScript: volume7/tambe97a.ps (940K) compressed, volume7/tambe97a.ps.Z (223K) PDF: volume7/tambe97a.pdf (1.7M) Online Appendix: http://www.isi.edu/soar/tambe/steam/steam.html, STEAM 1.0 Leherte, L., Glasgow, J., Baxter, K., Steeg, E. and Fortier, S. (1997) "Analysis of Three-Dimensional Protein Images", Volume 7, pages 125-159. PostScript: volume7/leherte97a.ps (3.1M) compressed, volume7/leherte97a.ps.Z (525K) PDF: volume7/leherte97a.pdf (471K) Ihrig, L.H. and Kambhampati, S. (1997) "Storing and Indexing Plan Derivations through Explanation-based Analysis of Retrieval Failures", Volume 7, pages 161-198. PostScript: volume7/ihrig97a.ps (1.0M) compressed, volume7/ihrig97a.ps.Z (350K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume7/ihrig97a-html/ihrig-kambh97.html PDF: volume7/ihrig97a.pdf (496K) Zhang, N.L. and Liu, W. (1997) "A Model Approximation Scheme for Planning in Partially Observable Stochastic Domains", Volume 7, pages 199-230. PostScript: volume7/zhang97a.ps (399K) compressed, volume7/zhang97a.ps.Z (184K) PDF: volume7/zhang97a.pdf (405K) Monderer, D. and Tennenholtz, M. (1997) "Dynamic Non-Bayesian Decision Making", Volume 7, pages 231-248. PostScript: volume7/monderer97a.ps (238K) compressed, volume7/monderer97a.ps.Z (95K) PDF: volume7/monderer97a.pdf (269K) Frank, J., Cheeseman, P. and Stutz, J. (1997) "When Gravity Fails: Local Search Topology", Volume 7, pages 249-281. PostScript: volume7/frank97a.ps (612K) compressed, volume7/frank97a.ps.Z (186K) PDF: volume7/frank97a.pdf (409K) Kaindl, H. and Kainz, G. (1997) "Bidirectional Heuristic Search Reconsidered", Volume 7, pages 283-317. PostScript: volume7/kaindl97a.ps (858K) compressed, volume7/kaindl97a.ps.Z (338K) PDF: volume7/kaindl97a.pdf (386K) Volume 8 Engelfriet, J. (1998) "Monotonicity and Persistence in Preferential Logics", Volume 8, pages 1-21. PostScript: volume8/engelfriet98a.ps (266K) compressed, volume8/engelfriet98a.ps.Z (121K) PDF: volume8/engelfriet98a.pdf (310K) Gogic, G., Papadimitriou, C.H., and Sideri, M. (1998) "Incremental Recompilation of Knowledge", Volume 8, pages 23-37. PostScript: volume8/gogic98a.ps (189K) compressed, volume8/gogic98a.ps.Z (77K) PDF: volume8/gogic98a.pdf (659K) Argamon-Engelson, S. and Koppel, M. (1998) "Tractability of Theory Patching", Volume 8, pages 39-65. PostScript: volume8/argamon98a.ps (282K) compressed, volume8/argamon98a.ps.Z (128K) PDF: volume8/argamon98a.pdf (1.1M) Moore, A. and Lee, M.S. (1998) "Cached Sufficient Statistics for Efficient Machine Learning with Large Datasets", Volume 8, pages 67-91. PostScript: volume8/moore98a.ps (303K) compressed, volume8/moore98a.ps.Z (122K) PDF: volume8/moore98a.pdf (300K) Srivastava, B. and Kambhampati, S. (1998) "Synthesizing Customized Planners from Specifications", Volume 8, pages 93-128. PostScript: volume8/srivastava98a.ps (750K) compressed, volume8/srivastava98a.ps.Z (221K) PDF: volume8/srivastava98a.pdf (478K) Fuernkranz, J. (1998) "Integrative Windowing", Volume 8, pages 129-164. PostScript: volume8/fuernkranz98a.ps (455K) compressed, volume8/fuernkranz98a.ps.Z (1661K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume8/fuernkranz98a-html/fuernkranz98a.html PDF: volume8/fuernkranz98a.pdf (383K) Darwiche, A. (1998) "Model-Based Diagnosis using Structured System Descriptions", Volume 8, pages 165-222. PostScript: volume8/darwiche98a.ps (1.1M) compressed, volume8/darwiche98a.ps.Z (327K) PDF: volume8/darwiche98a.pdf (2.6M) Finkelstein, L. and Markovitch, S. (1998) "A Selective Macro-learning Algorithm and its Application to the NxN Sliding-Tile Puzzle", Volume 8, pages 223-263. PostScript: volume8/finkelstein98a.ps (516K) compressed, volume8/finkelstein98a.ps.Z (209K) Online Appendix: volume8/finkelstein98a-appendix.html (10K) Source code HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume8/finkelstein98a-html/hillary.html PDF: volume8/finkelstein98a.pdf (1.6M) Volume 9 Littman, M.L., Goldsmith, J. and Mundhenk M. (1998) "The Computational Complexity of Probabilistic Planning", Volume 9, pages 1-36. PostScript: volume9/littman98a.ps (975K) compressed, volume9/littman98a.ps.Z (324K) PDF: volume9/littman98a.pdf (488K) Ledeniov, O. and Markovitch, S. (1998) "The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference", Volume 9, pages 37-97. PostScript: volume9/ledeniov98a.ps (644K) compressed, volume9/ledeniov98a.ps.Z (253K) PDF: volume9/ledeniov98a.pdf (600K) Backstrom, C. (1998) "Computational Aspects of Reordering Plans", Volume 9, pages 99-137. PostScript: volume9/backstrom98a.ps (815K) compressed, volume9/backstrom98a.ps.Z (241K) PDF: volume9/backstrom98a.pdf (653K) Cook, D.J. and Varnell, R.C. (1998) "Adaptive Parallel Iterative Deepening Search", Volume 9, pages 139-165. PostScript: volume9/cook98a.ps (628K) compressed, volume9/cook98a.ps.Z (196K) Online Appendix: volume9/cook98a-appendix.tar (225K) Eureka 2.0 Source code HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume9/cook98a-html/eureka.html PDF: volume9/cook98a.pdf (276K) Ruiz, A., Lopez-de-Teruel, P.E. and Garrido, M.C. (1998) "Probabilistic Inference from Arbitrary Uncertainty using Mixtures of Factorized Generalized Gaussians", Volume 9, pages 167-217. PostScript: volume9/ruiz98a.ps (3.5M) compressed, volume9/ruiz98a.ps.Z (1.1M) PDF: volume9/ruiz98a.pdf (753K) Vandegriend, B. and Culberson, J. (1998) "The Gn,m Phase Transition is Not Hard for the Hamiltonian Cycle Problem", Volume 9, pages 219-245. PostScript: volume9/vandegriend98a.ps (574K) compressed, volume9/vandegriend98a.ps.Z (180K) Online Appendix1: volume9/vandegriend98a-appendix1.tar (368K) source code for HC program Online Appendix2: volume9/vandegriend98a-appendix2/append.html (3K) HTML illustration of artifact PDF: volume9/vandegriend98a.pdf (394K) Wiebe, J.M., O'Hara, T.P., Ohrstrom-Sandgren, T. and McKeever, K.J. (1998) "An Empirical Approach to Temporal Reference Resolution", Volume 9, pages 247-293. PostScript: volume9/wiebe98a.ps (726K) compressed, volume9/wiebe98a.ps.Z (226K) Online Appendix1: volume9/wiebe98a-appendix.ps (353K) Temporal reference resolution algorithm HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume9/wiebe98a-html/journal98.html PDF: volume9/wiebe98a.pdf (483K) Mazer, E., Ahuactzin, J.M., and Bessiere, P. (1998) "The Ariadne's Clew Algorithm", Volume 9, pages 295-316. PostScript: volume9/mazer98a.ps (1.29M) compressed, volume9/mazer98a.ps.Z (288K) Online Appendix1: volume9/mazer98a-appendix1.tar (421K) Source code Online Appendix2: volume9/mazer98a-appendix2.tar (12.9M) Quicktime movies HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume9/mazer98a-html/ariane.html PDF: volume9/mazer98a.pdf (825K) Di Caro, G. and Dorigo, M. (1998) "AntNet: Distributed Stigmergetic Control for Communications Networks", Volume 9, pages 317-365. PostScript: volume9/dicaro98a.ps (1.22M) compressed, volume9/dicaro98a.ps.Z (390K) PDF: volume9/dicaro98a.pdf (704K) Fox, M. and Long, D. (1998) "The Automatic Inference of State Invariants in TIM", Volume 9, pages 367-421. PostScript: volume9/fox98a.ps (423K) compressed, volume9/fox98a.ps.Z (173K) Online Appendix1: volume9/fox98a-appendix.tar (266K) TIM code and examples PDF: volume9/fox98a.pdf (433K) Rintanen, J. (1998) "Complexity of Prioritized Default Logics", Volume 9, pages 423-461. PostScript: volume9/rintanen98a.ps (474K) compressed, volume9/rintanen98a.ps.Z (211K) PDF: volume9/rintanen98a.pdf (1.7M) Artale, A. and Franconi, E. (1998) "A Temporal Description Logic for Reasoning about Actions and Plans", Volume 9, pages 463-506. PostScript: volume9/artale98a.ps (1.0M) compressed, volume9/artale98a.ps.Z (292K) PDF: volume9/artale98a.pdf (699K) Volume 10 Davis, E. (1999) "Order of Magnitude Comparisons of Distance", Volume 10, pages 1-38. PostScript: volume10/davis99a.ps (416K) compressed, volume10/davis99a.ps.Z (188K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume10/davis99a-html/om-dist.jair.html PDF: volume10/davis99a.pdf (461K) Hogg, T. (1999) "Solving Highly Constrained Search Problems with Quantum Computers", Volume 10, pages 39-66. PostScript: volume10/hogg99a.ps (252K) compressed, volume10/hogg99a.ps.Z (116K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume10/hogg99a-html/paper.html PDF: volume10/hogg99a.pdf (1076K) Halpern, J.Y. (1999) "A Counterexample to Theorems of Cox and Fine", Volume 10, pages 67-85. PostScript: volume10/halpern99a.ps (501K) compressed, volume10/halpern99a.ps.Z (148K) PDF: volume10/halpern99a.pdf (257K) Long, D. and Fox, M. (1999) "Efficient Implementation of the Plan Graph in STAN", Volume 10, pages 87-115. PostScript: volume10/long99a.ps (453K) compressed, volume10/long99a.ps.Z (179K) Online Appendix1: volume10/long99a-appendix.tar (931K) Code and data PDF: volume10/long99a.pdf (422K) Friedman, N. and Halpern, J.Y. (1999) "Modeling Belief in Dynamic Systems, Part II: Revision and Update", Volume 10, pages 117-167. PostScript: volume10/friedman99a.ps (552K) compressed, volume10/friedman99a.ps.Z (214K) PDF: volume10/friedman99a.pdf (541K) Fuchs, D. and Fuchs, M. (1999) "Cooperation between Top-Down and Bottom-Up Theorem Provers", Volume 10, pages 169-198. PostScript: volume10/fuchs99a.ps (308K) compressed, volume10/fuchs99a.ps.Z (134K) PDF: volume10/fuchs99a.pdf (333K) Lukasiewicz, T. (1999) "Probabilistic Deduction with Conditional Constraints over Basic Events", Volume 10, pages 199-241. PostScript: volume10/lukasiewicz99a.ps (768K) compressed, volume10/lukasiewicz99a.ps.Z (290K) PDF: volume10/lukasiewicz99a.pdf (674K) Cohen, W.W., Schapire, R.E., and Singer, Y. (1999) "Learning to Order Things", Volume 10, pages 243-270. PostScript: volume10/cohen99a.ps (512K) compressed, volume10/cohen99a.ps.Z (229K) PDF: volume10/cohen99a.pdf (445K) Ting, K.M. and Witten, I.H. (1999) "Issues in Stacked Generalization", Volume 10, pages 271-289. PostScript: volume10/ting99a.ps (469K) compressed, volume10/ting99a.ps.Z (140K) PDF: volume10/ting99a.pdf (245K) Jaakkola, T.S. and Jordan, M.I. (1999) "Variational Probabilistic Inference and the QMR-DT Network", Volume 10, pages 291-322. PostScript: volume10/jaakkola99a.ps (894K) compressed, volume10/jaakkola99a.ps.Z (249K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume10/jaakkola99a-html/paper.html PDF: volume10/jaakkola99a.pdf (695K) Rintanen, J. (1999) "Constructing Conditional Plans by a Theorem-Prover", Volume 10, pages 323-352. PostScript: volume10/rintanen99a.ps (354K) compressed, volume10/rintanen99a.ps.Z (161K) PDF: volume10/rintanen99a.pdf (1.1M) Joslin, D.E. and Clements, D.P. (1999) "Squeaky Wheel Optimization", Volume 10, pages 353-373. PostScript: volume10/joslin99a.ps (474K) compressed, volume10/joslin99a.ps.Z (148K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume10/joslin99a-html/swo.html PDF: volume10/joslin99a.pdf (254K) Chien, S., Stechert, A. and Mutz, D. (1999) "Efficient Heuristic Hypothesis Ranking", Volume 10, pages 375-397. PostScript: volume10/chien99a.ps (709K) compressed, volume10/chien99a.ps.Z (263K) PDF: volume10/chien99a.pdf (460K) Borgida, A. (1999) "Extensible Knowledge Representation: the Case of Description Reasoners", Volume 10, pages 399-434. PostScript: volume10/borgida99a.ps (1099K) compressed, volume10/borgida99a.ps.Z (609K) PDF: volume10/borgida99a.pdf (534K) Barber, D. and van de Laar, P. (1999) "Variational Cumulant Expansions for Intractable Distributions", Volume 10, pages 435-455. PostScript: volume10/barber99a.ps (430K) compressed, volume10/barber99a.ps.Z (186K) PDF: volume10/barber99a.pdf (3378K) Birnbaum, E. and Lozinskii, E.L. (1999) "The Good Old Davis-Putnam Procedure Helps Counting Models", Volume 10, pages 457-477. PostScript: volume10/birnbaum99a.ps (738K) compressed, volume10/birnbaum99a.ps.Z (308K) PDF: volume10/birnbaum99a.pdf (253K) Volume 11 Boutilier, C., Dean, T. and Hanks, S. (1999) "Decision-Theoretic Planning: Structural Assumptions and Computational Leverage", Volume 11, pages 1-94. PostScript: volume11/boutilier99a.ps (1.3M) compressed, volume11/boutilier99a.ps.Z (527K) PDF: volume11/boutilier99a.pdf (942K) Resnik, P. (1999) "Semantic Similarity in a Taxonomy: An Information-Based Measure and its Application to Problems of Ambiguity in Natural Language", Volume 11, pages 95-130. PostScript: volume11/resnik99a.ps (351K) compressed, volume11/resnik99a.ps.Z (148K) PDF: volume11/resnik99a.pdf (396K) Brodley, C.E. and Friedl, M.A. (1999) "Identifying Mislabeled Training Data", Volume 11, pages 131-167. PostScript: volume11/brodley99a.ps (3.4M) compressed, volume11/brodley99a.ps.Z (742K) PDF: volume11/brodley99a.pdf (455K) Opitz, D. and Maclin, R. (1999) "Popular Ensemble Methods: An Empirical Study", Volume 11, pages 169-198. PostScript: volume11/opitz99a.ps (1.1M) compressed, volume11/opitz99a.ps.Z (559K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume11/opitz99a-html/paper.html PDF: volume11/opitz99a.pdf (281K) Calvanese, D., Lenzerini, M. and Nardi, D. (1999) "Unifying Class-Based Representation Formalisms", Volume 11, pages 199-240. PostScript: volume11/calvanese99a.ps (490K) compressed, volume11/calvanese99a.ps.Z (221K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume11/calvanese99a-html/calvanese99a-html.html PDF: volume11/calvanese99a.pdf (558K) Moriarty, D.E., Schultz, A.C., and Grefenstette, J.J. (1999) "Evolutionary Algorithms for Reinforcement Learning", Volume 11, pages 241-276. PostScript: volume11/moriarty99a.ps (406K) compressed, volume11/moriarty99a.ps.Z (168K) PDF: volume11/moriarty99a.pdf (299K) Rosati, R. (1999) "Reasoning about Minimal Belief and Negation as Failure", Volume 11, pages 277-300. PostScript: volume11/rosati99a.ps (530K) compressed, volume11/rosati99a.ps.Z (157K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume11/rosati99a-html/rosati99a-html.html PDF: volume11/rosati99a.pdf (353K) Ygge, F. and Akkermans, H. (1999) "Decentralized Markets versus Central Control: A Comparative Study", Volume 11, pages 301-333. PostScript: volume11/ygge99a.ps (1.0M) compressed, volume11/ygge99a.ps.Z (459K) PDF: volume11/ygge99a.pdf (455K) Argamon-Engelson, S. and Dagan, I. (1999) "Committee-Based Sample Selection for Probabilistic Classifiers", Volume 11, pages 335-360. PostScript: volume11/argamon99a.ps (375K) compressed, volume11/argamon99a.ps.Z (459K) PDF: volume11/argamon99a.pdf (135K) Cristani, M. (1999) "The Complexity of Reasoning about Spatial Congruence", Volume 11, pages 361-390. PostScript: volume11/cristani99a.ps (709K) compressed, volume11/cristani99a.ps.Z (218K) Online Appendix1: volume11/cristani99a-appendix.ps (102K) Lisp code PDF: volume11/cristani99a.pdf (553K) Fox, D., Burgard, W. and Thrun, S. (1999) "Markov Localization for Mobile Robots in Dynamic Environments", Volume 11, pages 391-427. PostScript: volume11/fox99a.ps (13.5M) compressed, volume11/fox99a.ps.Z (3.2M) Online Appendix1: http://www.cs.cmu.edu/~dfox/museum-projects.html HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume11/fox99a-html/jair-localize.html PDF: volume11/fox99a.pdf (5.3M) Halpern, J.Y. (1999) "Cox's Theorem Revisited", Volume 11, pages 429-435. PostScript: volume11/halpern99b.ps (128K) compressed, volume11/halpern99b.ps.Z (52K) PDF: volume11/halpern99b.pdf (154K) Volume 12 Kambhampati, S. (2000) "Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan", Volume 12, pages 1-34. PostScript: volume12/kambhampati00a.ps (859K) compressed, volume12/kambhampati00a.ps.Z (302K) PDF: volume12/kambhampati00a.pdf (248K) Barber, F. (2000) "Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts", Volume 12, pages 35-86. PostScript: volume12/barber00a.ps (2.8M) compressed, volume12/barber00a.ps.Z (500K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume12/barber00a-html/Barber.html PDF: volume12/barber00a.pdf (241K) Neal, R.M. (2000) "On Deducing Conditional Independence from d-Separation in Causal Graphs with Feedback (Research Note)", Volume 12, pages 87-91. PostScript: volume12/neal00a.ps (287K) compressed, volume12/neal00a.ps.Z (81K) PDF: volume12/neal00a.pdf (132K) Xu, K. and Li, W. (2000) "Exact Phase Transitions in Random Constraint Satisfaction Problems", Volume 12, pages 93-103. PostScript: volume12/xu00a.ps (208K) compressed, volume12/xu00a.ps.Z (101K) PDF: volume12/xu00a.pdf (268K) Kaminka, G.A. and Tambe, M. (2000) "Robust Agent Teams via Socially-Attentive Monitoring", Volume 12, pages 105-147. PostScript: volume12/kaminka00a.ps (553K) compressed, volume12/kaminka00a.ps.Z (243K) PDF: volume12/kaminka00a.pdf (537K) Baxter, J. (2000) "A Model of Inductive Bias Learning", Volume 12, pages 149-198. PostScript: volume12/baxter00a.ps (476K) compressed, volume12/baxter00a.ps.Z (216K) PDF: volume12/baxter00a.pdf (398K) Tobies, S. (2000) "The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics", Volume 12, pages 199-217. PostScript: volume12/tobies00a.ps (306K) compressed, volume12/tobies00a.ps.Z (144K) Online Appendix1: volume12/tobies00a-appendix1.html (2K) online bibliography HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume12/tobies00a-html/tobies00a.html PDF: volume12/tobies00a.pdf (369K) Becker, A., Bar-Yehuda, R. and Geiger, D. (2000) "Randomized Algorithms for the Loop Cutset Problem", Volume 12, pages 219-234. PostScript: volume12/becker00a.ps (215K) compressed, volume12/becker00a.ps.Z (86K) PDF: volume12/becker00a.pdf (247K) Singer, J., Gent, I.P. and Smaill, A. (2000) "Backbone Fragility and the Local Search Cost Peak", Volume 12, pages 235-270. PostScript: volume12/singer00a.ps (1.2M) compressed, volume12/singer00a.ps.Z (326K) PDF: volume12/singer00a.pdf (811K) Nebel, B. (2000) "On the Compilability and Expressive Power of Propositional Planning Formalisms", Volume 12, pages 271-315. PostScript: volume12/nebel00a.ps (419K) compressed, volume12/nebel00a.ps.Z (186K) PDF: volume12/nebel00a.pdf (293K) Halpern, J.Y. (2000) "Axiomatizing Causal Reasoning", Volume 12, pages 317-337. PostScript: volume12/halpern00a.ps (565K) compressed, volume12/halpern00a.ps.Z (170K) PDF: volume12/halpern00a.pdf (275K) Koehler, J. and Hoffmann, J. (2000) "On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm", Volume 12, pages 338-386. PostScript: volume12/koehler00a.ps (541K) compressed, volume12/koehler00a.ps.Z (244K) Online Appendix1: volume12/koehler00a.html (1k) Source code and domains PDF: volume12/koehler00a.pdf (598K) Walker, M.A. (2000) "An Application of Reinforcement Learning to Dialogue Strategy Selection in a Spoken Dialogue System for Email", Volume 12, pages 387-416. PostScript: volume12/walker00a.ps (346K) compressed, volume12/walker00a.ps.Z (165K) PDF: volume12/walker00a.pdf (419K) Volume 13 Cadoli, M., Donini, F.M., Liberatore, P., and Schaerf, M. (2000) "Space Efficiency of Propositional Knowledge Representation Formalisms", Volume 13, pages 1-31. PostScript: volume13/cadoli00a.ps (511K) compressed, volume13/cadoli00a.ps.Z (256K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume13/cadoli00a-html/cadoli00a.html PDF: volume13/cadoli00a.pdf (305K) Hauskrecht, M. (2000) "Value-Function Approximations for Partially Observable Markov Decision Processes", Volume 13, pages 33-94. PostScript: volume13/hauskrecht00a.ps (1534K) compressed, volume13/hauskrecht00a.ps.Z (532K) PDF: volume13/hauskrecht00a.pdf (654K) Gordon, D.F. (2000) "Asimovian Adaptive Agents", Volume 13, pages 95-153. PostScript: volume13/gordon00a.ps (943K) compressed, volume13/gordon00a.ps.Z (284K) PDF: volume13/gordon00a.pdf (584K) Cheng, J. and Druzdzel, M.J. (2000) "AIS-BN: An Adaptive Importance Sampling Algorithm for Evidential Reasoning in Large Bayesian Networks", Volume 13, pages 155-188. PostScript: volume13/cheng00a.ps (593K) compressed, volume13/cheng00a.ps.Z (260K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume13/cheng00a-html/cheng00a-hmtl.html PDF: volume13/cheng00a.pdf (314K) Jensen, R.M. and Veloso, M.M. (2000) "OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains", Volume 13, pages 189-226. PostScript: volume13/jensen00a.ps (405K) compressed, volume13/jensen00a.ps.Z (178K) Online Appendix1: volume13/jensen00a-appendix1.tar.gz, UMOP Planner (994K) PDF: volume13/jensen00a.pdf (470K) Dietterich, T.G. (2000) "Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition", Volume 13, pages 227-303. PostScript: volume13/dietterich00a.ps (1682K) compressed, volume13/dietterich00a.ps.Z (464K) PDF: volume13/dietterich00a.pdf (967K) Cimatti, A. and Roveri, M. (2000) "Conformant Planning via Symbolic Model Checking", Volume 13, pages 305-338. PostScript: volume13/cimatti00a.ps (600K) compressed, volume13/cimatti00a.ps.Z (251K) Online Appendix1: volume13/cimatti00a-appendix1.tar.gz (199K) CMBP Planner PDF: volume13/cimatti00a.pdf (529K) Volume 14 Brafman, R.I. (2001) "On Reachability, Relevance, and Resolution in the Planning as Satisfiability Approach", Volume 14, pages 1-28. PostScript: volume14/brafman01a.ps (352K) compressed, volume14/brafman01a.ps.Z (162K) PDF: volume14/brafman01a.pdf (354K) Zhang, N.L. and Zhang, W. (2001) "Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes", Volume 14, pages 29-51. PostScript: volume14/zhang01a.ps (291K) compressed, volume14/zhang01a.ps.Z (138K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume14/zhang01a-html/zhang01a.html PDF: volume14/zhang01a.pdf (299K) Chen, X. and van Beek, P. (2001) "Conflict-Directed Backjumping Revisited", Volume 14, pages 53-81. PostScript: volume14/chen01a.ps (391K) compressed, volume14/chen01a.ps.Z (156K) Online Appendix1: volume14/chen01a-appendix1.tar (552K) Source code PDF: volume14/chen01a.pdf (298K) Lusena, C., Goldsmith, J. and Mundhenk, M. (2001) "Nonapproximability Results for Partially Observable Markov Decision Processes", Volume 14, pages 83-103. PostScript: volume14/lusena01a.ps (800K) compressed, volume14/lusena01a.ps.Z (247K) PDF: volume14/lusena01a.pdf (401K) Boutilier, C. and Brafman, R.I. (2001) "Partial-Order Planning with Concurrent Interacting Actions", Volume 14, pages 105-136. PostScript: volume14/boutilier01a.ps (405K) compressed, volume14/boutilier01a.ps.Z (164K) PDF: volume14/boutilier01a.pdf (337K) Straccia, U. (2001) "Reasoning within Fuzzy Description Logics", Volume 14, pages 137-166. PostScript: volume14/straccia01a.ps (1564K) compressed, volume14/straccia01a.ps.Z (804K) PDF: volume14/straccia01a.pdf (272K) Kusters, R. and Borgida, A. (2001) "What's in an Attribute? Consequences for the Least Common Subsumer", Volume 14, pages 167-203. PostScript: volume14/kuesters01a.ps (484K) compressed, volume14/kuesters01a.ps.Z (217K) PDF: volume14/kuesters01a.pdf (449K) Debruyne, R. and Bessiere, C. (2001) "Domain Filtering Consistencies", Volume 14, pages 205-230. PostScript: volume14/debruyne01a.ps (489K) compressed, volume14/debruyne01a.ps.Z (203K) PDF: volume14/debruyne01a.pdf (338K) Basu, C., Hirsh, H., Cohen, W.W., Nevill-Manning, C. (2001) "Technical Paper Recommendation: A Study in Combining Multiple Information Sources", Volume 14, pages 231-252. PostScript: volume14/basu01a.ps (301K) compressed, volume14/basu01a.ps.Z (110K) PDF: volume14/basu01a.pdf (267K) Hoffmann, J. and Nebel, B. (2001) "The FF Planning System: Fast Plan Generation Through Heuristic Search", Volume 14, pages 253-302. PostScript: volume14/hoffmann01a.ps (532K) compressed, volume14/hoffmann01a.ps.Z (234K) Online Appendix1: volume14/hoffmann01a-appendix1.tar (379K) C code for FF-v2.2 as used in AIPS-2000 competition Online Appendix2: volume14/hoffmann01a-appendix2.tar (170) Evaluation domains and instance generators Online Appendix3: volume14/hoffmann01a-appendix3.tar (901) PDDL files, raw data and experimental results (gzipped) PDF: volume14/hoffmann01a.pdf (531K) Ginsberg, M.L. (2001) "GIB: Imperfect Information in a Computationally Challenging Game", Volume 14, pages 303-358. PostScript: volume14/ginsberg01a.ps (561K) compressed, volume14/ginsberg01a.ps.Z (252K) PDF: volume14/ginsberg01a.pdf (414K) Halpern, J.Y. (2001) "Conditional Plausibility Measures and Bayesian Networks", Volume 14, pages 359-389. PostScript: volume14/halpern01a.ps (699K) compressed, volume14/halpern01a.ps.Z (207K) PDF: volume14/halpern01a.pdf (386K) Volume 15 Hong, J. (2001) "Goal Recognition through Goal Graph Analysis", Volume 15, pages 1-30. PostScript: volume15/hong01a.ps (439K) compressed, volume15/hong01a.ps.Z (218K) PDF: volume15/hong01a.pdf (252K) Siskind, J.M. (2001) "Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic", Volume 15, pages 31-90. PostScript: volume15/siskind01a.ps.gz (18M) or volume15/siskind01a.ps.Z (35M) Online Appendix1: volume15/siskind01a-appendix1.tar.gz (25M) Software and video sequences HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume15/siskind01a-html/siskind2001a-html.html PDF: volume15/siskind01a.pdf (16M) Bhattacharyya, C. and Keerthi, S.S. (2001) "Mean Field Methods for a Special Class of Belief Networks", Volume 15, pages 91-114. PostScript: volume15/bhattacharyya01a.ps (421K) compressed, volume15/bhattacharyya01a.ps.Z (159K) PDF: volume15/bhattacharyya01a.pdf (298K) Refanidis, I. and Vlahavas, I. (2001) "The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning", Volume 15, pages 115-161. PostScript: volume15/refanidis01a.ps (2.9M) compressed, volume15/refanidis01a.ps.Z (626K) Online Appendix1: volume15/refanidis01a-appendix1.tar.gz (4.6M) Source code and experimental data HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume15/refanidis01a-html/refanidis01a.html PDF: volume15/refanidis01a.pdf (591K) Elomaa, T. and Kaariainen, M. (2001) "An Analysis of Reduced Error Pruning", Volume 15, pages 163-187. PostScript: volume15/elomaa01a.ps (356K) compressed, volume15/elomaa01a.ps.Z (166K) PDF: volume15/elomaa01a.pdf (387K) Stone, P., Littman, M.L., Singh, S. and Kearns, M. (2001) "ATTac-2000: An Adaptive Autonomous Bidding Agent", Volume 15, pages 189-206. PostScript: volume15/stone01a.ps (256K) compressed, volume15/stone01a.ps.Z (106K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume15/stone01a-html/stone01a.html PDF: volume15/stone01a.pdf (266K) Ambite, J.L. and Knoblock, C.A. (2001) "Planning by Rewriting", Volume 15, pages 207-261. PostScript: volume15/ambite01a.ps (849K) compressed, volume15/ambite01a.ps.Z (354K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume15/ambite01a-html/ambite01a.html PDF: volume15/ambite01a.pdf (321K) Palomar, M. and Martinez-Barco, P. (2001) "Computational Approach to Anaphora Resolution in Spanish Dialogues", Volume 15, pages 263-287. PostScript: volume15/palomar01a.ps (747K) compressed, volume15/palomar01a.ps.Z (249K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume15/palomar01a-html/palomar01a.html PDF: volume15/palomar01a.pdf (344K) Renz, J. and Nebel, B. (2001) "Efficient Methods for Qualitative Spatial Reasoning", Volume 15, pages 289-318. PostScript: volume15/renz01a.ps (1.1M) compressed, volume15/renz01a.ps.Z (350K) Online Appendix1: volume15/renz01a-appendix.tar ( 204K) Source code PDF: volume15/renz01a.pdf (1.0M) Baxter, J. and Bartlett, P.L. (2001) "Infinite-Horizon Policy-Gradient Estimation", Volume 15, pages 319-350. PostScript: volume15/baxter01a.ps (333K) compressed, volume15/baxter01a.ps.Z (159K) PDF: volume15/baxter01a.pdf (266K) Baxter, J., Bartlett, P.L. and Weaver, L. (2001) "Experiments with Infinite-Horizon, Policy-Gradient Estimation", Volume 15, pages 351-381. PostScript: volume15/baxter01b.ps (1.4M) compressed, volume15/baxter01b.ps.Z (301K) PDF: volume15/baxter01b.pdf (288K) Meek, C. (2001) "Finding a Path is Harder than Finding a Tree", Volume 15, pages 383-389. PostScript: volume15/meek01a.ps (139K) compressed, volume15/meek01a.ps.Z (70K) PDF: volume15/meek01a.pdf (175K) Sato, T. and Kameya, Y. (2001) "Parameter Learning of Logic Programs for Symbolic-Statistical Modeling", Volume 15, pages 391-454. PostScript: volume15/sato01a.ps (1.1M) compressed, volume15/sato01a.ps.Z (323K) PDF: volume15/sato01a.pdf (697K) Volume 16 Baader, F., Lutz, C., Sturm, H., Wolter, F. (2002) "Fusions of Description Logics and Abstract Description Systems", Volume 16, pages 1-58. PostScript: volume16/baader02a.ps (684K) compressed, volume16/baader02a.ps.Z (294K) PDF: volume16/baader02a.pdf (473K) Drummond, C. (2002) "Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks", Volume 16, pages 59-104. PostScript: volume16/drummond02a.ps (1.3M) compressed, volume16/drummond02a.ps.Z (475K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/drummond02a-html/drummond02a-html.html PDF: volume16/drummond02a.pdf (714K) Singh, S., Litman, D., Kearns, M., Walker, M. (2002) "Optimizing Dialogue Management with Reinforcement Learning: Experiments with the NJFun System", Volume 16, pages 105-133. PostScript: volume16/singh02a.ps (1.1M) compressed, volume16/singh02a.ps.Z (238K) PDF: volume16/singh02a.pdf (345K) Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., and Vandecasteele, H. (2002) "Improving the Efficiency of Inductive Logic Programming Through the Use of Query Packs", Volume 16, pages 135-166. PostScript: volume16/blockeel02a.ps (416K) compressed, volume16/blockeel02a.ps.Z (193K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/blockeel02a-html/packs-html.html PDF: volume16/blockeel02a.pdf (470K) Shatkay, H. and Kaelbling, L.P. (2002) "Learning Geometrically-Constrained Hidden Markov Models for Robot Navigation: Bridging the Topological-Geometrical Gap", Volume 16, pages 167-207. PostScript: volume16/shatkay02a.ps (1.3M) compressed, volume16/shatkay02a.ps.Z (472K) PDF: volume16/shatkay02a.pdf (852K) Di Sciascio, E., Donini, F.M. and Mongiello, M. (2002) "Structured Knowledge Representation for Image Retrieval", Volume 16, pages 209-257. PostScript: volume16/disciascio02a.ps (43M) compressed, volume16/disciascio02a.ps.Z (2M) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/disciascio02a-html/disciascio02a.html PDF: volume16/disciascio02a.pdf (1M) Xu, X., He, H. and Hu, D. (2002) "Efficient Reinforcement Learning Using Recursive Least-Squares Methods", Volume 16, pages 259-292. PostScript: volume16/xu02a.ps (1.7M) compressed, volume16/xu02a.ps.Z (700K) PDF: volume16/xu02a.pdf (219K) Walker, M.A., Langkilde-Geary, I., Wright Hastie, H., Wright, J., Gorin, A. (2002) "Automatically Training a Problematic Dialogue Predictor for a Spoken Dialogue System", Volume 16, pages 293-319. PostScript: volume16/walker02a.ps (304K) compressed, volume16/walker02a.ps.Z (144K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/walker02a-html/index.html PDF: volume16/walker02a.pdf (341K) Chawla, N.V., Bowyer, K.W., Hall, L.O., Kegelmeyer, W.P. (2002) "SMOTE: Synthetic Minority Over-sampling Technique", Volume 16, pages 321-357. PostScript: volume16/chawla02a.ps (812K) compressed, volume16/chawla02a.ps.Z (330K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/chawla02a-html/chawla2002.html PDF: volume16/chawla02a.pdf (490K) Wolpert, D.H. and Tumer, K. (2002) "Collective Intelligence, Data Routing and Braess' Paradox", Volume 16, pages 359-387. PostScript: volume16/wolpert02a.ps (368K) compressed, volume16/wolpert02a.ps.Z (173K) PDF: volume16/wolpert02a.pdf (418K) Pynadath, D.V. and Tambe, M. (2002) "The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models", Volume 16, pages 389-423. PostScript: volume16/pynadath02a.ps (15M) compressed, volume16/pynadath02a.ps.Z (455K) Online Appendix1: volume16/pynadath02a-appendix1.tar (336K) Algorithms and data HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume16/pynadath02a-html/index.html PDF: volume16/pynadath02a.pdf (519K) Baget, J.F. and Mugnier, M.L. (2002) "Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints", Volume 16, pages 425-465. PostScript: volume16/baget02a.ps (751K) compressed, volume16/baget02a.ps.Z (294K) PDF: volume16/baget02a.pdf (567K) Volume 17 Howe, A.E. and Dahlman, E. (2002) "A Critical Assessment of Benchmark Comparison in Planning", Volume 17, pages 1-33. PostScript: volume17/howe02a.ps (2M) compressed, volume17/howe02a.ps.Z (251K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume17/howe02a-html/jair-plan-html.html PDF: volume17/howe02a.pdf (327K) Barzilay, R., Elhadad, N., and McKeown K.R. (2002) "Inferring Strategies for Sentence Ordering in Multidocument News Summarization", Volume 17, pages 35-55. PostScript: volume17/barzilay02a.ps (383K) compressed, volume17/barzilay02a.ps.Z (251K) PDF: volume17/barzilay02a.pdf (215K) Halpern, J.Y. and Pucella, R. (2002) "A Logic for Reasoning about Upper Probabilities", Volume 17, pages 57-81. PostScript: volume17/halpern02a.ps (371K) compressed, volume17/halpern02a.ps.Z (173K) PDF: volume17/halpern02a.pdf (295K) Kaminka, G.A., Pynadath, D.V. and Tambe, M. (2002) "Monitoring Teams by Overhearing: A Multi-Agent Plan-Recognition Approach", Volume 17, pages 83-135. PostScript: volume17/kaminka02a.ps (874K) compressed, volume17/kaminka02a.ps.Z (369K) Online Appendix1: volume17/kaminka02a-appendix1.tar (99K) sample data PDF: volume17/kaminka02a.pdf (688K) Nock, R. (2002) "Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms, and Experiments", Volume 17, pages 137-170. PostScript: volume17/nock02a.ps (532K) compressed, volume17/nock02a.ps.Z (228K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume17/nock02a-html/nock02a-html.html PDF: volume17/nock02a.pdf (403K) Scerri, P., Pynadath, D.V., Tampe, M. (2002) "Towards Adjustable Autonomy for the Real World", Volume 17, pages 171-228. PostScript: volume17/scerri02a.ps (16M) compressed, volume17/scerri02a.ps.Z (1.2M) PDF: volume17/scerri02a.pdf (774K) Darwiche, A. and Marquis, P. (2002) "A Knowledge Compilation Map", Volume 17, pages 229-264. PostScript: volume17/darwiche02a.ps (1.1M) compressed, volume17/darwiche02a.ps.Z (514K) PDF: volume17/darwiche02a.pdf (444K) Chan, H. and Darwiche, A. (2002) "When do Numbers Really Matter?", Volume 17, pages 265-287. PostScript: volume17/chan02a.ps (2.4M) compressed, volume17/chan02a.ps.Z (519K) PDF: volume17/chan02a.pdf (311K) Bod, R. (2002) "A Unified Model of Structural Organization in Language and Music", Volume 17, pages 289-308. PostScript: volume17/bod02a.ps (1M) compressed, volume17/bod02a.ps.Z (534K) PDF: volume17/bod02a.pdf (84K) Gao, Y. and Culberson, J. (2002) "An Analysis of Phase Transition in NK Landscapes", Volume 17, pages 309-332. PostScript: volume17/gao02a.ps (359K) compressed, volume17/gao02a.ps.Z (166K) PDF: volume17/gao02a.pdf (527K) Al-Ani, A. and Deriche, M. (2002) "A New Technique for Combining Multiple Classifiers using The Dempster-Shafer Theory of Evidence", Volume 17, pages 333-361. PostScript: volume17/alani02a.ps (426K) compressed, volume17/alani02a.ps.Z (193K) PDF: volume17/alani02a.pdf (243K) Tennenholtz, M. (2002) "Competitive Safety Analysis: Robust Decision-Making in Multi-Agent Systems", Volume 17, pages 363-378. PostScript: volume17/tennenholtz02a.ps (409K) compressed, volume17/tennenholtz02a.ps.Z (218K) PDF: volume17/tennenholtz02a.pdf (250K) Fern, A., Givan, R., and Siskind, J.M. (2002) "Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video", Volume 17, pages 379-449. PostScript: volume17/fern02a.ps (20M) compressed, volume17/fern02a.ps.Z (6M) Online Appendix1: volume17/fern02a-appendix1.tar.Z (3M) Source code and data PDF: volume17/fern02a.pdf (1M) Bui, H.H., Venkatesh, S., and West, G. (2002) "Policy Recognition in the Abstract Hidden Markov Model", Volume 17, pages 451-499. PostScript: volume17/bui02a.ps (1.8M) compressed, volume17/bui02a.ps.Z (563K) PDF: volume17/bui02a.pdf (614K) Gamberger, D. and Lavrac, N. (2002) "Expert-Guided Subgroup Discovery: Methodology and Application", Volume 17, pages 501-527. PostScript: volume17/gamberger02a.ps (441K) compressed, volume17/gamberger02a.ps.Z (221K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume17/gamberger02a-html/gamberger2002a.html PDF: volume17/gamberger02a.pdf (356K) Volume 17 Thompson, C.A and Mooney, R.J. (2003) "Acquiring Word-Meaning Mappings for Natural Language Interfaces", Volume 18, pages 1-44. PostScript: volume18/thompson03a.ps (601K) compressed, volume18/thompson03a.ps.Z (278K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/thompson03a-html/thompson03a-html.html PDF: volume18/thompson03a.pdf (454K) Cemgil, A.T. and Kappen, B. (2003) "Monte Carlo Methods for Tempo Tracking and Rhythm Quantization", Volume 18, pages 45-81. PostScript: volume18/cemgil03a.ps (1M) compressed, volume18/cemgil03a.ps.Z (278K) PDF: volume18/cemgil03a.pdf (801K) Grumberg, O., Livne, S. and Markovitch, S. (2003) "Learning to Order BDD Variables in Verification", Volume 18, pages 83-116. PostScript: volume18/grumberg03a.ps (581K) compressed, volume18/grumberg03a.ps.Z (262K) PDF: volume18/grumberg03a.pdf (279K) Peral, J. and Ferrandez, A. (2003) "Translation of Pronominal Anaphora between English and Spanish: Discrepancies and Evaluation", Volume 18, pages 117-147. PostScript: volume18/peral03a.ps (471K) compressed, volume18/peral03a.ps.Z (235K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/peral03a-html/peral03a.html PDF: volume18/peral03a.pdf (232K) Lerman, K., Minton, S.N. and Knoblock, C.A. (2003) "Wrapper Maintenance: A Machine Learning Approach", Volume 18, pages 149-181. PostScript: volume18/lerman03a.ps (1.1M) compressed, volume18/lerman03a.ps.Z (615K) PDF: volume18/lerman03a.pdf (377K) Tan, K.C., Khor, E.F., Lee, T.H. and Sathikannan, R. (2003) "An Evolutionary Algorithm with Advanced Goal and Priority Specification for Multi-objective Optimization", Volume 18, pages 183-215. PostScript: volume18/tan03a.ps (1.9M) compressed, volume18/tan03a.ps.Z (803K) PDF: volume18/tan03a.pdf (498K) Wilkins, D.E., Lee, T.J. and Berry, P. (2003) "Interactive Execution Monitoring of Agent Teams", Volume 18, pages 217-261. PostScript: volume18/wilkins03a.ps (3.2M) compressed, volume18/wilkins03a.ps.Z (2.3M) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/wilkins03a-html/ex-mon-jair-l2h.html PDF: volume18/wilkins03a.pdf (210K) Poole, D. and Zhang, N.L. (2003) "Exploiting Contextual Independence In Probabilistic Inference", Volume 18, pages 263-313. PostScript: volume18/poole03a.ps (1.6M) compressed, volume18/poole03a.ps.Z (454K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/poole03a-html/poole03a.html PDF: volume18/poole03a.pdf (236K) Brafman, R.I. and Domshlak, C. (2003) "Structure and Complexity in Planning with Unary Operators", Volume 18, pages 315-349. PostScript: volume18/brafman03a.ps (636K) compressed, volume18/brafman03a.ps.Z (324K) PDF: volume18/brafman03a.pdf (351K) Patel-Schneider, P.F. and Sebastiani, R. (2003) "A New General Method to Generate Random Modal Formulae for Testing Decision Procedures", Volume 18, pages 351-389. PostScript: volume18/patelschneider03a.ps (1.9M) compressed, volume18/patelschneider03a.ps.Z (422K) PDF: volume18/patelschneider03a.pdf (691K) Lang, J., Liberatore, P. and Marquis, P. (2003) "Propositional Independence - Formula-Variable Independence and Forgetting", Volume 18, pages 391-443. PostScript: volume18/lang03a.ps (503K) compressed, volume18/lang03a.ps.Z (216K) PDF: volume18/lang03a.pdf (486K) Acid, S. and de Campos. L.M. (2003) "Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs", Volume 18, pages 445-490. PostScript: volume18/acid03a.ps (894K) compressed, volume18/acid03a.ps.Z (306K) HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume18/acid03a-html/index.html PDF: volume18/acid03a.pdf (544K) Reiter, E., Sripada, S.G., and Robertson, R. (2003) "Acquiring Correct Knowledge for Natural Language Generation", Volume 18, pages 491-516. PostScript: volume18/reiter03a.ps (793K) compressed, volume18/reiter03a.ps.Z (236K) PDF: volume18/reiter03a.pdf (203K) Volume 19Zanuttini, B. (2003) "New Polynomial Classes for Logic-Based Abduction", Volume 19, pages 1-10. PostScript: volume19/zanuttini03a.ps (174K) compressed, volume19/zanuttini03a.ps.Z (85K) Online Appendix1: volume19/zanuttini03a-appendix1.pdf (200K) Technical report with proofs and examples HTML: http://www.cs.cmu.edu/afs/cs/project/jair/pub/volume19/zanuttini03a-html/zanuttini03a-html.html PDF: volume19/zanuttini03a.pdf (155K)