List of contents of
the Proceedings of the
12'th AAAI National Conference on Artificial Intelligence,
1994 (AAAI-94)
- c-aaai-94-3
- L. Spector and A. Alpern:
Critcism, Culture, and the Automatic Generation of Artworks.
Pages 3-8.
- c-aaai-94-9
- C. Elliott:
Research Problems in the Use of a Shallow Artificial Intelligence Model of Personality and Emotion.
Pages 9-15.
- c-aaai-94-16
- M. L. Mauldin:
ChatterBots, TinyMuds, and the Turing Test Entering the Loebner Prize Competition.
Pages 16-21.
- c-aaai-94-22
- K. Nagao and A. Takeuchi:
Social Interaction: Multimodal Conversation with Social Agents.
Pages 22-28.
- c-aaai-94-29
- M. P. Feret and J. Glasgow:
Experience-Aided Diagnosis for Complex Devices.
Pages 29-35.
- c-aaai-94-36
- E. L. Rissland, D. B. Skalak, and M. T. Friedman:
Heuristic Harvesting of Information for Case-Based Argument.
Pages 36-43.
- c-aaai-94-44
- K. Sycara and K. Miyashita:
Case-Based Acquisition of User Preferences for Solution Improvement in Ill-Structured Domains.
Pages 44-49.
- c-aaai-94-50
- L. M. Wills and J. L. Kolodner:
Towards More Creative Case-Based Design Systems.
Pages 50-55.
- c-aaai-94-56
- M. Wolverton and B. Hayes-Roth:
Retrieving Semantically Distant Analogies with Knowledge-Directed Spreading Activation.
Pages 56-61.
- c-aaai-94-62
- T. Carpenter and R. Alterman:
A Reading Agent.
Pages 62-67.
- c-aaai-94-68
- M. Moll, R. Miikkulainen, and J. Abbey:
The Capacity of Convergence-Zone Episodic Memory.
Pages 68-73.
- c-aaai-94-74
- K. Moorman and A. Ram:
A Model of Creative Understanding.
Pages 74-79.
- c-aaai-94-80
- L. Spector, M. J. Rattermann, and K. Prentice:
Ordering Relations in Human and Machine Planning.
Pages 80-85.
- c-aaai-94-86
- M. A. Walker:
Experimentally Evaluating Communicative Strategies: The Effect of the Task.
Pages 86-93.
- c-aaai-94-94
- L. Grubb and R. B. Dannenberg:
Automated Accompaniment of Musical Ensembles.
Pages 94-99.
- c-aaai-94-100
- T. Nakatani, H. G. Okuno, and T. Kawabata:
Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System.
Pages 100-107.
- c-aaai-94-108
- G. Ramalho and J.-G. Ganascia:
Simulating Creativity in Jazz Performance.
Pages 108-113.
- c-aaai-94-114
- G. Widmer:
The Synergy of Music Theory and AI: Learning Multi-Level Expressive Interpretation.
Pages 114-119.
- c-aaai-94-120
- Ernest Davis:
Knowledge Representation for Video.
Pages 120-127.
- c-aaai-94-128
- S. Strassmann:
Semi-Autonomous Animated Actors.
Pages 128-134.
- c-aaai-94-136
- Chitta Baral:
Rule Based Updates on Simple Knowledge Bases.
Pages 136-141.
- c-aaai-94-142
- W. W. Cohen:
Recovering Software Specifications with Inductive Logic Programming.
Pages 142-148.
- c-aaai-94-149
- Didier Dubois and H. Prade:
Can We Enforce Full Compositionality in Uncertainty Calculi.
Pages 149-154.
- c-aaai-94-155
- H. Kautz and B. Selman:
An Empirical Evaluation of Knowledge Compilation by Theory Approximation.
Pages 155-161.
- c-aaai-94-162
- S. Kim and Yan Zhang:
ModGen: Theorem Proving by Model Generation.
Pages 162-167.
- c-aaai-94-168
- S. Minton and I. Underwood:
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas.
Pages 168-174.
- c-aaai-94-175
- A. Ramesh and N. V. Murray:
Avoiding Tests for Subsumption.
Pages 175-180.
- c-aaai-94-181
- R. Rymon:
On Kernel Rules and Prime Implicants.
Pages 181-186.
- c-aaai-94-187
- A. M. Segre and D. B. Sturgill:
Using Hundreds of Workstations to Solve First-Order Logic Problems.
Pages 187-192.
- c-aaai-94-193
- H.-Y. Tsai and A. M. K. Cheng:
Termination Analysis of OPS5 Expert Systems.
Pages 193-198.
- c-aaai-94-199
- M. Buchheit, F. M. Donini, W. Nutt, and Marco Schaerf:
Refining the Structure of Terminological Systems: Terminology = Schema + Views.
Pages 199-204.
- c-aaai-94-205
- G. De Giacomo and Maurizio Lenzerini:
Boosting the Correspondence Between Description Logics and Propositional Dynamic Logis.
Pages 205-212.
- c-aaai-94-213
- R. M. MacGregor:
A Description Classifier for the Predicate Calculus.
Pages 213-220.
- c-aaai-94-222
- Fahiem Bacchus, A. J. Grove, J. Y. Halpern, and Daphne Koller:
Forming Beliefs about a Changing World.
Pages 222-229.
- c-aaai-94-230
- A. Balke and Judea Pearl:
Probabilistic Evaluation of Counterfactual Queries.
Pages 230-237.
- c-aaai-94-238
- Adnan Darwiche and Judea Pearl:
Symbolic Causal Networks.
Pages 238-244.
- c-aaai-94-245
- H. Geffner:
Causal Default Reasoning: Principles and Algorithms.
Pages 245-250.
- c-aaai-94-251
- P. Struss:
Testing Physical Systems.
Pages 251-256.
- c-aaai-94-257
- W. Lam:
Abstraction in Bayesian Belief Networks and Automatic Discovery from Past Inference Sessions.
Pages 257-262.
- c-aaai-94-263
- X. Liu, G. Cheng, and J. X. Wu:
Noise and Uncertainty Management in Intelligent Data Modeling.
Pages 263-268.
- c-aaai-94-269
- S. Moral and N. Wilson:
Markov Chain Monte-Carlo Algorithms for the Calculation of Dempster-Shafer Belief.
Pages 269-274.
- c-aaai-94-275
- P. O'Rorke:
Focusing on the Most Important Explanations: Decision-Theoretic Horn Abduction.
Pages 275-280.
- c-aaai-94-281
- P. Snow:
The Emergence of Ordered Belief from Initial Ignorance.
Pages 281-286.
- c-aaai-94-288
- A. B. Baker:
The Hazards of Fancy Backtracking.
Pages 288-293.
- c-aaai-94-294
- D. Frost and Rina Dechter:
Dead-End Driven Learning.
Pages 294-300.
- c-aaai-94-301
- D. Frost and Rina Dechter:
In Search of the Best Constraint Satisfation Search.
Pages 301-306.
- c-aaai-94-307
- G. Verfaillie and T. Schiex:
Solution Reuse in Dynamic Constraint Satisfaction Problems.
Pages 307-312.
- c-aaai-94-313
- M. Yokoo:
Weak-Commitment Search for Solving Constraint Satisfaction Problems.
Pages 313-318.
- c-aaai-94-319
- S. Bhansali and G. A. Kramer:
Planning from First Principles for Geometric Constraint Satisfaction.
Pages 319-324.
- c-aaai-94-325
- A. Davenport, E. Tsang, C. J. Wang, and K. Zhu:
GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement.
Pages 325-330.
- c-aaai-94-331
- T. Hogg and Mary-Anne Williams:
Expected Gains from Parallelizing Constraint Solving for Hard Problems.
Pages 331-336.
- c-aaai-94-337
- B. Selman, H. Kautz, and B. Cohen:
Noise Strategies for Improving Local Search.
Pages 337-343.
- c-aaai-94-344
- N. Yugami, Y. Ohta, and H. Hara:
Improving Repair-Based Constraint Satisfaction Methods by Value Propagation.
Pages 344-349.
- c-aaai-94-350
- R. A. Helzerman and M. P. Harper:
An Approach to Multiply Segmented Constraint Satisfaction Problems.
Pages 350-355.
- c-aaai-94-356
- Bernhard Nebel and H.-J. Bürckert:
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.
Pages 356-361.
- c-aaai-94-362
- J.-C. Regin:
A Filtering Algorithm for Constraints of Difference in CSPs.
Pages 362-367.
- c-aaai-94-368
- P. van Beek:
On the Inherent Level of Local Consistency in Constraint Networks.
Pages 368-373.
- c-aaai-94-375
- E. Ephrati and J. S. Rosenschein:
Divide and Conquer in Multi-Agent Planning.
Pages 375-380.
- c-aaai-94-381
- T. Khedro and M. R. Genesereth:
Progressive Negotiation for Resolving Conflicts among Distributed Heterogeneous Cooperating Agents.
Pages 381-386.
- c-aaai-94-387
- D. Kuokka and B. Livezey:
A Collaborative Parametric Design Agent.
Pages 387-393.
- c-aaai-94-394
- D. E. Neiman, D. W. Hildum, V. R. Lesser, and T. W. Sandholm:
Exploiting Meta-Level Information in a Distributed Scheduling.
Pages 394-400.
- c-aaai-94-401
- M. P. Wellman:
A Computational Market Model for Distributed Configuration Design.
Pages 401-407.
- c-aaai-94-408
- C. V. Goldman and J. S. Rosenschein:
Emergent Coordination Through the Use of Cooperative State-Changing Rules.
Pages 408-413.
- c-aaai-94-414
- S. Ketchpel:
Forming Coalitions in the Uncertain Rewards.
Pages 414-419.
- c-aaai-94-420
- J. E. Kittock:
The Impact of Locality and Authority on Emergent Conventions: Initial Observations.
Pages 420-425.
- c-aaai-94-426
- S. Sen, M. Sekaran, and J. Hale:
Learning to Coordinate without Sharing Information.
Pages 426-431.
- c-aaai-94-432
- G. Zlotkin and J. S. Rosenschein:
Coalition, Cryptography, and Stability: Mechanisms for Coalition Formation in Task Oriented Domains.
Pages 432-437.
- c-aaai-94-438
- H. Kautz, B. Selman, M. Coen, S. Ketchpel, and C. Ramming:
An Experiment in the Design of Software Agents.
Pages 438-443.
- c-aaai-94-444
- Y. Lashkari, M. Metral, and P. Maes:
Collaborative Interface Agents.
Pages 444-449.
- c-aaai-94-451
- R. B. Doorenbos:
Combining Left and Right Unlinking for Matching a Large Number of Learned Rules.
Pages 451-458.
- c-aaai-94-459
- D. Gadbois and D. Miranker:
Discovering Procedural Executions of Rule-Based Programs.
Pages 459-464.
- c-aaai-94-465
- M. Hewett and R. Hewett:
Mechanisms for Efficiency in Blackboard Systems.
Pages 465-470.
- c-aaai-94-471
- A. R. Puerta, H. Eriksson, J. H. Gennari, and M. A. Musen:
Model-Based Automated Generation of User Interfaces.
Pages 471-477.
- c-aaai-94-478
- E. Sumita, N. Nisiyama, and H. Iida:
The Relationship Between Architectures and Example-Retrieval Times.
Pages 478-483.
- c-aaai-94-485
- V. Aleven and K. D. Ashley:
An Instructional Environment for Practicing Argumentation Skills.
Pages 485-492.
- c-aaai-94-493
- R. Burke and A. Kass:
Tailoring Retrieval to Support Case-Based Teaching.
Pages 493-498.
- c-aaai-94-499
- R. W. Hill and W. L. Johnson:
Situated Plan Attribution for Intelligent Tutoring.
Pages 499-505.
- c-aaai-94-506
- S. B. Huffman and J. E. Laird:
Learning from Highly Flexible Tutorial Instruction.
Pages 506-512.
- c-aaai-94-513
- H. Shimazu, A. Shibata, and K. Nihei:
Case-Based Retrieval Interface Adapted to Customer-Initiated Dialogues in Help Desk Operations.
Pages 513-518.
- c-aaai-94-520
- Y. Gil:
Knowledge Refinement in a Reflective Architecture.
Pages 520-526.
- c-aaai-94-527
- H. Lieberman:
A User Interface for Knowledge Acquisition from Video.
Pages 527-534.
- c-aaai-94-535
- J. T. Runkel and W. P. Birmingham:
Building Non-Brittle Knowledge-Acquisition Tools.
Pages 535-540.
- c-aaai-94-541
- J. Yen, X. Liu, and S. H. Teh:
The Acquisition, Analysis and Evaluation of Imprecise Requirements for Knowlege-Based Systems.
Pages 541-546.
- c-aaai-94-547
- L. Acker and B. Porter:
Extracting Viewpoints from Knowledge Bases.
Pages 547-552.
- c-aaai-94-553
- C. Baudin, B. Pell, and S. Kedar:
Using Induction to Refine Information Retrieval Strategies.
Pages 553-559.
- c-aaai-94-560
- N. Guarino, M. Carrara, and P. Giaretta:
Formalizing Ontological Commitments.
Pages 560-567.
- c-aaai-94-569
- S. K. Donoho and D. C. Wilkins:
Exploiting the Ordering of Observed Problem-Solving Steps for Knowledge Base Refinement: An Apprenticeship Approach.
Pages 569-575.
- c-aaai-94-576
- J. Gratch, S. Chien, and G. DeJong:
Improving Learning Performance Through Rational Resource Allocation.
Pages 576-581.
- c-aaai-94-582
- S. Katukam and S. Kambhampati:
Learning Explanation-Based Search Control Rules for Partial Order Planning.
Pages 582-587.
- c-aaai-94-588
- A. Y. Levy:
Creating Abstractions Using Relevance Reasoning.
Pages 588-594.
- c-aaai-94-595
- M. M. Veloso:
Flexible Strategy Learning: Analogical Replay of Problem Solving Episodes.
Pages 595-600.
- c-aaai-94-601
- U. M. Fayyad:
Branching on Attribute Values in Decision Tree Generation.
Pages 601-606.
- c-aaai-94-607
- B. Forouraghi, L. W. Schmerr, and G. M. Prabhu:
Induction of Multivariate Regression Trees for Design Optimization.
Pages 607-612.
- c-aaai-94-613
- R. Kohavi:
Bottom-Up Induction of Oblivious Read-Once Decision Graphs: Strengths and Limitations.
Pages 613-618.
- c-aaai-94-619
- R. Segal and O. Etzioni:
Learning Decision Lists Using Homogeneous Rules.
Pages 619-625.
- c-aaai-94-626
- S. M. Weiss and N. Indurkhya:
Decision Tree Pruning: Biased or Optimal.
Pages 626-632.
- c-aaai-94-633
- K. Binsted and G. Ritchie:
An Implemented Model of Punning Riddles.
Pages 633-638.
- c-aaai-94-639
- H. Hirsh and N. Japkowicz:
Bootstrapping Training-Data Representations for Inductive Learning: A Case Study in Molecular Biology.
Pages 639-644.
- c-aaai-94-645
- T. Murata, M. Mizutani, and M. Shimura:
A Discovery System for Trigonometric Functions.
Pages 645-650.
- c-aaai-94-651
- P. Broos and K. Branting:
Compositional Instance-Based Learning.
Pages 651-656.
- c-aaai-94-657
- S. W. Norton:
Learning to Recognize Promoter Sequences in E COLI by Modeling Uncertainty in the Training Data.
Pages 657-663.
- c-aaai-94-664
- C. A. Thompson and R. J. Mooney:
Inductive Learning for Abductive Diagnosis.
Pages 664-669.
- c-aaai-94-670
- S. Wermter and Jay C. Weber:
Learning Fault-Tolerant Speech Parsing with SCREEN.
Pages 670-675.
- c-aaai-94-676
- W. W. Cohen:
Pac-Learning Nondeterminate Clauses.
Pages 676-681.
- c-aaai-94-682
- R. Khardon and D. Roth:
Learning to Reason.
Pages 682-687.
- c-aaai-94-688
- R. Das and S. Das:
Catching a Baseball: A Reinforcement Learning Perspective Using a Neural Network.
Pages 688-693.
- c-aaai-94-694
- R. Maclin and J. W. Shavlik:
Incorporating Advice into Agents that Learn from Reinforcements.
Pages 694-699.
- c-aaai-94-700
- S. P. Singh:
Reinforcement Learning Algorithms for Average-Payoff Markovian Decision Processes.
Pages 700-705.
- c-aaai-94-707
- B. R. Gaines and M. L. G. Shaw:
Using Knowledge Acquisition and Representation Tools to Support Scientific Communities.
Pages 707-714.
- c-aaai-94-715
- A. M. Steier and R. K. Belew:
Talking about AI: Socially-Defined Linguistic Subcontexts in AI.
Pages 715-720.
- c-aaai-94-722
- E. Brill:
Some Advances in Transformation-Based Part of Speech Tagging.
Pages 722-727.
- c-aaai-94-728
- E. Charniak and G. Carroll:
Context-Sensitive Statistics for Improved Grammatical Language Models.
Pages 728-733.
- c-aaai-94-734
- J. F. Lehman:
Toward the Essential Nature of Statistical Knowledge in Sense Resolution.
Pages 734-741.
- c-aaai-94-742
- V. Teller and E. O. Batchelder:
A Probabilistic: Algorithm for Segmenting Non-Kanji Japanese Strings.
Pages 742-747.
- c-aaai-94-748
- J. M. Zelle and R. J. Mooney:
Inducing Deterministic Prolog Parsers from Treebanks: A Machine Learning Approach.
Pages 748-753.
- c-aaai-94-754
- P. M. Hastings and S. L. Lytinen:
The Ups and Downs of Lexical Acquisition.
Pages 754-759.
- c-aaai-94-760
- J. M. Siskind:
Lexical Acquisition in the Presence of Noise and Homonymy.
Pages 760-766.
- c-aaai-94-767
- B. E. Cline and J. T. Nutter:
Kalos: A System for Natural Language Generation with Revision.
Pages 767-772.
- c-aaai-94-773
- Brian Knight and S. K. Luk:
Building a Large-Scale Knowledge Base for Machine Translation.
Pages 773-778.
- c-aaai-94-779
- Brian Knight and I. Chander:
Automated Postediting of Documents.
Pages 779-784.
- c-aaai-94-785
- J. Mostow, S. F. Roth, A. Hauptmann, and M. Kane:
A Prototype Reading Coach that Listens.
Pages 785-792.
- c-aaai-94-793
- R. K. Srihari and D. T. Burhans:
Visual Semantics: Extracting Visual Information from Text Accompanying Pictures.
Pages 793-798.
- c-aaai-94-799
- J. Chu-Carroll and S. Carberry:
A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues.
Pages 799-805.
- c-aaai-94-806
- D. J. Litman:
Classifying Cue Phrases in Text and Speech Using Machine Learning.
Pages 806-813.
- c-aaai-94-814
- C. L. Sidner:
An Artificial Discourse Language for Collaborative Negotiation.
Pages 814-819.
- c-aaai-94-820
- E. V. Siegel and K. R. McKeown:
Emergent Linguistic Rules from Inducing Decision Trees: Disambiguating Discourse Clue Words.
Pages 820-826.
- c-aaai-94-827
- S. Soderland and W. Lehnert:
Corpus-Driven Knowledge Acquisition for Discourse Analysis.
Pages 827-832.
- c-aaai-94-833
- S. Flank, P. Krause, and C. Van Ess-Dykema:
Principled Multilingual Grammars for Large Corpora.
Pages 833-838.
- c-aaai-94-839
- E. K. Jones and L. M. Miller:
L*Parsing: A General Framework for Syntactic Analysis of Natural Language.
Pages 839-844.
- c-aaai-94-846
- V. Ajjanagadde:
Unclear Distinctions Lead to Unnecessary Shortcomings: Examining the Rule vs Fact, Role vs Filler, and Type vs Predicate Distinctions from a Connectionist Representation and Reasoning Perspective.
Pages 846-851.
- c-aaai-94-852
- C. J. Gibert and T. W. Routen:
Associative Memory in an Immune-Based System.
Pages 852-857.
- c-aaai-94-858
- R. Miikkulainen and D. Bijwaard:
Parsing Embedded Clauses with Distributed Neural Networks.
Pages 858-864.
- c-aaai-94-865
- R. M. Records and J. J. Choi:
Spurious Symptom Reduction in Fault Monitoring Using a Neural Network and Knowledge Base Hybrid System.
Pages 865-870.
- c-aaai-94-871
- S. G. Romaniuk:
Learning to Learn: Automatic Adaption of Learning Bias.
Pages 871-876.
- c-aaai-94-877
- H. T. Siegelmann:
Neural Programming Language.
Pages 877-882.
- c-aaai-94-883
- C. Ulbricht:
Multi-Recurrent Networks for Traffic Forecasting.
Pages 883-888.
- c-aaai-94-889
- D. S. Yeung and H.-S. Fong:
Knowledge Matrix: An Explanation and Knowledge Refinement Facility for a Rule Induced Neural Network.
Pages 889-894.
- c-aaai-94-895
- Yan Zhang and J. C. Pemberton:
Epsilon-Transformation: Exploiting Phase Transitions to Solve Combinatorial Optimization Problems - Initial Results.
Pages 895-900.
- c-aaai-94-902
- J. P. Delgrande:
A Preference-Based Approach to Default Reasoning: Preliminary Report.
Pages 902-908.
- c-aaai-94-909
- Alvaro del Val:
On the Relation between the Coherence and Foundations Theories of Belief Revision.
Pages 909-914.
- c-aaai-94-915
- Nir Friedman and J. Y. Halpern:
Conditional Logics of Belief Change.
Pages 915-921.
- c-aaai-94-922
- G. Gogic, C. H. Papadimitriou, and M. Sideri:
Incremental Recompilation of Knowledge (Extended Abstract).
Pages 922-927.
- c-aaai-94-928
- S.-W. Tan and Judea Pearl:
Qualitative Decision Theory.
Pages 928-933.
- c-aaai-94-934
- G. Antoniou and E. Langetepe:
Soundness and Completeness of a Logic Programming Approach to Default Logic.
Pages 934-939.
- c-aaai-94-940
- Gerd Brewka:
Reasoning about Priorities in Default Logic.
Pages 940-945.
- c-aaai-94-946
- M. Cadoli, F. M. Donini, and Marco Schaerf:
Is Intractability of Non-Monotonic Reasoning a Real Drawback.
Pages 946-951.
- c-aaai-94-952
- T. C. Przymusinski:
A Knowledge Representation Framework Based on Autoepistemic Logic of Minimal Beliefs.
Pages 952-958.
- c-aaai-94-960
- M. Chan, D. Metaxas, and S. Dickinson:
A New Approach to Tracking 3D Objects in 2D Image Sequences.
Pages 960-965.
- c-aaai-94-966
- Zhisheng Huang, Daphne Koller, J. Malik, G. Ogasawara, Rajesh Rao, S. Russell, and Jay C. Weber:
Automatic Symbolic Traffic Scene Analysis Using Belief Networks.
Pages 966-972.
- c-aaai-94-973
- Keiji Kanazawa:
Sensible Decisions: Toward a Theory of Decision-Theoretic Information Invariants.
Pages 973-978.
- c-aaai-94-979
- D. Kortenkamp and T. Weymouth:
Topological Mapping for Mobile Robots Using a Combination of Sonar and Vision Sensing.
Pages 979-984.
- c-aaai-94-985
- M. Lindenbaum and S. Ben-David:
Applying VC-Dimension Analysis ti 3D Object Recognition from Perspective Projections.
Pages 985-990.
- c-aaai-94-992
- L. H. Ihrig and S. Kambhampati:
Derivation Replay for Partial-Order Planning.
Pages 992-997.
- c-aaai-94-998
- P. Jonsson and C. Bäckström:
Tractable Planning with State Variables by Exploiting Structural Restrictions.
Pages 998-1003.
- c-aaai-94-1004
- D. Joslin and M. E. Pollack:
Least-Cost Flaw Repair: A Plan Refinement Strategy for Partial-Order Planning.
Pages 1004-1009.
- c-aaai-94-1010
- J. S. Penberthy and D. S. Weld:
Temporal Planning with Continuous Change.
Pages 1010-1015.
- c-aaai-94-1016
- Craig Boutilier and Richard Dearden:
Using Abstractions for Decision-Theoretic Planning with Time Constraints.
Pages 1016-1022.
- c-aaai-94-1023
- A. R. Cassandra, L. Pack Kaelbling, and M. L. Littman:
Acting Optimally in Partially Observable Stochastic Domains.
Pages 1023-1028.
- c-aaai-94-1029
- E. A. Hansen:
Cost-Effective Sensing During Plan Execution.
Pages 1029-1035.
- c-aaai-94-1036
- D. J. Musliner:
Using Abstractions and Nondeterminism to Plan Reaction Loops.
Pages 1036-1041.
- c-aaai-94-1042
- Daniel S. Weld and O. Etzioni:
The First Law of Robotics (A Call to Arms).
Pages 1042-1047.
- c-aaai-94-1048
- Keith Golden, O. Etzioni, and Daniel S. Weld:
Omnipotence Without Omniscience: Efficient Sensor Management for Planning.
Pages 1048-1054.
- c-aaai-94-1055
- S. Kambhampati and D. S. Nau:
On the Nature of Modal Truth Criteria in Planning.
Pages 1055-1060.
- c-aaai-94-1061
- C. L. Ortiz Jr:
Causal Pathways of Rational Action.
Pages 1061-1066.
- c-aaai-94-1067
- Eddie Schwalb, K. Kask, and Rina Dechter:
Temporal Reasoning with Constraints on Fluents and Events.
Pages 1067-1072.
- c-aaai-94-1073
- N. Kushmerik, Steve Hanks, and Daniel S. Weld:
An Algorithm for Probabilistic Least-Commitment Planning.
Pages 1073-1078.
- c-aaai-94-1079
- Jonathan King Tash and S. Russell:
Control Strategies for a Stochastic Planner.
Pages 1079-1085.
- c-aaai-94-1086
- C.-C. Cheng and S. F. Smith:
Generating Feasible Schedules under Complex Metric Constraints.
Pages 1086-1091.
- c-aaai-94-1092
- J. M. Crawford and A. B. Baker:
Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems.
Pages 1092-1097.
- c-aaai-94-1098
- M. Drummond, J. Bresina, and K. Swanson:
Just-In-Case Scheduling.
Pages 1098-1104.
- c-aaai-94-1105
- N. Muscettola:
On the Utility of Bottleneck Reasoning for Scheduling.
Pages 1105-1110.
- c-aaai-94-1111
- M. Yoshikawa, K. Kaneko, Y. Nomura, and M. Watanabe:
A Constraint-Based Approach to High-School Timetabling Problems: A Case Study.
Pages 1111-1116.
- c-aaai-94-1117
- A. Barrett and D. S. Weld:
Task-Decomposition via Plan Parsing.
Pages 1117-1122.
- c-aaai-94-1123
- K. Erol, J. Hendler, and D. S. Nau:
HTN Planning: Complexity and Expressivity.
Pages 1123-1128.
- c-aaai-94-1129
- A. Tate, B. Drabble, and J. Dalton:
The Use of Condition Types to Restrict Search in an AI Planner.
Pages 1129-1134.
- c-aaai-94-1137
- O. Dressler and H. Freitag:
Predication Sharing Across Time and Contexts.
Pages 1137-1141.
- c-aaai-94-1142
- R. Fagin, Y. Moses, J. Y. Halpern, and M. Y. Vardi:
An Operational Semantics for Knowledge Bases.
Pages 1142-1147.
- c-aaai-94-1148
- R. Khardon and D. Roth:
Reasoning with Models.
Pages 1148-1153.
- c-aaai-94-1154
- P. P. Nayak:
Representing Multiple Theories.
Pages 1154-1160.
- c-aaai-94-1161
- N. H. Narayanan, M. Suwa, and H. Motoda:
How Things Appear to Work: Predicting Behaviors from Device Diagrams.
Pages 1161-1167.
- c-aaai-94-1168
- A. Farquhar:
A Qualitative Physics Compiler.
Pages 1168-1174.
- c-aaai-94-1175
- K. D. Forbus and P. B. Whalley:
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education.
Pages 1175-1182.
- c-aaai-94-1183
- Y. Iwasaki and A. Y. Levy:
Automated Model Selection for Simulation.
Pages 1183-1190.
- c-aaai-94-1191
- J. Rickel and B. Porter:
Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary.
Pages 1191-1198.
- c-aaai-94-1199
- B. C. Williams and O. Raiman:
Decompositional Modeling Through Caricatural Reasoning.
Pages 1199-1204.
- c-aaai-94-1205
- M. Neitzke and B. Neumann:
Comparative Simulation.
Pages 1205-1210.
- c-aaai-94-1211
- T. Nishida:
Qualitative Reasoning for Automated Exploration for Chaos.
Pages 1211-1216.
- c-aaai-94-1217
- B. C. Williams and J. Cagan:
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning.
Pages 1217-1223.
- c-aaai-94-1224
- K.-T. Yao and A. Gelsey:
Intelligent Automated Grid Generation for Numerical Simulations.
Pages 1224-1230.
- c-aaai-94-1232
- J. Lee and E. H. Durfee:
Structured Circuit Semantics for Reactive Plan Execution Systems.
Pages 1232-1237.
- c-aaai-94-1238
- M. Schoppers:
Estimating Reaction Plan Size.
Pages 1238-1244.
- c-aaai-94-1245
- M. Goodman:
Results on Controlling Action with Projective Visualization.
Pages 1245-1250.
- c-aaai-94-1251
- R. Greiner and R. Isukapalli:
Learning to Select Useful Landmarks.
Pages 1251-1256.
- c-aaai-94-1257
- W. L. Johnson:
Agents that Learn to Explain Themselves.
Pages 1257-1263.
- c-aaai-94-1264
- D. Pierce and B. Kuipers:
Learning to Explore and Build Maps.
Pages 1264-1271.
- c-aaai-94-1272
- J. G. Schneider:
High Dimension Action Spaces in Robot Skill Learning.
Pages 1272-1278.
- c-aaai-94-1279
- A. D. Mali and A. Mukerjee:
Robot Behaviour Conflicts: Can Intelligence Be Modularized.
Pages 1279-1284.
- c-aaai-94-1285
- S. Narasimhan:
Merging Path Planners and Controllers Through Local Context.
Pages 1285-1290.
- c-aaai-94-1291
- P. K. Pook and D. H. Ballard:
Teleassistance: Contextual Guidance for Autonomous Manipulation.
Pages 1291-1296.
- c-aaai-94-1297
- R. Ringrose:
Automatically Tuning Control Systems for Simulated Legged Robots.
Pages 1297-1302.
- c-aaai-94-1303
- M. K. Sahota:
Reactive Deliberation: An Architecture for Real-Time Intelligent Control in Dynamic Environments.
Pages 1303-1308.
- c-aaai-94-1310
- S. H. Clearwater and T. Hogg:
Exploiting Problem Structure in Genetic Algorithms.
Pages 1310-1315.
- c-aaai-94-1316
- Y. Nakakuki and N. Sadeh:
Increasing the Efficiency of Simulated Annealing Search by Learning to Recognize (Un)Promising Runs.
Pages 1316-1322.
- c-aaai-94-1323
- P. Shell, J. A. H. Rubio, and G. Quiroga Barro:
Improving Search Through Diversity.
Pages 1323-1328.
- c-aaai-94-1329
- L. Spector:
Genetic Programming and AI Planning Systems.
Pages 1329-1334.
- c-aaai-94-1335
- G. Weiß:
Hierarchical Chunking in Classifier Systems.
Pages 1335-1340.
- c-aaai-94-1341
- J. Bright, S. Kasif, and L. Stiller:
Exploiting Algebraic Structure in Parallel State Space Search.
Pages 1341-1346.
- c-aaai-94-1347
- F. Chimura and M. Tokoro:
The Trailblazer Search: A New Method for Searching and Capturing Moving Targets.
Pages 1347-1352.
- c-aaai-94-1353
- S. Ghosh, A. Mahanti, and D. S. Nau:
ITS: An Efficient Limited-Memory Heuristic Tree Search Algorithm.
Pages 1353-1358.
- c-aaai-94-1356
- R. E. Korf and D. M. Chickering:
Best-First Minimax Search: Othello Results.
Pages 1356-1370.
- c-aaai-94-1359
- H. Kaindl and A. Khorsand:
Memory-Bounded Bidirectional Search.
Pages 1359-1364.
- c-aaai-94-1371
- D. E. Moriarty and R. Miikkulainen:
Evolving Neural Networks to Focus Minimax Search.
Pages 1371-1377.
- c-aaai-94-1378
- B. Pell:
A Strategic Metagame Player for General Chess-Like Games.
Pages 1378-1385.
- c-aaai-94-1386
- S. J. J. Smith and D. S. Nau:
An Analysis of Forward Pruning.
Pages 1386-1391.
- c-aaai-94-1393
- K.-P. Gapp:
Basic Meanings of Spatial Relations: Computation and Evaluation in 3D Space.
Pages 1393-1398.
- c-aaai-94-1399
- J. Glasgow:
Spatial Reasoning in Indeterminate Worlds.
Pages 1399-1404.
- c-aaai-94-1405
- P. Olivier, T. Maeda, and J.-I. Tsujii:
Automatic Depiction of Spatial Descriptions.
Pages 1405-1410.
- c-aaai-94-1411
- R. Rajagopalan:
A Model for Integrated Qualitative Spatial and Dynamic Reasoning about Physical Systems.
Pages 1411-1417.
- c-aaai-94-1418
- R. Röhrig:
A Theory for Qualitative Spatial Reasoning Based on Order Relations.
Pages 1418-1423.
- c-aaai-94-1425
- S. Azzam:
Classification of Noun Phrases into Concepts or Individuals.
Pages 1425.
- c-aaai-94-1426
- L. A. Ballesteros:
Regression Based Causal Induction with Latent Variable Models.
Pages 1426.
- c-aaai-94-1427
- Jim Blythe:
Probabilistic Knowledge of External Events in Planning.
Pages 1427.
- c-aaai-94-1428
- S. Brüninghaus:
DANIEL: Integrating Case-Based and Rule-Based Reasoning in Law.
Pages 1428.
- c-aaai-94-1429
- L. J. Burnell:
Decision-Theoretic Plan Failure Debuggung and Repair.
Pages 1429.
- c-aaai-94-1430
- Sasa Buvac:
Decidability of Contextual Reasoning.
Pages 1430.
- c-aaai-94-1431
- Y. Chang:
Simplifying Bayesian Belief Nets While Preserving MPE or MPGE Ordering.
Pages 1431.
- c-aaai-94-1432
- Y. Chang and D. Nute:
Abstract of the Forest Management Advisory Systems.
Pages 1432.
- c-aaai-94-1433
- M. H. Coen:
SodaBot: A Software Agent Environment and Construction System.
Pages 1433.
- c-aaai-94-1434
- R. Collier:
Empirical Knowledge Representation Generation Using N-Gram Clustering.
Pages 1434.
- c-aaai-94-1435
- M. T. Cox:
Case-Based Introspection.
Pages 1435.
- c-aaai-94-1436
- D. Cukierman and J. Delgrande:
Time Units and Calendars.
Pages 1436.
- c-aaai-94-1437
- D. E. Damouth and E. H. Durfee:
Local Search in the Coordination of Intelligent Agents.
Pages 1437.
- c-aaai-94-1438
- A. de Antonio, J. Cardenosa, and L. M. Normand:
GKR: A Genetic Model of Knowledge Representation.
Pages 1438.
- c-aaai-94-1439
- J. Demiris:
Experiments Towards Robotic Learning by Imitation.
Pages 1439.
- c-aaai-94-1440
- R. de Silva:
Goal-Clobbering Avoidance in Non-Linear Planners.
Pages 1440.
- c-aaai-94-1441
- M. Devaney and A. Ram:
Dynamically Adjusting Categories to Accommodate Changing Contexts.
Pages 1441.
- c-aaai-94-1442
- S. Djoko:
Substructure Discovery Using Minimum Description Length Principle and Background Knowledge.
Pages 1442.
- c-aaai-94-1443
- S. K. Donoho and D. C. Wilkins:
Exploiting the Ordering of Observed Problem-Solving Steps for Knowledge Base Refinement: An Apprenticeship Approach.
Pages 1443.
- c-aaai-94-1444
- E. Eilerts:
The KM/KnED System: An Integrated Approach to Building Large-Scale Multifunctional Knowledge Bases.
Pages 1444.
- c-aaai-94-1445
- M. Fasciano:
Situated Agents Can Have Plans.
Pages 1445.
- c-aaai-94-1446
- S. Fox and D. Leake:
Introspective Reasoning in a Case-Based Planner.
Pages 1446.
- c-aaai-94-1447
- A. Franz:
A Statistical Method for Handling Unknown Words.
Pages 1447.
- c-aaai-94-1448
- A. S. Gavin:
Low Computation Vision-Based Navigation For a Martian Rover.
Pages 1448.
- c-aaai-94-1449
- T. Goan and O. Etzioni:
Learning About Software Errors Via Systematic Experimentation.
Pages 1449.
- c-aaai-94-1450
- R. Goodwin:
Reasoning About What to Plan.
Pages 1450.
- c-aaai-94-1451
- V. Gopalakrishnan, D. Hennessy, B. Buchanan, and D. Subramanian:
The Crystallographer's Assistant.
Pages 1451.
- c-aaai-94-1452
- Lloyd Greenwald and Tom Dean:
Time-Critical Scheduling in Stochastic Domains.
Pages 1452.
- c-aaai-94-1453
- G. Haddock:
Planning for Component-Based Configurations.
Pages 1453.
- c-aaai-94-1454
- K. Han and A. Gelsey:
The Epistemology of Physical System Modeling.
Pages 1454.
- c-aaai-94-1455
- C. Haouche:
Testing a KBS Using a Conceptual Model.
Pages 1455.
- c-aaai-94-1456
- K. Hirayama, S. Yamada, and J. Toyoda:
A Dynamic Organization in Distributed Constraint Satisfaction.
Pages 1456.
- c-aaai-94-1457
- L. J. Hoebel:
Tractable Anytime Temporal Constraint Propagation.
Pages 1457.
- c-aaai-94-1458
- K. Horiguchi:
Processing Pragmatics for Computer-Assisted Language Instruction.
Pages 1458.
- c-aaai-94-1459
- D. Horowitz:
Generating Rythms with Genetic Algorithms.
Pages 1459.
- c-aaai-94-1460
- M. J. Huber, E. H. Durfee, and M. P. Wellman:
The Automated Mapping of Plans for Plan Recognition.
Pages 1460.
- c-aaai-94-1461
- S. B. Hunter:
Preliminary Studies in Agent Design in Simulated Environments.
Pages 1461.
- c-aaai-94-1462
- Q. Ji, M. M. Marefat, and P. J. A. Lever:
Dempster-Shafer and Bayesian Networks for CAD-Based Feature Extraction: A Comparative Investigation and Analysis.
Pages 1462.
- c-aaai-94-1463
- G. H. John:
Finding Multivariate Splits in Decision Trees Using Function Optimization.
Pages 1463.
- c-aaai-94-1464
- G. H. John:
When the Best Move Isn't Optimal: Q-Learning with Exploration.
Pages 1464.
- c-aaai-94-1465
- L. Joskowicz and E. Sacks:
HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces.
Pages 1465.
- c-aaai-94-1466
- T. E. Kammeyer and R. K. Belew:
Learning Sorting Networks by Grammars.
Pages 1466.
- c-aaai-94-1467
- S. Ketchpel:
The Formation of Coalitions among Self-Interested Agents.
Pages 1467.
- c-aaai-94-1468
- S. V. Kowalski:
Learning from Ambiguous Examples.
Pages 1468.
- c-aaai-94-1469
- N. Kushmerick:
Exploiting the Environment: Urban Navigation as a Case Study.
Pages 1469.
- c-aaai-94-1470
- D. Lee and M. Recce:
Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
Pages 1470.
- c-aaai-94-1471
- T. F. McDougal:
Everyday Reasoning Meets Geometry Theorem-Proving.
Pages 1471.
- c-aaai-94-1472
- J. MacIntyre, David E. Smith, and J. Tait:
Determination of Machine Condition Using Neural Networks.
Pages 1472.
- c-aaai-94-1473
- K. Mahesh:
Building a Parser That Can Afford To Interact with Semantics.
Pages 1473.
- c-aaai-94-1474
- O. Maron:
Using Errors to Create Piecewise Learnable Partitions.
Pages 1474.
- c-aaai-94-1475
- C. Medina, L. Pratt, and C. Ganesh:
Development of an Intelligent Forensic System for Hair Analysis and Comparison.
Pages 1475.
- c-aaai-94-1476
- J. Milgram:
Model-Based Sensor Diagnosis: When Monitoring Should Be Monitored.
Pages 1476.
- c-aaai-94-1477
- D. Mitra:
Theorectical and Experimental Studies of Temporal Constraint Satisfaction Problem.
Pages 1477.
- c-aaai-94-1478
- K. Moorman and A. Ram:
A Theory of Reading.
Pages 1478.
- c-aaai-94-1479
- S. S. Nerur:
A Hybrid Parallel IDA Search.
Pages 1479.
- c-aaai-94-1480
- M. Nirkhe:
Time-Situated Reasoning Within Tight Deadlines and Realistic Space and Computation Bounds.
Pages 1480.
- c-aaai-94-1481
- D. C. Noelle and G. W. Cottrell:
Integrating Induction and Instruction: Connectionist Advice Taking.
Pages 1481.
- c-aaai-94-1482
- D. K. Ok:
A Comparison of Reinforcement Learning Methods for Automatic Guided Vehicle Scheduling.
Pages 1482.
- c-aaai-94-1483
- J. Ortega:
Making the Most of What You've Got: Using Models and Data to Improve Learning Rate and Prediction Accuracy.
Pages 1483.
- c-aaai-94-1484
- M. A. Perez:
Learning Quality-Enhancing Control Knowledge.
Pages 1484.
- c-aaai-94-1485
- M. Perkowitz and O. Etzioni:
Database Learning for Software Agents.
Pages 1485.
- c-aaai-94-1486
- N. E. Reed:
Diagnosing Multiple Interacting Defects with Combination Descriptions.
Pages 1486.
- c-aaai-94-1487
- W. S. Reilly:
Building Emotional Characters for Interactive Drama.
Pages 1487.
- c-aaai-94-1488
- W. Sack:
On the Computation of Point of View.
Pages 1488.
- c-aaai-94-1489
- M. Sekaran and S. Sen:
Multi-Agent Learning in Non-Cooperatice Domains.
Pages 1489.
- c-aaai-94-1490
- O. Shechory:
Coalition Formation Methods in Multi-Agent Environments.
Pages 1490.
- c-aaai-94-1491
- V. Sikka:
Integrating Specialized Procedures in Proof Systems.
Pages 1491.
- c-aaai-94-1492
- R. Sooriamurthi and D. Leake:
Towards Situated Explanation.
Pages 1492.
- c-aaai-94-1493
- E. Stroulia:
Reflective Reasoning and Learning.
Pages 1493.
- c-aaai-94-1496
- X. Wang:
Learning by Observation and Practice: A Framework for Automatic Acquisition of Planning Operators.
Pages 1496.
- c-aaai-94-1497
- M. Wessler:
A Modular Visual Tracking System.
Pages 1497.
- c-aaai-94-1498
- Mike Williamson and Steve Hanks:
Utility-Directed Planning.
Pages 1498.
- c-aaai-94-1499
- H. Xiang, B. P. Verma, and G. Hoggenboom:
Fuzzy Irrigation Decision Support System.
Pages 1499.
- c-aaai-94-1500
- H. A. Yanco:
Synthetic Robot Language Development.
Pages 1500.
- c-aaai-94-1501
- Yan Zhang and D. Potter:
Computer Simulation of Statistics and Educational Measurement StatSim: An Intelligent Tutoring System for Statistics.
Pages 1501.
- c-aaai-94-1503
- B. Hayes-Roth, D. Gaba, S. Uckun, J. Barr, J. E. Larsson, and J. Chien:
Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring.
Pages 1503.
- c-aaai-94-1504
- R. M. Jones:
Dynamic Generation of Complex Behavior.
Pages 1504.
- c-aaai-94-1505
- L. Joskowicz and E. Sacks:
HIPAIR: Interactive Mechanism Analysis and Design Using Configuration Spaces.
Pages 1505.
- c-aaai-94-1506
- P. Maes, T. Darrell, B. Blumberg, and S. Pentland:
ALIVE: Artificial Life Interactive Video Environment.
Pages 1506.
- c-aaai-94-1507
- J. Mostow, A. Hauptmann, S. F. Roth, M. Kane, A. Swift, L. Chase, and B. Weide:
A Reading Coach That Listens: (Edited) Video TranscripT.
Pages 1507.
- c-aaai-94-1508
- D. Rosenthal:
Machine Rhythm.
Pages 1508.
11-Sep-97 17:44