• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 12 /

Book One

Automated Reasoning

  • Rule Based Updates on Simple Knowledge Bases

    Chitta Baral

    136

    PDF
  • Recovering Software Specifications with Inductive Logic Programming

    William W. Cohen

    142

    PDF
  • Can We Enforce Full Compositionality in Uncertainty Calculi?

    Didier DuBois, Henri Prade

    149

    PDF
  • An Empirical Evaluation of Knowledge Compilation by Theory Approximation

    Henry Kautz, Bart Selman

    155

    PDF
  • ModGen: Theorem Proving by Model Generation

    Sun Kim, Hantao Zhang

    162

    PDF
  • Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas

    Steven Minton, Ian Underwood

    168

    PDF
  • Avoiding Tests for Subsumption

    Anavai Ramesh, Neil V. Murray

    175

    PDF
  • On Kernel Rules and Prime Implicants

    Ron Rymon

    181

    PDF
  • Using Hundreds of Workstations to Solve First-Order Logic Problems

    Alberto Maria Segre, David B. Sturgill

    187

    PDF
  • Termination Analysis of OPS5 Expert Systems

    Hsiu-yen Tsai, Albert Mo Kim Cheng

    193

    PDF

Description Logic

  • Refining the Structure of Terminological Systems: Terminology = Schema + Views

    M. Buchheit, W. Nutt, F. M. Donini, A. Schaerf

    199

    PDF
  • Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

    Giuseppe De Giacomo, Maurizio Lenzerini

    205

    PDF
  • A Description Classifier for the Predicate Calculus

    Robert M. MacGregor

    213

    PDF

Enabling Technologies

  • Discovering Procedural Executions of Rule-Based Programs

    David Gadbois, Daniel Miranker

    459

    PDF
  • Mechanisms for Efficiency in Blackboard Systems

    Michael Hewett, Rattikorn Hewett

    465

    PDF
  • Model-Based Automated Generation of User Interfaces

    Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen

    471

    PDF
  • The Relationship between Architectures and Example-Retrieval Times

    Eiichiro Sumita, Naoya Nisiyama, Hitoshi Iida

    478

    PDF
  • Combining Left and Right Unlinking for Matching a Large Number of Learned Rules

    Robert B. Doorenbos

    451

    PDF

Instructional Environments

  • An Instructional Environment for Practicing Argumentation Skills

    Vincent Aleven, Kevin D. Ashley

    485

    PDF
  • Tailoring Retrieval to Support Case-Based Teaching

    Robin Burke, Alex Kass

    493

    PDF
  • Situated Plan Attribution for Intelligent Tutoring

    Randall W. Hill, Jr., W. Lewis Johnson

    499

    PDF
  • Learning from Highly Flexible Tutorial Instruction

    Scott B. Huffman, John E. Laird

    506

    PDF
  • Case-Based Retrieval Interface Adapted to Customer-Initiated Dialogues in Help Desk Operations

    Hideo Shimazu, Akihiro Shibata, Katsumi Nihei

    513

    PDF

Meta AI

  • Using Knowledge Acquisition and Representation Tools to Support Scientific Communities

    Brian R. Gaines, Mildred L. G. Shaw

    707

    PDF
  • Talking About AI: Socially Defined Linguistic Subcontexts in AI

    Amy M. Steier, Richard K. Belew

    715

    PDF

Neural Networks

  • Spurious Symptom Reduction in Fault Monitoring Using a Neural Network and Knowledge Base Hybrid System

    Roger M. Records, Jai J. Choi

    865

    PDF
  • Learning to Learn: Automatic Adaptation of Learning Bias

    Steve G. Romaniuk

    871

    PDF
  • Neural Programming Language

    Hava T. Siegelmann

    877

    PDF
  • Multi-Recurrent Networks for Traffic Forecasting

    Claudia Ulbricht

    883

    PDF
  • Knowledge Matrix — An Explanation and Knowledge Refinement Facility for a Rule Induced NeuralNetwork

    Daniel S. Yeung, Hank-shun Fong

    889

    PDF
  • Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems Initial Results

    Weixiong Zhang, Joseph C. Pemberton

    895

    PDF
  • Associative Memory in an Immune-Based System

    C.J. Gibert, T.W. Routen

    852

    PDF
  • Parsing Embedded Clauses with Distributed Neural Networks

    Risto Miikkulainen, Dennis Bijwaard

    858

    PDF
  • 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

    Venkat Ajjanagadde

    846

    PDF

