default search action
12th AAAI 1994: Seattle, WA, USA
- Barbara Hayes-Roth, Richard E. Korf:
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
- 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 L. 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 Frank 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 B. 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 R. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: