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 1. AAAI Press / The MIT Press 1994 ISBN 0-262-61102-3
Technical Papers
The Arts
Art
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
- 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
- Michael Wolverton, Barbara Hayes-Roth: Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation. 56-61
Cognitive Modeling
- Mark Moll, Risto Miikkulainen, Jonathan Abbey: The Capacity of Convergence-Zone Episodic Memory. 68-73
- 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
- Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata: Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System. 100-107
- 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
- Henry A. Kautz, Bart Selman: An Empirical Evaluation of Knowledge Compilation by Theory Approximation. 155-161
- Steven Minton, Ian Underwood: Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas. 168-174
- 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
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
- 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
- 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
- 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
- Taha Khedro, Michael R. Genesereth: Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents. 381-386
- 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
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
- 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
- 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
- John Yen, Xiaoqing Liu, Swee Hor Teh: The Acquisition, Analysis and Evaluation of Imprecise Requirements for Knowledge-Based Systems. 541-546
Knowledge Bases
- 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
Discovery
- 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
- Steven W. Norton: Learning to Recognize Promoter Sequences in E. coli by Modeling Uncertainty in the Training Data. 657-663
PAC Learning
- William W. Cohen: Pac-Learning Nondeterminate Clauses. 676-681
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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team