12. AAAI 1994: Seattle, WA, USA

Proceedings of the 12th National Conference on Artificial Intelligence, Volume 1. Seattle, WA, USA, July 31 - August 4, 1994. AAAI Press, 1994, ISBN 0-262-61102-3

Technical Papers

The Arts

Art

Lee Spector, Adam Alpern: Criticism, Culture, and the Automatic Generation of Artworks. 3-8

Believable Agents

Clark Elliot: Research Problems in the Use of a Shallow Artificial Intelligence Model of Personality and Emotion. 9-15
Michael L. Mauldin: CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition. 16-21
Katashi Nagao, Akikazu Takeuchi: Social Interaction: Multimodal Conversation with Social Agents. 22-28

Case-Based Reasoning

Michel P. Féret, Janice I. Glasgow: Experience-Aided Diagnosis for Complex Devices. 29-35
Edwina L. Rissland, David B. Skalak, M. Timur Friedman: Heuristic Harvesting of Information for Case-Based Argument. 36-43
Katia P. Sycara, Kazuo Miyashita: Case-Based Acquisition of User Preferences for Solution Improvement in Ill-Structured Domains. 44-49
Linda M. Wills, Janet L. Kolodner: Towards More Creative Case-Based Design Systems. 50-55
Michael Wolverton, Barbara Hayes-Roth: Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation. 56-61

Cognitive Modeling

Tamitha Carpenter, Richard Alterman: A Reading Agent. 62-67
Mark Moll, Risto Miikkulainen, Jonathan Abbey: The Capacity of Convergence-Zone Episodic Memory. 68-73
Kenneth Moorman, Ashwin Ram: A Model of Creative Understanding. 74-79
Lee Spector, Mary Jo Rattermann, Kristen Prentice: Ordering Relations in Human and Machine Planning. 80-85
Marilyn A. Walker: Experimentally Evaluating Communicative Strategies: The Effect of the Task. 86-93

Music and Audition

Lorin Grubb, Roger B. Dannenberg: Automated Accompaniment of Musical Ensembles. 94-99
Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata: Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System. 100-107
Geber Ramalho, Jean-Gabriel Ganascia: Simulating Creativity in Jazz Performance. 108-113
Gerhard Widmer: The Synergy of Music Theory and Al: Learning Multi-Level Expressive Interpretation. 114-119

Theater and Video

Marc Davis: Knowledge Representation for Video. 120-127
Steve Strassmann: Semi-Autonomous Animated Actors. 128-134

Automated Reasoning

Chitta Baral: Rule Based Updates on Simple Knowledge Bases. 136-141
William W. Cohen: Recovering Software Specifications with Inductive Logic Programming. 142-148
Didier Dubois, Henri Prade: Can We Enforce Full Compositionality in Uncertainty Calculi? 149-154
Henry A. Kautz, Bart Selman: An Empirical Evaluation of Knowledge Compilation by Theory Approximation. 155-161
Sun Kim, Hantao Zhang: ModGen: Theorem Proving by Model Generation. 162-167
Steven Minton, Ian Underwood: Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas. 168-174
Anavai Ramesh, Neil V. Murray: Avoiding Tests for Subsumption. 175-180
Ron Rymon: On Kernel Rule's and Prime Implicants. 181-186
Alberto Maria Segre, David B. Sturgill: Using Hundreds of Workstations to Solve First-Order Logic Problems. 187-192
Hsiu-yen Tsai, Albert Mo Kim Cheng: Termination Analysis of OPS5 Expert Systems. 193-198

Description Logic

Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf: Refining the Structure of Terminological Systems: Terminology = Schema + Views. 199-204
Giuseppe De Giacomo, Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. 205-212
Robert M. MacGregor: A Description Classifier for the Predicate Calculus. 213-220

Causal Reasoning and Uncertainty Management