Perception

  • Topological Mapping for Mobile Robots Using a Combination of Sonar and Vision Sensing

    David Kortenkamp, Terry Weymouth

    979

    PDF
  • Applying VC-Dimension Analysis to 3D Object Recognition from Perspective Projections

    Michael Lindenbaum, Shai Ben-David

    985

    PDF
  • A New Approach to Tracking 3D Objects in 2D Image Sequences

    Michael Chan, Dimitri Metaxas, Sven Dickinson

    960

    PDF
  • Automatic Symbolic Traffic Scene Analysis Using Belief Networks

    T. Huang, D. Koller, J. Malik, G. Ogasawara, B. Rao, S. Russell, J. Weber

    966

    PDF
  • Sensible Decisions: Toward a Theory of Decision-Theoretic Information Invariants

    Keiji Kanazawa

    973

    PDF

Spatial Reasoning

  • Basic Meanings of Spatial Relations: Computation and Evaluation in 3D Space

    Klaus-Peter Gapp

    1393

    PDF
  • Automatic Depiction of Spatial Descriptions

    Patrick Olivier, Toshiyuki Maeda, Jun-ichi Tsujii

    1405

    PDF
  • A Model for Integrated Qualitative Spatial and Dynamic Reasoning about Physical Systems

    Raman Rajagopalan

    1411

    PDF
  • A Theory for Qualitative Spatial Reasoning Based on Order Relations

    Ralf Röhrig

    1418

    PDF

