12. AAAI 1994:
Seattle, WA, USA
Barbara Hayes-Roth, Richard E. Korf (Eds.):
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 2.
AAAI Press / The MIT Press 1994, ISBN 0-262-61102-3 
Neural Networks
- Venkat Ajjanagadde:
Unclear Distinctions Lead to Unnecessary Shortcomings: Examining the Rule versus Fact, Role versus Filler, and Type versus Predicate Distinctions from a Connectionist Representation and Reasoning Perspective.
846-851
- C. J. Gibert, Tom Routen:
Associative Memory in an Immune-Based System.
852-857
- Risto Miikkulainen, Dennis Bijwaard:
Parsing Embedded Clauses with Distributed Neural Networks.
858-864
- Roger M. Records, Jai J. Choi:
Spurious Symptom Reduction in Fault Monitoring Using a Neural Network and Knowledge Base Hybrid System.
865-870
- Steve G. Romaniuk:
Learning to Learn: Automatic Adaptation of Learning Bias.
871-876
- Hava T. Siegelmann:
Neural Programming Language.
877-882
- Claudia Ulbricht:
Multi-Recurrent Networks for Traffic Forecasting.
883-888
- Daniel S. Yeung, Hank-Shun Fong:
Knowledge Matrix - An Explanation & Knowledge Refinement Facility for a Rule Induced Neural Network.
889-894
- Weixiong Zhang, Joseph C. Pemberton:
Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems Initial Results.
895-900
Nonmonotonic Reasoning
Belief Revision
Nonmonotonic Reasoning
Perception
- Michael Chan, Dimitris N. Metaxas, Sven J. Dickinson:
A New Approach to Tracking 3D Objects in 2D Image Sequences.
960-965
- Timothy Huang, Daphne Koller, Jitendra Malik, Gary H. Ogasawara, B. Rao, Stuart J. Russell, Joseph Weber:
Automatic Symbolic Traffic Scene Analysis Using Belief Networks.
966-972
- Keiji Kanazawa:
Sensible Decisions: Toward a Theory of Decision-Theoretic Information Invariants.
973-978
- David Kortenkamp, Terry E. Weymouth:
Topological Mapping for Mobile Robots Using a Combination of Sonar and Vision Sensing.
979-984
- Michael Lindenbaum, Shai Ben-David:
Applying VC-Dimension Analysis To 3D Object Recognition from Perspective Projections.
985-990
Planning and Scheduling
Causal-Link Planning
Planning:
Agents
Planning:
Representation
Planning Under Uncertainty
Scheduling
Task Network Planning
Qualitative and Model-Based Reasoning
Model-Based Reasoning
Qualitative Reasoning:
Modeling
Qualitative Reasoning:
Simulation
Robotics
Formal Models of Reactive Control
Learning Robotic Agents
Robot Control, Locomotion and Manipulation
Search and Genetic Algorithms
Genetic Algorithms and Simulated Annealing
Search
Two-Player Games
Spatial Reasoning
Student Abstracts
- Saliha Azzam:
Classification of Noun Phrases into Concepts or Individuals.
1425
- Lisa Ballesteros:
Regression Based Causal Induction with Latent Variable Models.
1426
- Jim Blythe:
Probabilistic Knowledge of External Events in Planning.
1427
- Stefanie Brüninghaus:
DANIEL: Integrating Case-Based and Rule-Based Reasoning in Law.
1428
- Lisa J. Burnell:
Decision-Theoretic Plan Failure Debugging and Repair.
1429
- Vanja Buvac:
Decidability of Contextual Reasoning.
1430
- YaLing Chang:
Simplifying Bayesian Belief Nets while Preserving MPE or MPGE Ordering.
1431
- Yousong Chang, Donald Nute:
Abstract of the Forest Management Advisory Systems.
1432
- Michael H. Coen:
SodaBot: A Software Agent Environment and Construction System.
1433
- Robin Collier:
Empirical Knowledge Representation Generation Using N-Gram Clustering.
1434
- Michael T. Cox:
Case-Based Introspection.
1435
- Diana Cukierman, James P. Delgrande:
Time Units and Calendars.
1436
- Daniel E. Damouth, Edmund H. Durfee:
Local Search in the Coordination of Intelligent Agents.
1437
- Angélica de Antonio, Jesús Cardeñosa, Loïc Martínez Normand:
GKR: A Generic Model of Knowledge Representation.
1438
- John Demiris:
Experiments Towards Robotic Learning by Imitation.
1439
- Rujith de Silva:
Goal-Clobbering Avoidance in Non-Linear Planners.
1440
- Mark Devaney, Ashwin Ram:
Dynamically Adjusting Categories to Accommodate Changing Contexts.
1441
- Surnjani Djoko:
Substructure Discovery Using Minimum Description Length Principle and Background Knowledge.
1442
- Steven K. Donoho, David C. Wilkins:
Exploiting the Ordering of Observed Problem-Solving Steps for Knowledge Base Refinement: An Apprenticeship Approach.
1443
- Erik Eilerts:
The KM / KnEd System: An Integrated Approach to Building Large-Scale Multifunctional Knowledge Bases.
1444
- Mark Fasciano:
Situated Agents Can Have Plans.
1445
- Susan Fox, David B. Leake:
Introspective Reasoning in a Case-Based Planner.
1446
- Alexander Franz:
A Statistical Method for Handling Unknown Words.
1447
- Andrew S. Gavin:
Low Computation Vision-Based Navigation for a Martian Rover.
1448
- Terrance Goan, Oren Etzioni:
Learning About Software Errors Via Systematic Experimentation.
1449
- Richard Goodwin:
Reasoning about What to Plan.
1450
- Vanathi Gopalakrishnan, Daniel N. Hennessy, Bruce G. Buchanan, Devika Subramanian:
The Crystallographer's Assistant.
1451
- Lloyd Greenwald, Thomas Dean:
Time-Critical Scheduling in Stochastic Domains.
1452
- Gail Haddock:
Planning for Component-Based Configurations.
1453
- Kyungsook Han, Andrew Gelsey:
The Epistemology of Physical System Modeling.
1454
- Corinne Haouche:
Testing a KBS Using a Conceptual Model.
1455
- Katsutoshi Hirayama, Seiji Yamada, Jun'ichi Toyoda:
A Dynamic Organization in Distributed Constraint Satisfaction.
1456
- Louis J. Hoebel:
Tractable Anytime Temporal Constraint Propagation.
1457
- Keiko Horiguchi:
Processing Pragmatics for Computer-Assisted Language Instruction.
1458
- Damon Horowitz:
Generating Rhythms with Genetic Algorithms.
1459
- Marcus J. Huber, Edmund H. Durfee, Michael P. Wellman:
The Automated Mapping of Plans for Plan Recognition.
1460
- Scott B. Hunter:
Preliminary Studies in Agent Design in Simulated Environments.
1461
- Qiang Ji, Michael M. Marefat, Paul J. A. Lever:
Dempster-Shafer and Bayesian Network for CAD-Based Feature Extraction: A Comparative Investigation and Analysis.
1462
- George H. John:
Finding Multivariate Splits in Decision Trees Using Function Optimization.
1463
- George H. John:
When the Best Move Isn't Optimal: Q-learning with Exploration.
1464
- Leo Joskowicz, Elisha Sacks:
HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces.
1465
- Thomas E. Kammeyer, Richard K. Belew:
Learning Sorting Networks By Grammars.
1466
- Steven P. Ketchpel:
The Formation of Coalitions Among Self-Interested Agents.
1467
- Stephen V. Kowalski:
Learning From Ambiguous Examples.
1468
- Nicholas Kushmerick:
Exploiting the Environment: Urban Navigation as a Case Study.
1469
- David Lee, Michael Recce:
Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
1470
- Thomas F. McDougal:
Everyday Reasoning Meets Geometry Theorem-Proving.
1471
- John MacIntyre, Peter Smith, John Tait:
Determination of Machine Condition Using Neural Networks.
1472
- Kavi Mahesh:
Building a Parser That can Afford to Interact with Semantics.
1473
- Oded Maron:
Using Errors to Create Piecewise Learnable Partitions.
1474
- C. Medina, L. Pratt, C. Ganesh:
Development of an Intelligent Forensic System for Hair Analysis and Comparison.
1475
- Joël Milgram:
Model-Based Sensor Diagnosis: When Monitoring Should Be Monitored.
1476
- Debasis Mitra:
Theoreticai and Experimental Studies of Temporal Constraint Satisfaction Problem.
1477
- Kenneth Moorman, Ashwin Ram:
A Theory of Reading.
1478
- Shubha S. Nerur:
A Hybrid Parallel IDA Search.
1479
- Madhura Nirkhe:
Time-Situated Reasoning within Tight Deadlines and Realistic Space and Computation Bounds.
1480
- David C. Noelle, Garrison W. Cottrell:
Integrating Induction & Instruction: Connectionist Advice Taking.
1481
- DoKyeong Ok:
A Comparison of Reinforcement Learning Methods for Automatic Guided Vehicle Scheduling.
1482
- Julio Ortega:
Making the Most of What You've Got: Using Models and Data to Improve Learning Rate and Prediction Accuracy.
1483
- M. Alicia Pérez:
Learning Quality-Enhancing Control Knowledge.
1484
- Mike Perkowitz, Oren Etzioni:
Database Learning for Software Agents.
1485
- Nancy E. Reed:
Diagnosing Multiple Interacting Defects with Combination Descriptions.
1486
- W. Scott Neal Reilly:
Building Emotional Characters for Interactive Drama.
1487
- Warren Sack:
On the Computation of Point of View.
1488
- Mahendra Sekaran, Sandip Sen:
Multi-Agent Learning in Non-Cooperative Domains.
1489
- Onn Shehory:
Coalition Formation Methods in Multi-Agent Environments.
1490
- Vishal Sikka:
Integrating Specialized Procedures in Proof Systems.
1491
- Raja Sooriamurthi, David B. Leake:
Towards Situated Explanation.
1492
- Eleni Stroulia:
Reflective Reasoning and Learning.
1493
- C. Vasudevan:
Case-Based Reasoning for Weather Prediction.
1494
- José M. Vidal, Edmund H. Durfee:
Agent Modeling Methods Using Limited Rationality.
1495
- Xuemei Wang:
Learning by Observation and Practice: A Framework for Automatic Acquisition of Planning Operators.
1496
- Mike Wessler:
A Modular Visual Tracking System.
1497
- Mike Williamson, Steve Hanks:
Utility-Directed Planning.
1498
- Hong Xiang, Brahm P. Verma, Gerrit Hoogenboom:
Fuzzy Irrigation Decision Support System.
1499
- Holly A. Yanco:
Synthetic Robot Language Development.
1500
- Liu Zhang, Donald Potter:
Computer Simulation of Statistics and Educational Measurement StatSim: An Intelligent Tutoring System for Statistics.
1501
Video Program
- Barbara Hayes-Roth, N. Serdar Uckun, Jan Eric Larsson, David M. Gaba, Juliana Barr, Jane Chien:
Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring.
1503
- Randolph M. Jones:
Dynamic Generation of Complex Behavior.
1504
- Leo Joskowicz, Elisha Sacks:
HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces.
1505
- Pattie Maes, Trevor Darrell, Bruce Blumberg, Alex Pentland:
ALIVE: Artificial Life Interactive Video Environment.
1506
- Jack Mostow, Alexander G. Hauptmann, Steven F. Roth, Matthew Kane, Adam Swift, Lin Lawrence Chase, Bob Weide:
A Reading Coach that Listens: (Edited) Video Transcript.
1507
- David Rosenthal:
Machine Rhythm.
1508
Last update Mon May 20 04:54:56 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