Causal Reasoning

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. 222-229
Alexander Balke, Judea Pearl: Probabilistic Evaluation of Counterfactual Queries. 230-237
Adnan Darwiche, Judea Pearl: Symbolic Causal Networks. 238-244
Hector Geffner: Causal Default Reasoning: Principles and Algorithms. 245-250
Peter Struss: Testing Physical Systems. 251-256

Uncertainty Management

Wai Lam: Abstraction in Bayesian Belief Networks and Automatic Discovery from Past Inference Sessions. 257-262
Xiaohui Liu, Gongxian Cheng, John Xingwang Wu: Noise and Uncertainty Management in Intelligent Data Modeling. 263-268
Serafín Moral, Nic Wilson: Markov Chain Monte-Carlo Algorithms for the Calculation of Dempster-Shafer Belief. 269-274
Paul O'Rorke: Focusing on the Most Important Explanations: Decision-Theoretic Horn Abduction. 275-280
Paul Snow: The Emergence of Ordered Belief from Initial Ignorance. 281-286

Constraint Satisfaction

Advances in Backtracking

Andrew B. Baker: The Hazards of Fancy Backtracking. 288-293
Daniel Frost, Rina Dechter: Dead-End Driven Learning. 294-300
Daniel Frost, Rina Dechter: In Search of the Best Constraint Satisfaction Search. 301-306
Gérard Verfaillie, Thomas Schiex: Solution Reuse in Dynamic Constraint Satisfaction Problems. 307-312
Makoto Yokoo: Weak-Commitment Search for Solving Constraint Satisfaction Problems. 313-318

Constraint Satisfaction Techniques

Sanjay Bhansali, Glenn A. Kramer: Planning from First Principles for Geometric Constraint Satisfaction. 319-324
Andrew J. Davenport, Edward P. K. Tsang, Chang J. Wang, Kangmin Zhu: GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement. 325-330
Tad Hogg, Colin P. Williams: Expected Gains from Parallelizing Constraint Solving for Hard Problems. 331-336
Bart Selman, Henry A. Kautz, Bram Cohen: Noise Strategies for Improving Local Search. 337-343
Nobuhiro Yugami, Yuiko Ohta, Hirotaka Hara: Improving Repair-Based Constraint Satisfaction Methods by Value Propagation. 344-349

Tractable Constraint-Satisfaction Problems

Randall A. Helzerman, Mary P. Harper: An Approach to Multiply Segmented Constraint Satisfaction Problems. 350-355
Bernhard Nebel, Hans-Jürgen Bürckert: Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. 356-361
Jean-Charles Régin: A Filtering Algorithm for Constraints of Difference in CSPs. 362-367
Peter van Beek: On the Inherent Level of Local Consistency in Constraint Networks. 368-373

Distributed Artificial Intelligence

Collaboration

Eithan Ephrati, Jeffrey S. Rosenschein: Divide and Conquer in Multi-Agent Planning. 375-380
Taha Khedro, Michael R. Genesereth: Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. 381-386
Daniel Kuokka, Brian Livezey: A Collaborative Parametric Design Agent. 387-393
Daniel E. Neiman, David W. Hildum, Victor R. Lesser, Tuomas Sandholm: Exploiting Meta-Level information in a Distributed Scheduling System. 394-400
Michael P. Wellman: A Computational Market Model for Distributed Configuration Design. 401-407

Coordination

Claudia V. Goldman, Jeffrey S. Rosenschein: Emergent Coordination through the Use of Cooperative State-Changing Rules. 408-413
Steven P. Ketchpel: Forming Coalitions in the Face of Uncertain Rewards. 414-419
James E. Kittock: The Impact of Locality and Authority on Emergent Conventions: Initial Observations. 420-425
Sandip Sen, Mahendra Sekaran, John Hale: Learning to Coordinate without Sharing Information. 426-431
Gilad Zlotkin, Jeffrey S. Rosenschein: Coalition, Cryptography, and Stability: Mechanisms for Coalition Formation in Task Oriented Domains. 432-437

