default search action
10th AAAI 1992: San Jose, California
- William R. Swartout:
Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, 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 R. McKeown, Steven Feiner, Jacques Robin, Dorée D. Seligmann, Michael A. Tanenblatt:
Generating Cross-References for Multimedia Explanation. 9-16 - Tom 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 - Bradley L. Richards, Raymond J. Mooney:
Learning Relations by Pathfinding. 50-55
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 - Vlad G. Dabija, Katsuhiko Tsujino, Shogo Nishida:
Learning to Learn Decision Trees. 88-95 - 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 - David Perry Greene, Stephen F. Smith:
COGIN: Symbolic Induction with Genetic Algorithms. 111-116 - 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 - John R. Koza, James P. Rice:
Automatic Programming of Robots Using Genetic Programming. 194-201 - 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 - Pat Langley, Wayne Iba, Kevin Thompson:
An Analysis of Bayesian Classifiers. 223-228 - 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 - Russell Greiner, Igor Jurisica:
A Statistical Approach to Solving the EBL Utility Problem. 241-248 - Lawrence B. Holder:
Empirical Analysis of the General Utility Problem in Machine Learning. 249-254 - Foster J. Provost, Bruce G. Buchanan:
Inductive Policy. 255-261
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 - Mark A. Jones, Jason Eisner:
A Probabilistic Parser Applied to Software Testing Documents. 322-328 - Ellen Riloff, Wendy G. Lehnert:
Classifying Texts Using Relevancy Signatures. 329-334 - 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 - Yibing Yang, Alan L. Yuille:
Grouping Iso-Velocity Points for Ego-Motion Recovery. 356-361
Planning
- Philip E. Agre, Ian Horswill:
Cultural Support for Improvisation. 363-368 - Fahiem Bacchus, Qiang Yang:
The Expected Value of Hierarchical Problem-Solving. 369-374 - 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 - Ron Musick, Stuart Russell:
How Long Will It Take? 466-471 - Colin P. Williams, Tad Hogg:
Using Deep Structure to Locate Hard Problems. 472-477
Problem Solving: Real-Time
- Franz Barachini, Hans Mistelberger, Anoop Gupta:
Run-Time Prediction for Production Systems. 478-485 - Babak Hamidzadeh, Shashi Shekhar:
Can Real-Time Search Algorithms Meet Deadlines? 486-491 - James G. Schmolze, Daniel E. Neiman:
Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems. 492-499 - Ursula M. Schwuttke, Les Gasser:
Real-time Metareasoning with Dynamic Trade-off Evaluation. 500-506
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
- Eugene Charniak, Eugene Santos Jr.:
Dynamic MAP Calculations for Abduction. 552-557 - 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 - Alvaro del Val, Yoav Shoham:
Deriving Properties of Belief Update from Theories of Action. 584-589 - Fangzhen Lin, Yoav Shoham:
Concurrent Actions in the Situation Calculus. 590-595 - 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 R. Bahler:
Lexical Imprecision in Fuzzy Constraint Networks. 616-621 - Adnan Darwiche, Matthew L. Ginsberg:
A Symbolic Generalization of Probability Theory. 622-627 - 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
- Kevin D. Ashley, Vincent Aleven:
Generating Dialectical Examples Automatically. 654-660 - 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 - Martin Charles Golumbic, Ron Shamir:
Algorithms and Complexity for Reasoning about Time. 741-747 - 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 - Robert M. MacGregor, David Brill:
Recognition Algorithms for the Loom Classifier. 774-779
Representation and Reasoning: Tractability
- Johan de Kleer:
An Improved Incremental Algorithm for Generating Prime Implicates. 780-785 - Henry A. Kautz, Bart Selman:
Forming Concepts for Fast Inference. 786-793 - Jonathan Stillman:
The Complexity of Propositional Default Logics. 794-799
Robot Navigation
- R. Peter Bonasso, Hendrik 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 - Anthony Lazanas, Jean-Claude Latombe:
Landmark-Based Robot Navigation. 816-822 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: