Abstract is missing.
- Generating Cross-References for Multimedia ExplanationKathleen McKeown, Steven Feiner, Jacques Robin, Dorée D. Seligmann, Michael Tanenblatt. 9-16
- Results of Encoding Knowledge with Tutor Construction ToolsThomas J. Murray, Beverly Park Woolf. 17-23
- Steps from Explanation Planning to Model Construction DialoguesDaniel D. Suthers, Beverly Park Woolf, Matthew Cornell. 24-30
- A Connectionist Parser with Recursive Sentence Structure and Lexical DisambiguationGeorge Berg. 32-37
- Learning to Disambiguate Relative PronounsClaire Cardie. 38-43
- Discrimination-Based Constructive Induction of Logic ProgramsBoonserm Kijsirikul, Masayuki Numao, Masamichi Shimura. 44-49
- Learning Relations by PathfindingBradley L. Richards, Raymond J. Mooney. 50-55
- Symmetry as Bias: Rediscovering Special RelativityMichael R. Lowry. 56-62
- Discovery of Equations: Experimental Evaluation of ConvergenceRobert Zembowicz, Jan M. Zytkow. 70-75
- Operational Definition Refinement: A Discovery ProcessJan M. Zytkow, Jieming Zhu, Robert Zembowicz. 76-81
- Learning in FOL with a Similarity MeasureGilles Bisson. 82-87
- Learning to Learn Decision TreesVlad G. Dabija, Katsuhiko Tsujino, Shogo Nishida. 88-95
- A Personal Learning ApprenticeC. Lisa Dent, Jesus Boticario, John P. McDermott, Tom M. Mitchell, David Zabowski. 96-103
- The Attribute Selection Problem in Decision Tree GenerationUsama M. Fayyad, Keki B. Irani. 104-110
- COGIN: Symbolic Induction with Genetic AlgorithmsDavid Perry Greene, Stephen F. Smith. 111-116
- ChiMerge: Discretization of Numeric AttributesRandy Kerber. 123-128
- The Feature Selection Problem: Traditional Methods and a New AlgorithmKenji Kira, Larry A. Rendell. 129-134
- Classifier Learning from Noisy Data as Probabilistic Evidence CombinationSteven W. Norton, Haym Hirsh. 141-146
- Sparse Data and the Effect of Overfitting Avoidance in Decision Tree InductionCullen Schaffer. 147-152
- A Framework for Integrating Fault Diagnosis and Incremental Knowledge Acquisition in Connectionist Expert SystemsJoo-Hwee Lim, Ho-Chung Lui, Pei-Zhuang Wang. 159-164
- Using Knowledge-Based Neural Networks to Improve Algorithms: Refining the Chou-Fasman Algorithm for Protein FoldingRichard Maclin, Jude W. Shavlik. 165-170
- Adapting Bias by Gradient Descent: An Incremental Version of Delta-Bar-DeltaRichard S. Sutton. 171-176
- Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions ApproachLonnie Chrisman. 183-188
- Automatic Programming of Robots Using Genetic ProgrammingJohn R. Koza, James Rice. 194-201
- Reinforcement Learning with a Hierarchy of Abstract ModelsSatinder P. Singh. 202-207
- Inferring Finite Automata with Stochastic Output Functions and an Application to Map LearningThomas Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron. 208-214
- Oblivious PAC Learning of Concept HierarchiesMichael J. Kearns. 215-222
- An Analysis of Bayesian ClassifiersPat Langley, Wayne Iba, Kevin Thompson. 223-228
- A Theory of Unsupervised Speedup LearningPrasad Tadepalli. 229-234
- COMPOSER: A Probabilistic Solution to the Utility Problem in Speed-Up LearningJonathan Gratch, Gerald DeJong. 235-240
- A Statistical Approach to Solving the EBL Utility ProblemRussell Greiner, Igor Jurisica. 241-248
- Empirical Analysis of the General Utility Problem in Machine LearningLawrence B. Holder. 249-254
- Inductive PolicyFoster J. Provost, Bruce G. Buchanan. 255-261
- Constrained Intelligent Action: Planning Under the Influence of a Master AgentEithan Ephrati, Jeffrey S. Rosenschein. 263-268
- Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic EnvironmentsNicholas R. Jennings, E. H. Mamdani. 269-275
- On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report)Yoav Shoham, Moshe Tennenholtz. 276-281
- A General-Equilibrium Approach to Distributed Transportation PlanningMichael P. Wellman. 282-289
- An Approach to the Representation of Iterative SituationsMichael J. Almeida. 291-295
- Actions, Beliefs and Intentions in Rationale Clauses and Means ClausesCecile T. Balkanski. 296-301
- An On-Line Computational Model of Human Sentence InterpretationDaniel Jurafsky. 302-308
- Literal Meaning and the Comprehension of MetaphorsSteven L. Lytinen, Robert R. Burridge, Jeffrey D. Kirtner. 309-314
- A Probabilistic Parser Applied to Software Testing DocumentsMark A. Jones, Jason Eisner. 322-328
- Classifying Texts Using Relevancy SignaturesEllen Riloff, Wendy G. Lehnert. 329-334
- Shipping Departments vs. Shipping Pacemakers: Using Thematic Analysis to Improve Tagging AccuracyUri Zernik. 335-342
- Computation of Upper-Bounds for Stochastic Context-Free LanguagesAnna Corazza, Renato de Mori, Giorgio Satta. 344-349
- A Computational Model for Face Location Based on Cognitive PrinciplesVenu Govindaraju, Sargur N. Srihari, David B. Sher. 350-355
- Grouping Iso-Velocity Points for Ego-Motion RecoveryYibing Yang, Alan L. Yuille. 356-361
- Cultural Support for ImprovisationPhilip E. Agre, Ian Horswill. 363-368
- The Expected Value of Hierarchical Problem-SolvingFahiem Bacchus, Qiang Yang. 369-374
- Achieving the Functionality of Filter Conditions in a Partial Order PlannerGregg Collins, Louise Pryor. 375-380
- On the Complexity of Domain-Independent PlanningKutluhan Erol, Dana S. Nau, V. S. Subrahmanian. 381-386
- Analyzing Failure Recovery to Improve Planner DesignAdele E. Howe. 387-392
- Constrained Decision RevisionCharles J. Petrie. 393-400
- Learning from Goal Interactions in Planning: Goal Stack Analysis and GeneralizationKwang Ryel Ryu, Keki B. Irani. 401-407
- Efficient Propositional Constraint PropagationMukesh Dalal. 409-414
- Semantic Evaluation as Constraint Network ConsistencyNicholas J. Haddock. 415-420
- On the Density of Solutions in Equilibrium Points for the Queens ProblemPaul Morris. 428-433
- A New Method for Solving Hard Satisfiability ProblemsBart Selman, Hector J. Levesque, David G. Mitchell. 440-446
- On the Minimality and Decomposability of Constraint NetworksPeter van Beek. 447-452
- Solving Constraint Satisfaction Problems Using Finite State AutomataNageshwara Rao Vempaty. 453-458
- Hard and Easy Distributions of SAT ProblemsDavid G. Mitchell, Bart Selman, Hector J. Levesque. 459-465
- How Long Will It Take?Ron Musick, Stuart J. Russell. 466-471
- Using Deep Structure to Locate Hard ProblemsColin P. Williams, Tad Hogg. 472-477
- Run-Time Prediction for Production SystemsFranz Barachini, Hans Mistelberger, Anoop Gupta. 478-485
- Can Real-Time Search Algorithms Meet Deadlines?Babak Hamidzadeh, Shashi Shekhar. 486-491
- Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production SystemsJames G. Schmolze, Daniel E. Neiman. 492-499
- Real-time Metareasoning with Dynamic Trade-off EvaluationUrsula M. Schwuttke, Les Gasser. 500-506
- On Optimal Game Tree Propagation for Imperfect PlayersEric B. Baum. 507-512
- Improved Decision-Making in Game Trees: Recovering from PathologyArthur L. Delcher, Simon Kasif. 513-518
- Modeling Accounting Systems to Support Multiple Tasks: A Progress ReportWalter Hamscher. 519-524
- Moving Target Search with IntelligenceToru Ishida. 525-532
- Linear-Space Best-First Search: Summary of ResultsRichard E. Korf. 533-538
- Performance of IDA on Trees and GraphsAmbuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal. 539-544
- An Average-Case Analysis of Branch-and-Bound with Applications: Summary of ResultsWeixiong Zhang, Richard E. Korf. 545-550
- Dynamic MAP Calculations for AbductionEugene Charniak, Eugene Santos Jr.. 552-557
- Consistency-Based Diagnosis in Physiological DomainsKeith L. Downing. 558-563
- Adaptive Model-Based Diagnostic Mechanism Using a Hierarchical Model SchemeYoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka. 564-569
- Reasoning MPE to Multiply Connected Belief Networks Using Message PassingBon K. Sy. 570-576
- Formalising Reasoning about Change: A Qualitative Reasoning ApproachJames M. Crawford, David W. Etherington. 577-583
- Deriving Properties of Belief Update from Theories of ActionAlvaro del Val, Yoav Shoham. 584-589
- Concurrent Actions in the Situation CalculusFangzhen Lin, Yoav Shoham. 590-595
- Nonmonotonic Sorts for Feature StructuresMark A. Young. 596-601
- A Logic for Revision and Subjunctive QueriesCraig Boutilier. 609-615
- Lexical Imprecision in Fuzzy Constraint NetworksJames Bowen, K. Robert Lai, Dennis Bahler. 616-621
- A Symbolic Generalization of Probability TheoryAdnan Darwiche, Matthew L. Ginsberg. 622-627
- A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary ReportPiotr J. Gmytrasiewicz, Edmund H. Durfee. 628-634
- Ideal Introspective BeliefKurt Konolige. 635-641
- A Belief-Function LogicAlessandro Saffiotti. 642-647
- Combining Circumscription and Modal LogicJacques Wainer. 648-653
- Generating Dialectical Examples AutomaticallyKevin D. Ashley, Vincent Aleven. 654-660
- Common Sense RetrievalA. Julian Craddock. 661-666
- When Should a Cheetah Remind You of a Bat? Reminding in Case-Based TeachingDaniel C. Edelson. 667-672
- Model-Based Case AdaptationEric K. Jones. 673-678
- Qualitative Simulation Based on a Logical Formalism of Space and TimeZhan Cui, Anthony G. Cohn, David A. Randell. 679-684
- Self-Explanatory Simulations: Scaling Up to Large ModelsKenneth D. Forbus, Brian Falkenhainer. 685-690
- On the Qualitative Structure of a Mechanical AssemblyRandall H. Wilson, Jean-Claude Latombe. 697-702
- Causal ApproximationsP. Pandurang Nayak. 703-709
- Automated Model Selection Using Context-Dependent BehaviorsP. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki. 710-716
- Learning Engineering Models with the Minimum Description Length PrincipleR. Bharat Rao, Stephen C. Y. Lu. 717-722
- Automatic Abduction of Qualitative ModelsBradley L. Richards, Ina Kraan, Benjamin Kuipers. 723-728
- Algorithms and Complexity for Reasoning about TimeMartin Charles Golumbic, Ron Shamir. 741-747
- On the Computational Complexity of Temporal Projection and Plan ValidationBernhard Nebel, Christer Bäckström. 748-753
- Computing Least Common Subsumers in Description LogicsWilliam W. Cohen, Alexander Borgida, Haym Hirsh. 754-760
- A Non-Well-Founded Approach to Terminological CyclesRobert Dionne, Eric Mays, Frank J. Oles. 761-766
- An Empirical Analysis of Terminological Representation SystemsJochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich. 767-773
- Recognition Algorithms for the Loom ClassifierRobert M. MacGregor, David Brill. 774-779
- An Improved Incremental Algorithm for Generating Prime ImplicatesJohan de Kleer. 780-785
- Forming Concepts for Fast InferenceHenry A. Kautz, Bart Selman. 786-793
- The Complexity of Propositional Default LogicsJonathan Stillman. 794-799
- A Reactive Robot System for Find and Fetch Tasks in an Outdoor EnvironmentR. Peter Bonasso, H. James Antonisse, Marc G. Slack. 801-808
- Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile RobotsErann Gat. 809-815
- Landmark-Based Robot NavigationAnthony Lazanas, Jean-Claude Latombe. 816-822
- Reactive Navigation through Rough Terrain: Experimental ResultsDavid P. Miller, Rajiv S. Desai, Erann Gat, Robert Ivlev, John Loch. 823-828
- Learning 10, 000 Chunks: What s It Like Out There?Robert B. Doorenbos, Milind Tambe, Allen Newell. 830-836
- Mega-Classification: Discovering Motifs in Massive DatastreamsNomi L. Harris, Lawrence Hunter, David J. States. 837-842
- Building Large-Scale and Corporate-Wide Case-Based Systems: Integration of the Organizational and Machine Executable AlgorithmsHiroaki Kitano, Akihiro Shibata, Hideo Shimazu, Juichirou Kajihara, Atsumi Sato. 843-849
- Wafer Scale Integration for Massively Parallel Memory-Based ReasoningHiroaki Kitano, Moritoshi Yasunaga. 850-856
- What Your Computer Really Needs to Know, You Learned in KindergartenEdmund H. Durfee. 858-864
- Reasoning as Remembering: The Theory and Practice of CBRKristian J. Hammond. 865-865
- Artificial Intelligence and Molecular BiologyLawrence Hunter. 866-868