Software Agents

Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming: An Experiment in the Design of Software Agents. 438-443
Yezdi Lashkari, Max Metral, Pattie Maes: Collaborative Interface Agents. 444-449

Enabling Technologies

Robert B. Doorenbos: Combining Left and Right Unlinking for Matching a Large Number of Learned Rules. 451-458
David Gadbois, Daniel P. Miranker: Discovering Procedural Executions of Rule-Based Programs. 459-464
Micheal Hewett, Rattikorn Hewett: Mechanisms for Efficiency in Blackboard Systems. 465-470
Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen: Model-Based Automated Generation of User Interfaces. 471-477
Eiichiro Sumita, Naoya Nisiyama, Hitoshi Iida: The Relationship between Architectures and Example-Retrieval Times. 478-483

Instructional Environments

Vincent Aleven, Kevin D. Ashley: An Instructional Environment for Practicing Argumentation Skills. 485-492
Robin D. Burke, Alex Kass: Tailoring Retrieval to Support Case-Based Teaching. 493-498
Randall W. Hill Jr., W. Lewis Johnson: Situated Plan Attribution for Intelligent Tutoring. 499-505
Scott B. Huffman, John E. Laird: Learning from Highly Flexible Tutorial Instruction. 506-512
Hideo Shimazu, Akihiro Shibata, Katsumi Nihei: Case-Based Retrieval Interface Adapted to Customer-Initiated Dialogues in Help Desk Operations. 513-518

Knowledge Bases

Knowledge Acquisition, Capture, and Integration

Yolanda Gil: Knowledge Refinement in a Reflective Architecture. 520-526
Henry Lieberman: A User Interface for Knowledge Acquisition From Video. 527-534
Jay T. Runkel, William P. Birmingham: Building Non-Brittle Knowledge-Acquisition Tools. 535-540
John Yen, Xiaoqing Liu, Swee Hor Teh: The Acquisition, Analysis and Evaluation of Imprecise Requirements for Knowledge-Based Systems. 541-546

Knowledge Bases

Liane Acker, Bruce W. Porter: Extracting Viewpoints from Knowledge Bases. 547-552
Catherine Baudin, Barney Pell, Smadar Kedar: Using Induction to Refine Information Retrieval Strategies. 553-559
Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta: Formalizing Ontological Commitment. 560-567

Machine Learning

Control Learning

Steven K. Donoho, David C. Wilkins: Exploiting the Ordering of Observed Problem-Solving Steps for Knowledge Base Refinement: An Apprenticeship Approach. 569-575
Jonathan Gratch, Steve A. Chien, Gerald DeJong: Improving Learning Performance Through Rational Resource Allocation. 576-581
Suresh Katukam, Subbarao Kambhampati: Learning Explanation-Based Search Control Rules for Partial Order Planning. 582-587
Alon Y. Levy: Creating Abstractions Using Relevance Reasoning. 588-594
Manuela M. Veloso: Flexible Strategy Learning: Analogical Replay of Problem Solving Episodes. 595-600

Decision-Tree Learning

Usama M. Fayyad: Branching on Attribute Values in Decision Tree Generation. 601-606
B. Forouraghi, L. W. Schmerr, G. M. Prabhu: Induction of Multivariate Regression Trees for Design Optimization. 607-612
Ron Kohavi: Bottom-Up Induction of Oblivious Read-Once Decision Graphs: Strengths and Limitations. 613-618
Richard Segal, Oren Etzioni: Learning Decision Lists Using Homogeneous Rules. 619-625
Sholom M. Weiss, Nitin Indurkhya: Decision Tree Pruning: Biased or Optimal? 626-632

Discovery

Kim Binsted, Graeme Ritchie: An Implemented Model of Punning Riddles. 633-638
Haym Hirsh, Nathalie Japkowicz: Bootstrapping Training-Data Representations for Inductive Learning: A Case Study in Molecular Biology. 639-644
Tsuyoshi Murata, Masami Mizutani, Masamichi Shimura: A Discovery System for Trigonometric Functions. 645-650