Student Abstracts

  • Learning by Observation and Practice: A Framework for Automatic Acquisition of Planning Operators

    Xuemei Wang

    1496

    PDF
  • A Modular Visual Tracking System

    Mike Wessler

    1497

    PDF
  • Utility-Directed Planning

    Mike Williamson, Steve Hanks

    1498

    PDF
  • Fuzzy Irrigation Decision Support System

    Hong Xiang, Brahm P. Verma, Gerrit Hoogenboom

    1499

    PDF
  • Synthetic Robot Language Development

    Holly A. Yanco

    1500

    PDF
  • Computer Simulation of Statistics and Educational Measurement StatSim: An Intelligent Tutoring System for Statistics

    Liu Zhang, Donald Potter

    1501

    PDF
  • Model-Based Sensor Diagnosis: When Monitoring Should be Monitored

    Joël Milgram

    1476

    PDF
  • Theoretical and Experimental Studies of Temporal Constraint Satisfaction Problem

    Debasis Mitra

    1477

    PDF
  • A Theory of Reading

    Kenneth Moorman, Ashwin Ram

    1478

    PDF
  • A Hybrid Parallel IDA Search

    Shubha S. Nerur

    1479

    PDF
  • Time-Situated Reasoning within Tight Deadlines and Realistic Space and Computation Bounds

    Madhura Nirkhe

    1480

    PDF
  • Integrating Induction & Instruction: Connectionist Advice Taking

    David C. Noelle, Garrison W. Cottrell

    1481

    PDF
  • A Comparison of Reinforcement Learning Methods for Automatic Guided Vehicle Scheduling

    DoKyeong Ok

    1482

    PDF
  • Making the Most of What You’ve Got: Using Models and Data to Improve Learning Rate and Prediction Accuracy

    Julio Ortega

    1483

    PDF
  • Learning Quality-Enhancing Control Knowledge

    M. Alicia Pérez

    1484

    PDF
  • Database Learning for Software Agents

    Mike Perkowitz, Oren Etzioni

    1485

    PDF
  • Diagnosing Multiple Interacting Defects with Combination Descriptions

    Nancy E. Reed

    1486

    PDF
  • Building Emotional Characters for Interactive Drama

    W. Scott Reilly

    1487

    PDF
  • On the Computation of Point ofView

    Warren Sack

    1488

    PDF
  • Multi-Agent Learning in Non-Cooperative Domains

    Mahendra Sekaran, Sandip Sen

    1489

    PDF
  • Coalition Formation Methods in Multi-Agent Environments

    Onn Shechory

    1490

    PDF
  • Integrating Specialized Procedures in Proof Systems

    Vishal Sikka

    1491

    PDF
  • Towards Situated Explanation

    Raja Sooriamurthi, David Leake

    1492

    PDF
  • Reflective Reasoning and Learning

    Eleni Stroulia

    1493

    PDF
  • Case-Based Reasoning for Weather Prediction

    C. Vasudevan

    1494

    PDF
  • Agent Modeling Methods Using Limited Rationality

    José M. Vidal, Edmund H. Durfee

    1495

    PDF
  • A Dynamic Organization in Distributed Constraint Satisfaction

    Katsutoshi Hirayama, Seiji Yamada, Jun'ichi Toyoda

    1456

    PDF
  • Tractable Anytime Temporal Constraint Propagation

    Louis J. Hoebel

    1457

    PDF
  • Processing Pragmatics for Computer-Assisted Language Instruction

    Keiko Horiguchi

    1458

    PDF
  • Generating Rhythms with Genetic Algorithms

    Damon Horowitz

    1459

    PDF
  • The Automated Mapping of Plans for Plan Recognition

    Marcus J. Huber, Edmund H. Durfee, Michael P. Wellman

    1460

    PDF
  • Preliminary Studies in Agent Design in Simulated Environments

    Scott B. Hunter

    1461

    PDF
  • Dempster-Shafer and Bayesian Networks for CAD-Based Feature Extraction: A Comparative Investigation and Analysis

    Qiang Ji, Michael M. Marefat, Paul J. A. Lever

    1462

    PDF
  • Finding Multivariate Splits in Decision Trees Using Function Optimization

    George H. John

    1463

    PDF
  • When the Best Move Isn’t Optimal: Q-learning with Exploration

    George H. John

    1464

    PDF
  • HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces

    Leo Joskowicz, Elisha Sacks

    1465

    PDF
  • Learning Sorting Networks By Grammars

    Thomas E. Kammeyer, Richard K. Belew

    1466

    PDF
  • The Formation of Coalitions among Self-Interested Agents

    Steven Ketchpel

    1467

    PDF
  • Learning from Ambiguous Examples

    Stephen V. Kowalski

    1468

    PDF
  • Exploiting the Environment: Urban Navigation as a Case Study

    Nicholas Kushmerick

    1469

    PDF
  • Quantitative Evaluation of the Exploration Strategies of a Mobile Robot

    David Lee, Michael Recce

    1470

    PDF
  • Everyday Reasoning Meets Geometry Theorem-Proving

    Thomas F. McDougal

    1471

    PDF
  • Determination of Machine Condition Using Neural Networks

    John MacIntyre, Peter Smith, John Tait

    1472

    PDF
  • Building a Parser that Can Afford to Interact with Semantics

    Kavi Mahesh

    1473

    PDF
  • Using Errors to Create Piecewise Learnable Partitions

    Oded Maron

    1474

    PDF
  • Development of an Intelligent Forensic System for Hair Analysis and Comparison

    C. Medina, L. Pratt, C. Ganesh

    1475

    PDF
  • Time Units and Calendars

    Diana Cukierman, James Delgrande

    1436

    PDF
  • Local Search in the Coordination of Intelligent Agents

    Daniel E. Damouth, Edmund H. Durfee

    1437

    PDF
  • GKR: A Generic Model of Knowledge Representation

    Angélica de Antonio, Jesús Cardeñosa, Loïc Martínez Normand

    1438

    PDF
  • Experiments Towards Robotic Learning by Imitation

    John Demiris

    1439

    PDF
  • Goal-Clobbering Avoidance in Non-Linear Planners

    Rujith de Silva

    1440

    PDF
  • Dynamically Adjusting Categories to Accommodate Changing Contexts

    Mark Devaney, Ashwin Ram

    1441

    PDF
  • Substructure Discovery Using Minimum Description Length Principle and Background Knowledge

    Surnjani Djoko

    1442

    PDF
  • Exploiting the Ordering of Observed Problem-Solving Steps for Knowledge Base Refinement: An Apprenticeship Approach

    Steven K. Donoho, David C. Wilkins

    1443

    PDF
  • The KM / KnEd System: An Integrated Approach to Building Large-Scale Multifunctional Knowledge Bases

    Erik Eilerts

    1444

    PDF
  • Situated Agents Can Have Plans

    Mark Fasciano

    1445

    PDF
  • Introspective Reasoning in a Case-Based Planner

    Susan Fox, David Leake

    1446

    PDF
  • A Statistical Method for Handling Unknown Words

    Alexander Franz

    1447

    PDF
  • Low Computation Vision-Based Navigation for a Martian Rover

    Andrew S. Gavin

    1448

    PDF
  • Learning about Software Errors Via Systematic Experimentation

    Terrance Goan, Oren Etzioni

    1449

    PDF
  • Reasoning about What to Plan

    Richard Goodwin

    1450

    PDF
  • The Crystallographer’s Assistant

    Vanathi Gopalakrishnan, Daniel Hennessy, Bruce Buchanan, Devika Subramanian

    1451

    PDF
  • Time-Critical Scheduling in Stochastic Domains

    Lloyd Greenwald, Thomas Dean

    1452

    PDF
  • Planning for Compotent-Based Configurations

    Gail Haddock

    1453

    PDF
  • The Epistemology of Physical System Modeling

    Kyungsook Han, Andrew Gelsey

    1454

    PDF
  • Testing a KBS Using a Conceptual Model

    Corinne Haouche

    1455

    PDF
  • Classification of NounPhrases into Concepts or Individuals

    Saliha Azzam

    1425

    PDF
  • Regression Based Causal Induction with Latent Variable Models

    Lisa A. Ballesteros

    1426

    PDF
  • Probabilistic Knowledge of External Events in Planning

    Jim Blythe

    1427

    PDF
  • DANIEL: Integrating Case-Based and Rule-Based Reasoning in Law

    Stefanie Brüninghaus

    1428

    PDF
  • Decision-Theoretic Plan Failure Debugging and Repair

    Lisa J. Burnell

    1429

    PDF
  • Decidability of Contextual Reasoning

    Vanja Buvac

    1430

    PDF
  • Simplifying Bayesian Belief Nets while Preserving MPE or MPGE Ordering

    YaLing Chang

    1431

    PDF
  • Abstract of the Forest Management Advisory Systems

    Yousong Chang, Donald Nute

    1432

    PDF
  • SodaBot: A Software Agent Environment and Construction System

    Michael H. Coen

    1433

    PDF
  • Empirical Knowledge Representation Generation Using N-Gram Clustering

    Robin Collier

    1434

    PDF
  • Case-Based Introspection

    Michael T. Cox

    1435

    PDF

Video Program

  • Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring

    Barbara Hayes-Roth, Serdar Uckun, Jan Eric Larsson, David Gaba, Juliana Barr, Jane Chien

    1503

    PDF
  • Dynamic Generation of Complex Behavior

    Randolph M. Jones

    1504

    PDF
  • HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces

    Leo Joskowicz, Elisha Sacks

    1505

    PDF
  • ALIVE: Artificial Life Interactive Video Environment

    Pattie Maes, Trevor Darrell, Bruce Blumberg, Sandy Pentland

    1506

    PDF
  • A Reading Coach that Listens: (Edited Video Transcript)

    Jack Mostow, Alex Hauptmann, Stevn F. Roth, Matt Kane, Adam Swift, Lin Chase, Bob Weide

    1507

    PDF
  • Machine Rhythm

    David Rosenthal

    1508

    PDF
  • Index to Volumes One and Two

    #VALUE!

    1509

    PDF

Primary Sidebar