12. AAAI 1994: Seattle, WA, USA

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

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

Last update Sun May 19 21:16:46 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page