Induction

Patrick S. Broos, Karl Branting: Compositional Instance-Based Learning. 651-656
Steven W. Norton: Learning to Recognize Promoter Sequences in E. coli by Modeling Uncertainty in the Training Data. 657-663
Cynthia A. Thompson, Raymond J. Mooney: Inductive Learning For Abductive Diagnosis. 664-669
Stefan Wermter, Volker Weber: Learning Fault-Tolerant Speech Parsing with SCREEN. 670-675

PAC Learning

William W. Cohen: Pac-Learning Nondeterminate Clauses. 676-681
Roni Khardon, Dan Roth: Learning to Reason. 682-687

Reinforcement Learning

Rajarshi Das, Sreerupa Das: Catching a Baseball: A Reinforcement Learning Perspective Using a Neural Network. 688-693
Richard Maclin, Jude W. Shavlik: Incorporating Advice into Agents that Learn from Reinforcements. 694-699
Satinder P. Singh: Reinforcement Learning Algorithms for Average-Payoff Markovian Decision Processes. 700-705

Meta AI

Brian R. Gaines, Mildred L. G. Shaw: Using Knowledge Acquisition and Representation Tools to Support Scientific Communities. 707-714
Amy M. Steier, Richard K. Belew: Talking About AI: Socially Defined Linguistic Subcontexts in AI. 715-720

Natural Language Processing

Corpus-Based Natural Language Processing

Eric Brill: Some Advances in Transformation-Based Part of Speech Tagging. 722-727
Eugene Charniak, Glenn Carroll: Context-Sensitive Statistics For Improved Grammatical Language Models. 728-733
Jill Fain Lehman: Toward the Essential Nature of Statistical Knowledge in Sense Resolution. 734-741
Virginia Teller, Eleanor Olds Batchelder: A Probabilistic Algorithm for Segmenting Non-Kanji Japanese Strings. 742-747
John M. Zelle, Raymond J. Mooney: Inducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach. 748-753

Lexical Acquisition

Peter M. Hastings, Steven L. Lytinen: The Ups and Downs of Lexical Acquisition. 754-759
Jeffrey Mark Siskind: Lexical Acquisition in the Presence of Noise and Homonymy. 760-766

Natural Language Applications

Ben E. Cline, Jane Terry Nutter: Kalos - A System for Natural Language Generation with Revision. 767-772
Kevin Knight, Steve K. Luk: Building a Large-Scale Knowledge Base for Machine Translation. 773-778
Kevin Knight, Ishwar Chander: Automated Postediting of Documents. 779-784
Jack Mostow, Steven F. Roth, Alexander G. Hauptmann, Matthew Kane: A Prototype Reading Coach that Listens. 785-792
Rohini K. Srihari, Debra T. Burhans: Visual Semantics: Extracting Visual information from Text Accompanying Pictures. 793-798

Natural Language Discorse

Jennifer Chu-Carroll, Sandra Carberry: A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues. 799-805
Diane J. Litman: Classifying Cue Phrases in Text and Speech Using Machine Learning. 806-813
Candace L. Sidner: An Artificial Discourse Language for Collaborative Negotiation. 814-819
Eric V. Siegel, Kathleen McKeown: Emergent Linguistic Rules from inducing Decision Trees: Disambiguating Discourse Clue Words. 820-826
Stephen Soderland, Wendy G. Lehnert: Corpus-Driven Knowledge Acquisition for Discourse Analysis. 827-832

Syntax

Sharon Flank, Paul Krause, Carol Van Ess-Dykema: Principled Multilingual Grammars for Large Corpora. 833-838
Eric K. Jones, Linton M. Miller: L* Parsing: A General Framework for Syntactic Analysis of Natural Language. 839-844