10. AAAI 1992: San Jose, California
William R. Swartout (Ed.): Proceedings of the 10th National Conference on Artificial Intelligence. San Jose, CA, July 12-16, 1992. AAAI Press / The MIT Press 1992 ISBN 0-262-51063-4
Explanation & Tutoring
- Gary C. Borchardt: Understanding Causal Descriptions of Physical Systems. 2-8
- Kathleen McKeown, Steven Feiner, Jacques Robin, Dorée D. Seligmann, Michael A. Tanenblatt: Generating Cross-References for Multimedia Explanation. 9-16
- Thomas J. Murray, Beverly Park Woolf: Results of Encoding Knowledge with Tutor Construction Tools. 17-23
- Daniel D. Suthers, Beverly Park Woolf, Matthew Cornell: Steps from Explanation Planning to Model Construction Dialogues. 24-30
Learning
Learning: Constructive and Linguistic
- George Berg: A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation. 32-37
- Claire Cardie: Learning to Disambiguate Relative Pronouns. 38-43
- Boonserm Kijsirikul, Masayuki Numao, Masamichi Shimura: Discrimination-Based Constructive Induction of Logic Programs. 44-49
Learning: Discovery
- Michael R. Lowry: Symmetry as Bias: Rediscovering Special Relativity. 56-62
- Raúl E. Valdés-Pérez: Theory-Driven Discovery of Reaction Pathways in the MECHEM System. 63-69
- Robert Zembowicz, Jan M. Zytkow: Discovery of Equations: Experimental Evaluation of Convergence. 70-75
- Jan M. Zytkow, Jieming Zhu, Robert Zembowicz: Operational Definition Refinement: A Discovery Process. 76-81
Learning: Inductive
- Gilles Bisson: Learning in FOL with a Similarity Measure. 82-87
- C. Lisa Dent, Jesus Boticario, John P. McDermott, Tom M. Mitchell, David Zabowski: A Personal Learning Apprentice. 96-103
- Usama M. Fayyad, Keki B. Irani: The Attribute Selection Problem in Decision Tree Generation. 104-110
- Haym Hirsh: Polynomial-Time Learning with Version Spaces. 117-122
- Randy Kerber: ChiMerge: Discretization of Numeric Attributes. 123-128
- Kenji Kira, Larry A. Rendell: The Feature Selection Problem: Traditional Methods and a New Algorithm. 129-134
- Philip D. Laird: Discrete Sequence Prediction and its Applications. 135-140
- Steven W. Norton, Haym Hirsh: Classifier Learning from Noisy Data as Probabilistic Evidence Combination. 141-146
- Cullen Schaffer: Sparse Data and the Effect of Overfitting Avoidance in Decision Tree Induction. 147-152
- Wei-Min Shen: Complementary Discrimination Learning with Decision Lists. 153-158
Learning: Neural Network and Hybrid
- Joo-Hwee Lim, Ho-Chung Lui, Pei-Zhuang Wang: A Framework for Integrating Fault Diagnosis and Incremental Knowledge Acquisition in Connectionist Expert Systems. 159-164
- Richard Maclin, Jude W. Shavlik: Using Knowledge-Based Neural Networks to Improve Algorithms: Refining the Chou-Fasman Algorithm for Protein Folding. 165-170
- Richard S. Sutton: Adapting Bias by Gradient Descent: An Incremental Version of Delta-Bar-Delta. 171-176
- Geoffrey G. Towell, Jude W. Shavlik: Using Symbolic Learning to Improve Knowledge-Based Neural Networks. 177-182
Learning: Robotic
- Lonnie Chrisman: Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions Approach. 183-188
- Jack Gelfand, Marshall Flax, Raymond Endres, Stephen H. Lane, David Handelman: Acquisition of Automatic Activity through Practice: Changes in Sensory Input. 189-193
- Satinder P. Singh: Reinforcement Learning with a Hierarchy of Abstract Models. 202-207
Learning: Theory
- Thomas L. Dean, Dana Angluin, Kenneth Basye, Sean P. Engelson, Leslie Pack Kaelbling, Evangelos Kokkevis, Oded Maron: Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning. 208-214
- Michael J. Kearns: Oblivious PAC Learning of Concept Hierarchies. 215-222
- Prasad Tadepalli: A Theory of Unsupervised Speedup Learning. 229-234
Utility and Bias
- Jonathan Gratch, Gerald DeJong: COMPOSER: A Probabilistic Solution to the Utility Problem in Speed-Up Learning. 235-240
- Lawrence B. Holder: Empirical Analysis of the General Utility Problem in Machine Learning. 249-254
Multi-Agent Coordination
- Eithan Ephrati, Jeffrey S. Rosenschein: Constrained Intelligent Action: Planning Under the Influence of a Master Agent. 263-268
- Nicholas R. Jennings, E. H. Mamdani: Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic Environments. 269-275
- Yoav Shoham, Moshe Tennenholtz: On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report). 276-281
- Michael P. Wellman: A General-Equilibrium Approach to Distributed Transportation Planning. 282-289
Natural Language
Natural Language: Interpretation
- Michael J. Almeida: An Approach to the Representation of Iterative Situations. 291-295
- Cecile T. Balkanski: Actions, Beliefs and Intentions in Rationale Clauses and Means Clauses. 296-301
- Daniel Jurafsky: An On-Line Computational Model of Human Sentence Interpretation. 302-308
- Steven L. Lytinen, Robert R. Burridge, Jeffrey D. Kirtner: Literal Meaning and the Comprehension of Metaphors. 309-314
Natural Language: Parsing
- Paul S. Jacobs: Parsing Run Amok: Relation-Driven Control for Text Analysis. 315-321
- Uri Zernik: Shipping Departments vs. Shipping Pacemakers: Using Thematic Analysis to Improve Tagging Accuracy. 335-342
Perception
- Anna Corazza, Renato de Mori, Giorgio Satta: Computation of Upper-Bounds for Stochastic Context-Free Languages. 344-349
- Venu Govindaraju, Sargur N. Srihari, David B. Sher: A Computational Model for Face Location Based on Cognitive Principles. 350-355
Planning
- Gregg Collins, Louise Pryor: Achieving the Functionality of Filter Conditions in a Partial Order Planner. 375-380
- Kutluhan Erol, Dana S. Nau, V. S. Subrahmanian: On the Complexity of Domain-Independent Planning. 381-386
- Adele E. Howe: Analyzing Failure Recovery to Improve Planner Design. 387-392
- Charles J. Petrie: Constrained Decision Revision. 393-400
- Kwang Ryel Ryu, Keki B. Irani: Learning from Goal Interactions in Planning: Goal Stack Analysis and Generalization. 401-407
Problem Solving
Problem Solving: Constraint Satisfaction
- Mukesh Dalal: Efficient Propositional Constraint Propagation. 409-414
- Nicholas J. Haddock: Semantic Evaluation as Constraint Network Consistency. 415-420
- Paul D. Hubbe, Eugene C. Freuder: An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space. 421-427
- Paul Morris: On the Density of Solutions in Equilibrium Points for the Queens Problem. 428-433
- Gadi Pinkas, Rina Dechter: An Improved Connectionist Activation Function for Energy Minimization. 434-439
- Bart Selman, Hector J. Levesque, David G. Mitchell: A New Method for Solving Hard Satisfiability Problems. 440-446
- Peter van Beek: On the Minimality and Decomposability of Constraint Networks. 447-452
- Nageshwara Rao Vempaty: Solving Constraint Satisfaction Problems Using Finite State Automata. 453-458
Problem Solving: Hardness and Easiness
- David G. Mitchell, Bart Selman, Hector J. Levesque: Hard and Easy Distributions of SAT Problems. 459-465
Problem Solving: Real-Time
- Franz Barachini, Hans Mistelberger, Anoop Gupta: Run-Time Prediction for Production Systems. 478-485
- James G. Schmolze, Daniel E. Neiman: Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems. 492-499
Problem Solving: Search and Expert Systems
- Eric B. Baum: On Optimal Game Tree Propagation for Imperfect Players. 507-512
- Arthur L. Delcher, Simon Kasif: Improved Decision-Making in Game Trees: Recovering from Pathology. 513-518
- Walter Hamscher: Modeling Accounting Systems to Support Multiple Tasks: A Progress Report. 519-524
- Toru Ishida: Moving Target Search with Intelligence. 525-532
- Richard E. Korf: Linear-Space Best-First Search: Summary of Results. 533-538
- Ambuj Mahanti, Subrata Ghosh, Dana S. Nau, Asim K. Pal, Laveen N. Kanal: Performance of IDA on Trees and Graphs. 539-544
- Weixiong Zhang, Richard E. Korf: An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results. 545-550
Representation and Reasoning
Representation and Reasoning: Abduction and Diagnosis
- Keith L. Downing: Consistency-Based Diagnosis in Physiological Domains. 558-563
- Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka: Adaptive Model-Based Diagnostic Mechanism Using a Hierarchical Model Scheme. 564-569
- Bon K. Sy: Reasoning MPE to Multiply Connected Belief Networks Using Message Passing. 570-576
Representation and Reasoning: Action and Change
- James M. Crawford, David W. Etherington: Formalising Reasoning about Change: A Qualitative Reasoning Approach. 577-583
- Mark A. Young: Nonmonotonic Sorts for Feature Structures. 596-601
Representation and Reasoning: Belief
- Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. 602-608
- Craig Boutilier: A Logic for Revision and Subjunctive Queries. 609-615
- James Bowen, K. Robert Lai, Dennis Bahler: Lexical Imprecision in Fuzzy Constraint Networks. 616-621
- Piotr J. Gmytrasiewicz, Edmund H. Durfee: A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report. 628-634
- Kurt Konolige: Ideal Introspective Belief. 635-641
- Alessandro Saffiotti: A Belief-Function Logic. 642-647
- Jacques Wainer: Combining Circumscription and Modal Logic. 648-653
Representation and Reasoning: Case-Based
- A. Julian Craddock: Common Sense Retrieval. 661-666
- Daniel C. Edelson: When Should a Cheetah Remind You of a Bat? Reminding in Case-Based Teaching. 667-672
- Eric K. Jones: Model-Based Case Adaptation. 673-678
Representation and Reasoning: Qualitative
- Zhan Cui, Anthony G. Cohn, David A. Randell: Qualitative Simulation Based on a Logical Formalism of Space and Time. 679-684
- Kenneth D. Forbus, Brian Falkenhainer: Self-Explanatory Simulations: Scaling Up to Large Models. 685-690
- Gordon Skorstad: Towards a Qualitative Lagrangian Theory of Fluid Flow. 691-696
- Randall H. Wilson, Jean-Claude Latombe: On the Qualitative Structure of a Mechanical Assembly. 697-702
Representation and Reasoning: Qualitative Model Construction
- P. Pandurang Nayak: Causal Approximations. 703-709
- P. Pandurang Nayak, Leo Joskowicz, Sanjaya Addanki: Automated Model Selection Using Context-Dependent Behaviors. 710-716
- R. Bharat Rao, Stephen C. Y. Lu: Learning Engineering Models with the Minimum Description Length Principle. 717-722
- Bradley L. Richards, Ina Kraan, Benjamin Kuipers: Automatic Abduction of Qualitative Models. 723-728
Representation and Reasoning: Temporal
- Tom Bylander: Complexity Results for Serial Decomposability. 729-734
- Jürgen Dorn: Temporal Reasoning in Sequence Graphs. 735-740
- Bernhard Nebel, Christer Bäckström: On the Computational Complexity of Temporal Projection and Plan Validation. 748-753
Representation and Reasoning: Terminological
- William W. Cohen, Alexander Borgida, Haym Hirsh: Computing Least Common Subsumers in Description Logics. 754-760
- Robert Dionne, Eric Mays, Frank J. Oles: A Non-Well-Founded Approach to Terminological Cycles. 761-766
- Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich: An Empirical Analysis of Terminological Representation Systems. 767-773
Representation and Reasoning: Tractability
- Johan de Kleer: An Improved Incremental Algorithm for Generating Prime Implicates. 780-785
- Jonathan Stillman: The Complexity of Propositional Default Logics. 794-799
Robot Navigation
- R. Peter Bonasso, H. James Antonisse, Marc G. Slack: A Reactive Robot System for Find and Fetch Tasks in an Outdoor Environment. 801-808
- Erann Gat: Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots. 809-815
- David P. Miller, Rajiv S. Desai, Erann Gat, Robert Ivlev, John Loch: Reactive Navigation through Rough Terrain: Experimental Results. 823-828
Scaling Up
- Robert B. Doorenbos, Milind Tambe, Allen Newell: Learning 10, 000 Chunks: What's It Like Out There? 830-836
- Nomi L. Harris, Lawrence Hunter, David J. States: Mega-Classification: Discovering Motifs in Massive Datastreams. 837-842
- Hiroaki Kitano, Akihiro Shibata, Hideo Shimazu, Juichirou Kajihara, Atsumi Sato: Building Large-Scale and Corporate-Wide Case-Based Systems: Integration of the Organizational and Machine Executable Algorithms. 843-849
- Hiroaki Kitano, Moritoshi Yasunaga: Wafer Scale Integration for Massively Parallel Memory-Based Reasoning. 850-856
Invited Talks
- Edmund H. Durfee: What Your Computer Really Needs to Know, You Learned in Kindergarten. 858-864
- Kristian J. Hammond: Reasoning as Remembering: The Theory and Practice of CBR. 865
- Lawrence Hunter: Artificial Intelligence and Molecular Biology. 866-868
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team