List of contents of the Proceedings of the

12'th AAAI National Conference on Artificial Intelligence, 1994 (AAAI-94)

Published by AAAI Press


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