List of contents of the Proceedings of the

International Joint Conference on Artificial Intelligence, 1995 (IJCAI-95)

Edited by Chris S. Mellish

Published by

c-ijcai-95-3
S. A. Niyogi:
Fitting Models to Distributed Representations of Vision.
Pages 3-9.

c-ijcai-95-10
R. P. N. Rao and D. H. Ballard:
Natural Basis Functions and Topographic Memory for Face Recognition.
Pages 10-17.

c-ijcai-95-20
C. Fermüller and Y. Aloimonos:
Representations for Active Vision.
Pages 20-26.

c-ijcai-95-27
Tomas Uhlin and J.-O. Eklundh:
Animate Vision in a Rich Environment.
Pages 27-33.

c-ijcai-95-36
Steven Reece and H. Durrant-Whyte:
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation.
Pages 36-41.

c-ijcai-95-42
Qi Zhao and T. Nishida:
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence.
Pages 42-47.

c-ijcai-95-50
Rajiv Chopra and R. K. Srihari:
Control Structures for Incorporating Picture-Specific Context in Image Interpretation.
Pages 50-55.

c-ijcai-95-56
Ian Horswill:
Visual Routines and Visual Search: A Real-Time Implementation and Automata-Theoretic Analysis.
Pages 56-62.

c-ijcai-95-64
R. W. Wisniewski and C. M. Brown:
Adaptable Planner Primitives for Real-World Robotic Applications.
Pages 64-71.

c-ijcai-95-72
R. J. Firby, R. E. Kahn, P. N. Prokopowicz, and M. J. Swain:
An Architecture for Vision and Action.
Pages 72-79.

c-ijcai-95-82
O. Hasegawa, K. Itou, T. Kurita, S. Hayamizu, K. Tanaka, K. Yamamoto, and N. Otsu:
Active Agent Oriented Multimodal Interface System.
Pages 82-87.

c-ijcai-95-88
E. Krotkov:
Robotic Perception of Material.
Pages 88-94.

c-ijcai-95-96
R. I. Brafman and Yoav Shoham:
Knowledge Considerations in Robotics and Distribution of Robotic Tasks.
Pages 96-102.

c-ijcai-95-103
M. Tambe and P. S. Rosenbloom:
RESC: An Approach for Real-Time, Dynamic Agent Tracking.
Pages 103-110.

c-ijcai-95-112
J. Tani:
Self-Organization of Symbolic Processes Through Interaction with the Physical World.
Pages 112-118.

c-ijcai-95-119
B. Liu:
Using Knowledge to Isolate Search in Route Finding.
Pages 119-124.

c-ijcai-95-126
T. Nakamura and M. Asada:
Motion Sketch: Acquisition of Visual Motion Guided Behaviors.
Pages 126-132.

c-ijcai-95-133
S. Baluja and D. A. Pomerleau:
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention.
Pages 133-139.

c-ijcai-95-142
V. Manikonda, J. Hendler, and P. S. Krishnaprasad:
Formalizing Behavior-Based Planning for Nonholonomic Robots.
Pages 142-149.

c-ijcai-95-150
David Poole:
Logic Programming for Robot Control.
Pages 150-157.

c-ijcai-95-158
K. Kashino, K. Nakadai, T. Kinoshita, and H. Tanaka:
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism.
Pages 158-164.

c-ijcai-95-165
T. Nakatani, H. G. Okuno, and T. Kawabata:
Residue-Driven Architecture for Computational Auditory Scene Analysis.
Pages 165-172.

c-ijcai-95-175
A. Bundy and V. Lombart:
Relational Rippling: A General Approach.
Pages 175-181.

c-ijcai-95-182
E. Melis:
A Model of Analogy-Driven Proof-Plan Construction.
Pages 182-188.

c-ijcai-95-190
T. Kolbe and C. Walther:
Second-Order Matching Modulo Evaluation - A Technique for Reusing Proofs.
Pages 190-195.

c-ijcai-95-196
P. P. Nayak and A. Y. Levy:
A Semantic Theory of Abstractions.
Pages 196-202.

c-ijcai-95-204
K. Inoue and C. Sakama:
Abductive Framework for Nonmonotonic Theory Change.
Pages 204-210.

c-ijcai-95-211
Adnan Darwiche:
Model-Based Diagnosis Using Causal Networks.
Pages 211-217.

c-ijcai-95-220
B. Hamidzadeh and S. Shekhar:
Deadline Compliance, Predictability, and On-Line Optimization in Real-Time Problem Solving.
Pages 220-226.

c-ijcai-95-227
J. C. Pemberton:
k-Best: A New Method for Real-Time Decision Making.
Pages 227-233.

c-ijcai-95-236
H. Kaindl, G. Kainz, A. Leeb, and H. Smetana:
How to Use Limited Memory in Heuristic Search.
Pages 236-242.

c-ijcai-95-243
S. Bhattacharya:
Experimenting with Revisits in Game Tree Search.
Pages 243-249.

c-ijcai-95-252
P. C. Chen:
On Bootstrapping Local Search with Trail-Markers.
Pages 252-258.

c-ijcai-95-259
T. Sasaki, F. Chimura, and M. Tokoro:
The Trailblazer Search with a Hierarchical Abstract Map.
Pages 259-264.

c-ijcai-95-266
R. E. Korf:
From Approximate to Optimal Solutions: A Case Study of Number Partitioning.
Pages 266-272.

c-ijcai-95-273
A. Plaat, J. Schaeffer, W. Pijls, and A. de Bruin:
Best-First Fixed-Depth Game-Tree Search in Practice.
Pages 273-279.

c-ijcai-95-282
N. Yugami:
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability.
Pages 282-288.

c-ijcai-95-289
T.Boy de la Tour and S. Demri:
On the Complexity of Extending Ground Resolution with Symmetry Rules.
Pages 289-295.

c-ijcai-95-298
Yan Zhang and Yan Zhang:
SEM: A System for Enumerating Models.
Pages 298-303.

c-ijcai-95-304
B. Cha and K. Iwama:
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas.
Pages 304-310.

c-ijcai-95-312
I. Niemelä:
Towards Efficient Default Reasoning.
Pages 312-318.

c-ijcai-95-319
R. Khardon and D. Roth:
Default-Reasoning with Models.
Pages 319-325.

c-ijcai-95-328
R. Caferra and N. Peltier:
Extending Semantic Resolution Via Automated Model Building: Applications.
Pages 328-334.

c-ijcai-95-335
P. Baumgartner, U. Furbach, and F. Stolzenburg:
Model Elimination, Logic Programming and Computing Answers.
Pages 335-340.

c-ijcai-95-342
A. Degtyarev and A. Voronkov:
Equality Elimination for the Inverse Method and Extension Procedures.
Pages 342-347.

c-ijcai-95-348
L. Bachmair, T. Chen, I. V. Ramakrishnan, S. Anantharaman, and J. Chabin:
Experiments with Associative-Commutative Discrimination Nets.
Pages 348-354.

c-ijcai-95-356
E. Marchiori:
A Methodology for Proving Termination of General Logic Programs.
Pages 356-361.

c-ijcai-95-362
R. M. Verma:
Unique Normal Forms and Confluence of Rewrite Systems: Persistence.
Pages 362-368.

c-ijcai-95-371
K. Miyashita and K. Sycara:
Improving System Performance in Case-Based Iterative Optimization Through Knowledge Filtering.
Pages 371-376.

c-ijcai-95-377
B. Smyth and M. T. Keane:
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems.
Pages 377-382.

c-ijcai-95-384
L. K. Branting and D. W. Aha:
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes.
Pages 384-390.

c-ijcai-95-391
S. Fox and D. B. Leake:
Using Introspective Reasoning to Refine Indexing.
Pages 391-397.

c-ijcai-95-400
E. L. Rissland and J. J. Daniels:
Using CBR to Drive IR.
Pages 400-407.

c-ijcai-95-408
K. E. Sanders:
Within the Letter of the Law: Open-Textured Planning.
Pages 408-414.

c-ijcai-95-417
A. Blocher and J. R. J. Schirra:
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF.
Pages 417-423.

c-ijcai-95-424
R. Sun:
A Microfeature Based Approach Towards Metaphor Interpretation.
Pages 424-429.

c-ijcai-95-432
G. Sablon and L. De Raedt:
Forgetting and Compacting Data in Concept Learning.
Pages 432-438.

c-ijcai-95-439
B. Krulwich, L. Birnbaum, and G. Collins:
Determining What to Learn Through Component-Task Modeling.
Pages 439-445.

c-ijcai-95-448
P. Resnik:
Using Information Content to Evaluate Semantic Similarity in a Taxonomy.
Pages 448-453.

c-ijcai-95-454
S. L. Epstein:
On Heuristic Reasoning, Reactivity, and Search.
Pages 454-461.

c-ijcai-95-464
D. D. Fu, K. J. Hammond, and M. J. Swain:
Action and Perception in Man-Made Environments.
Pages 464-469.

c-ijcai-95-473
A. Turk and G. Görz:
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine.
Pages 473-479.

c-ijcai-95-480
R. Setiono and H. Liu:
Understanding Neural Networks Via Rule Extraction.
Pages 480-485.

c-ijcai-95-488
Jixin Ma, R. F. Harrison, and R. L. Kennedy:
GR2 - A Hybrid Knowledge-Based System Using General Rules.
Pages 488-493.

c-ijcai-95-494
C. S. Herrmann:
A Hybrid Fuzzy-Neural Expert System for Diagnosis.
Pages 494-500.

c-ijcai-95-502
F. Kozato:
A Hybrid Rule-Based System - How Variables Are Involved in Connectionist Rule-Based Systems.
Pages 502-508.

c-ijcai-95-509
A. Sperduti, A. Starita, and C. Goller:
Learning Distributed Representations for the Classification of Terms.
Pages 509-515.

c-ijcai-95-518
N. Japkowicz, C. Myers, and M. Gluck:
A Novelty Detection Approach to Classification.
Pages 518-523.

c-ijcai-95-524
R. Maclin and J. W. Shavlik:
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks.
Pages 524-530.

c-ijcai-95-532
H. Kitano:
A Model for Hormonal Modulation of Learning.
Pages 532-538.

c-ijcai-95-541
G. Kondrak and P. van Beek:
A Theoretical Evaluation of Selected Backtracking Algorithms.
Pages 541-547.

c-ijcai-95-548
E. C. Freuder and P. D. Hubbe:
Extracting Constraint Satisfaction Subproblems.
Pages 548-555.

c-ijcai-95-558
R. J. Bayardo and D. P. Miranker:
On the Space-Time Trade-Off in Solving Constraint Satisfaction Problems.
Pages 558-562.

c-ijcai-95-563
E. C. Freuder and R. J. Wallace:
Generalizing Inconsistency Learning for Constraint Satisfaction.
Pages 563-569.

c-ijcai-95-572
D. Frost and Rina Dechter:
Look-Ahead Value Ordering for Constraint Satisfaction Problems.
Pages 572-578.

c-ijcai-95-579
P. Meseguer and J. Larrosa:
Constraint Satisfaction as Global Optimization.
Pages 579-584.

c-ijcai-95-586
B. Liu:
Increasing Functional Constraints Need to Be Checked Only Once.
Pages 586-591.

c-ijcai-95-592
C. Bessiere, E. C. Freuder, and J.-C. Regin:
Using Inference to Reduce Arc Consistency Computation.
Pages 592-598.

c-ijcai-95-600
P. Baptiste and C. Le Pape:
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling.
Pages 600-606.

c-ijcai-95-607
W. D. Harvey and M. L. Ginsberg:
Limited Discrepancy Search.
Pages 607-613.

c-ijcai-95-616
K. Kask and Rina Dechter:
GSAT and Local Consistency.
Pages 616-622.

c-ijcai-95-624
S. Bistarelli, Angelo Montanari, and F. Rossi:
Constraint Solving Over Semirings.
Pages 624-630.

c-ijcai-95-631
T. Schiex, H. Fargier, and G. Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems.
Pages 631-637.

c-ijcai-95-640
M. Jampel and S. Hunt:
Composition in Hierarchical CLP.
Pages 640-645.

c-ijcai-95-646
B. M. Smith and S. A. Grant:
Sparse Constraint Graphs and Exceptionally Hard Problems.
Pages 646-651.

c-ijcai-95-655
O. Shehory and S. Kraus:
Task Allocation Via Coalition Formation Among Autonomous Agents.
Pages 655-661.

c-ijcai-95-662
T. W. Sandholm and V. R. Lesser:
Coalition Formation Among Bounded Rational Agents.
Pages 662-669.

c-ijcai-95-672
D. Kuokka and L. Harada:
Matchmaking for Information Agents.
Pages 672-678.

c-ijcai-95-679
E. Ephrati, M. E. Pollack, and S. Ur:
Deriving Multi-Agent Coordination Through Filtering Strategies.
Pages 679-685.

c-ijcai-95-688
W. Briggs and D. Cook:
Flexible Social Laws.
Pages 688-693.

c-ijcai-95-694
T. W. Sandholm and V. R. Lesser:
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems.
Pages 694-701.

c-ijcai-95-704
M. P. Georgeff and A. S. Rao:
The Semantics of Intention Maintenance for Rational Agents.
Pages 704-710.

c-ijcai-95-711
T. Hogg:
Social Dilemmas in Computational Ecosystems.
Pages 711-716.

c-ijcai-95-719
J. Bala, Zhisheng Huang, H. Vafaie, K. DeJong, and H. Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification.
Pages 719-724.

c-ijcai-95-725
S. Sen and Brian Knight:
A Genetic Prototype Learner.
Pages 725-731.

c-ijcai-95-734
J. R. Koza:
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program.
Pages 734-740.

c-ijcai-95-741
D. Andre:
The Automatic Programming of Agents That Learn Mental Models and Create Simple Plans of Action.
Pages 741-747.

c-ijcai-95-751
P. D. Karp and S. M. Paley:
Knowledge Representation in the Large.
Pages 751-758.

c-ijcai-95-759
V. K. Chaudhri and J. Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases.
Pages 759-766.

c-ijcai-95-768
P. D. Karp, K. L. Myers, and T. Gruber:
The Generic Frame Protocol.
Pages 768-774.

c-ijcai-95-775
A. Mouaddib and S. Zilberstein:
Knowledge-Based Anytime Computation.
Pages 775-781.

c-ijcai-95-784
J. Gamper and W. Nejdl:
Proposing Measurements in Dynamic Systems.
Pages 784-790.

c-ijcai-95-791
M. Barbeau, Froduald Kabanza, and R. St-Denis:
Synthesizing Plant Controllers Using Real-Time Goals.
Pages 791-798.

c-ijcai-95-801
G. De Giacomo and Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
Pages 801-807.

c-ijcai-95-808
F. Baader and A. Laux:
Terminological Logics with Modal Operators.
Pages 808-814.

c-ijcai-95-816
D. L. Mc Guinness and A. T. Borgida:
Explaining Subsumption in Description Logics.
Pages 816-821.

c-ijcai-95-822
Mary-Anne Williams, M. Pagnucco, B. Sims, and N. Foo:
Determining Explanations Using Transmutations.
Pages 822-827.

c-ijcai-95-830
Alvaro del Val:
An Analysis of Approximate Knowledge Compilation.
Pages 830-836.

c-ijcai-95-837
P. Marquis:
Knowledge Compilation Using Theory Prime Implicates.
Pages 837-843.

c-ijcai-95-846
N. Asher and L. Vieu:
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.
Pages 846-852.

c-ijcai-95-853
G. Lakemeyer:
A Logical Account of Relevance.
Pages 853-859.

c-ijcai-95-862
G. Gogic, C. Papadimitriou, B. Selman, and H. Kautz:
The Comparative Linguistics of Knowledge Representation.
Pages 862-869.

c-ijcai-95-870
T. Eiter, G. Gottlob, and N. Leone:
Semantics and Complexity of Abduction from Default Theories.
Pages 870-876.

c-ijcai-95-878
R. McCartney and M. Anderson:
Inter-Diagrammatic Reasoning.
Pages 878-884.

c-ijcai-95-885
S. Tessler, Y. Iwasaki, and K. Law:
Qualitative Structural Analysis Using Diagrammatic Reasoning.
Pages 885-891.

c-ijcai-95-894
J. Euzenat:
An Algebraic Approach to Granularity in Qualitative Time and Space Representation.
Pages 894-900.

c-ijcai-95-901
M. Grigni, D. Papadias, and C. Papadimitriou:
Topological Inference.
Pages 901-906.

c-ijcai-95-908
J. Straach and H. Schweitzer:
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes.
Pages 908-914.

c-ijcai-95-915
A. Mukerjee, M. Agarwal, and P. Bhatia:
A Qualitative Discretization for Two-Body Contacts.
Pages 915-921.

c-ijcai-95-924
H. Lieberman:
Letizia: An Agent That Assists Web Browsing.
Pages 924-929.

c-ijcai-95-930
M. Perkowitz and O. Etzioni:
Category Translation: Learning to Understand Information on the Internet.
Pages 930-936.

c-ijcai-95-939
H. A. Simon:
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration.
Pages 939-948.

c-ijcai-95-950
S. Russell:
Rationality and Intelligence.
Pages 950-957.

c-ijcai-95-961
J. Maresky, Y. Davidor, D. Gitler, G. Aharoni, and A. Barak:
Profiling Communication in Distributed Genetic Algorithms.
Pages 961-966.

c-ijcai-95-967
B. Hayes-Roth:
Agents on Stage: Advancing the State of the Art of AI.
Pages 967-971.

c-ijcai-95-972
Pat Hayes and K. Ford:
Turing Test Considered Harmful.
Pages 972-977.

c-ijcai-95-978
J. Kay:
Vive la Difference! Individualised Interaction with Users.
Pages 978-984.

c-ijcai-95-985
J. O. Kephart, G. B. Sorkin, W. C. Arnold, D. M. Chess, G. J. Tesauro, and S. R. White:
Biologically Inspired Defenses Against Computer Viruses.
Pages 985-996.

c-ijcai-95-997
S. Muggleton:
Inductive Logic Programming: Inverse Resolution and Beyond.
Pages 997.

c-ijcai-95-998
B. Selman:
Stochastic Search and Phase Transitions: AI Meets Physics.
Pages 998-1002.

c-ijcai-95-1003
D. Terzopoulos:
Modeling Living Systems for Computer Vision.
Pages 1003-1013.

c-ijcai-95-1019
J. R. Quinlan and R. M. Cameron-Jones:
Oversearching and Layered Search in Empirical Learning.
Pages 1019-1024.

c-ijcai-95-1025
S. Murthy and S. Salzberg:
Lookahead and Pathology in Decision Tree Induction.
Pages 1025-1031.

c-ijcai-95-1034
I. Kononenko:
On Biases in Estimating Multi-Valued Attributes.
Pages 1034-1040.

c-ijcai-95-1041
J. Ortega and Michael Fisher:
Flexibly Exploiting Prior Knowledge in Empirical Learning.
Pages 1041-1047.

c-ijcai-95-1050
J. F. McCarthy and W. G. Lehnert:
Using Decision Trees for Coreference Resolution.
Pages 1050-1055.

c-ijcai-95-1056
L. B. Holder:
Intermediate Decision Trees.
Pages 1056-1062.

c-ijcai-95-1064
Z. Zheng:
Constructing Nominal X-of-N Attributes.
Pages 1064-1070.

c-ijcai-95-1071
R. Kohavi and Renwei Li:
Oblivious Decision Trees, Graphs, and Top-Down Pruning.
Pages 1071-1077.

c-ijcai-95-1080
R. Simmons and S. Koenig:
Probabilistic Robot Navigation in Partially Observable Environments.
Pages 1080-1087.

c-ijcai-95-1088
R. Parr and S. Russell:
Approximating Optimal Policies for Partially Observable Stochastic Domains.
Pages 1088-1094.

c-ijcai-95-1096
Craig Boutilier and M. L. Puterman:
Process-Oriented Planning and Average-Reward Optimality.
Pages 1096-1103.

c-ijcai-95-1104
Craig Boutilier, Richard Dearden, and Moises Goldszmidt:
Exploiting Structure in Policy Construction.
Pages 1104-1111.

c-ijcai-95-1114
Yan Zhang and T. G. Dietterich:
A Reinforcement Learning Approach to Job-Shop Scheduling.
Pages 1114-1120.

c-ijcai-95-1121
Tom Dean and Fangzhen Lin:
Decomposition Texchniques for Planning in Stochastic Domains.
Pages 1121-1127.

c-ijcai-95-1130
H.-J. Kang and J.-H. Kim:
Dependency Relationship Based Decision Combination in Multiple Classifier Systems.
Pages 1130-1136.

c-ijcai-95-1137
R. Kohavi:
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection.
Pages 1137-1143.

c-ijcai-95-1146
S. Russell, J. Binder, Daphne Koller, and Keiji Kanazawa:
Local Learning in Probabilistic Networks with Hidden Variables.
Pages 1146-1152.

c-ijcai-95-1153
G. DeJong and S. Bennett:
Extending Classical Planning to Real-World Execution with Machine Learning.
Pages 1153-1159.

c-ijcai-95-1162
R. Greiner:
The Complexity of Theory Revision.
Pages 1162-1168.

c-ijcai-95-1169
D. Schuurmans and R. Greiner:
Practical PAC Learning.
Pages 1169-1175.

c-ijcai-95-1178
D. Roth:
Learning to Reason: The Non-Monotonic Case.
Pages 1178-1184.

c-ijcai-95-1185
Daphne Koller and A. Pfeffer:
Generating and Solving Imperfect Information Games.
Pages 1185-1192.

c-ijcai-95-1194
H. Boström:
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs.
Pages 1194-1200.

c-ijcai-95-1201
H. Ade and M. Denecker:
AILP: Abductive Inductive Logic Programming.
Pages 1201-1207.

c-ijcai-95-1210
A. M. Frisch and C. D. Page:
Building Theories into Instantiation.
Pages 1210-1216.

c-ijcai-95-1217
S. Thrun and T. M. Mitchell:
Learning One More Thing.
Pages 1217-1223.

c-ijcai-95-1226
P. Domingos:
Rule Induction and Instance-Based Learning: A Unified Approach.
Pages 1226-1232.

c-ijcai-95-1233
K. Deng and A. W. Moore:
Multiresolution Instance-Based Learning.
Pages 1233-1239.

c-ijcai-95-1243
J. Chu-Carroll and S. Carberry:
Generating Information-Sharing Subdialogues in Expert-User Consultation.
Pages 1243-1250.

c-ijcai-95-1251
I. Zukerman and R. McConachy:
Generating Discourse Across Several User Models: Maximizing Belief While Avoiding Boredom and Overload.
Pages 1251-1257.

c-ijcai-95-1260
K. E. Lochbaum:
The Use of Knowledge Preconditions in Language Processing.
Pages 1260-1266.

c-ijcai-95-1267
R. J. Passonneau:
Integrating Gricean and Attentional Constraints.
Pages 1267-1273.

c-ijcai-95-1276
V. O. Mittal, S. Roth, J. D. Moore, J. Mattis, and G. Carenini:
Generating Explanatory Captions for Information Graphics.
Pages 1276-1283.

c-ijcai-95-1284
K. Nagao and J. Rekimoto:
Ubiquitous Talker: Spoken Language Interaction with Real World Objects.
Pages 1284-1290.

c-ijcai-95-1292
M. Steedman:
Dynamic Semantics for Tense and Aspect.
Pages 1292-1298.

c-ijcai-95-1299
B. J. Dorr and T. Gaasterland:
Selecting Tense, Aspect, and Connecting Words In Language Generation.
Pages 1299-1305.

c-ijcai-95-1308
T. Takenobu, I. Makoto, and T. Hozumi:
Automatic Thesaurus Construction Based on Grammatical Relations.
Pages 1308-1313.

c-ijcai-95-1314
S. Soderland, Michael Fisher, J. Aseltine, and W. Lehnert:
CRYSTAL: Inducing a Conceptual Dictionary.
Pages 1314-1319.

c-ijcai-95-1322
M. Iwayama and T. Tokunaga:
Hierarchical Bayesian Clustering for Automatic Text Classification.
Pages 1322-1327.

c-ijcai-95-1328
D. Wu:
Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora.
Pages 1328-1335.

c-ijcai-95-1338
F. Song and R. Cohen:
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination.
Pages 1338-1345.

c-ijcai-95-1346
M. Vilain:
Semantic Inference in Natural Language: Validating a Tractable Approach.
Pages 1346-1351.

c-ijcai-95-1354
S. Azzam:
Anaphors, PPs and Disambiguation Process for Conceptual Analysis.
Pages 1354-1359.

c-ijcai-95-1360
T. Nasukawa and N. Uramoto:
Discourse as a Knowledge Resource for Sentence Disambiguation.
Pages 1360-1365.

c-ijcai-95-1368
Renwei Li, S. Szpakowicz, and S. Matwin:
A WordNet-Based Algorithm for Word Sense Disambiguation.
Pages 1368-1374.

c-ijcai-95-1375
K. B. Haase:
Analogy in the Large.
Pages 1375-1380.

c-ijcai-95-1382
V. Hatzivassiloglou and Brian Knight:
Unification-Based Glossing.
Pages 1382-1389.

c-ijcai-95-1390
Brian Knight, I. Chander, M. Haines, V. Hatzivassiloglou, E. Hovy, M. Iida, S. K. Luk, R. Whitney, and K. Yamada:
Filling Knowledge Gaps in a Broad-Coverage Machine Translation System.
Pages 1390-1396.

c-ijcai-95-1398
C. Paris, K. Vander Linden, Michael Fisher, A. Hartley, L. Pemberton, R. Power, and D. Scott:
A Support Tool for Writing Multilingual Instructions.
Pages 1398-1404.

c-ijcai-95-1405
A. Jönsson:
Dialogue Actions for Natural Language Interfaces.
Pages 1405-1411.

c-ijcai-95-1414
C. Samuelsson:
An Efficient Algorithm for Surface Generation.
Pages 1414-1419.

c-ijcai-95-1420
Fangzhen Lin:
A Dependency-Based Method for Evaluating Broad-Coverage Parsers.
Pages 1420-1425.

c-ijcai-95-1428
H.-U. Krieger and U. Schäfer:
Efficient Parameterizable Type Expansion for Typed Feature Formalisms.
Pages 1428-1434.

c-ijcai-95-1435
O. Imaichi and Y. Matsumoto:
Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs.
Pages 1435-1440.

c-ijcai-95-1443
C. Cayrol:
On the Relation Between Argumentation and Non-Monotonic Coherence-Based Entailment.
Pages 1443-1448.

c-ijcai-95-1449
S. Benferhat, Didier Dubois, and H. Prade:
How to Infer From Inconsistent Beliefs Without Revising?.
Pages 1449-1455.

c-ijcai-95-1458
R. I. Brafman and Nir Friedman:
On Decision-Theoretic Foundations for Defaults.
Pages 1458-1465.

c-ijcai-95-1466
M. Morreau:
Allowed Arguments.
Pages 1466-1472.

c-ijcai-95-1474
J. Rintanen:
On Specificity in Default Logic.
Pages 1474-1479.

c-ijcai-95-1480
S.-W. Tan and Judea Pearl:
Specificity and Inheritance in Default Reasoning.
Pages 1480-1486.

c-ijcai-95-1488
J. P. Delgrande:
Syntactic Conditional Closures for Defeasible Reasoning.
Pages 1488-1494.

c-ijcai-95-1495
H. Geffner, Jimena Llopis, and Gisela Mendez:
Sound and Efficient Non-Monotonic Inference.
Pages 1495-1500.

c-ijcai-95-1502
Patrick Doherty, Witold Lukaszewicz, and Andrzej Szalas:
Computing Circumscription Revisited: Preliminary Report.
Pages 1502-1508.

c-ijcai-95-1509
A. Mikitiuk and M. Truszczynski:
Constrained and Rational Default Logics.
Pages 1509-1515.

c-ijcai-95-1518
A. Bochman:
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents.
Pages 1518-1524.

c-ijcai-95-1525
L. W. N. van der Torre and Y.-H. Tan:
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic.
Pages 1525-1532.

c-ijcai-95-1534
D. Lehmann:
Belief Revision, Revised.
Pages 1534-1540.

c-ijcai-95-1541
Mary-Anne Williams:
Iterated Theory Base Change: A Computational Model.
Pages 1541-1547.

c-ijcai-95-1550
Craig Boutilier:
Generalized Update: Belief Change in Dynamic Settings.
Pages 1550-1556.

c-ijcai-95-1557
P. Liberatore and Marco Schaerf:
Relating Belief Revision and Circumscription.
Pages 1557-1563.

c-ijcai-95-1567
G. Collins and Louise Pryor:
Planning Under Uncertainty: Some Key Issues.
Pages 1567-1573.

c-ijcai-95-1576
S. Zilberstsein:
Optimizing Decision Quality with Contract Algorithms.
Pages 1576-1582.

c-ijcai-95-1583
J. Bresina, M. Drummond, and K. Swanson:
Expected Solution Quality.
Pages 1583-1590.

c-ijcai-95-1592
K. Erol, J. Hendler, D. S. Nau, and R. Tsuneto:
A Critical Look at Critics in HTN Planning.
Pages 1592-1598.

c-ijcai-95-1599
C. Bäckström and P. Jonsson:
Planning with Abstraction Hierarchies Can Be Exponentially Less Efficient.
Pages 1599-1604.

c-ijcai-95-1606
E. Fink and Q. Yang:
Planning with Primary Effects: Experiments and Analysis.
Pages 1606-1611.

c-ijcai-95-1612
A. L. Lansky and L. C. Getoor:
Scope and Abstraction: Two Criteria for Localized Planning.
Pages 1612-1618.

c-ijcai-95-1620
R. Srinivasan and A. E. Howe:
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner.
Pages 1620-1626.

c-ijcai-95-1627
S. Kambhampati:
Admissible Pruning Strategies Based on Plan Minimality for Plan-Space Planning.
Pages 1627-1633.

c-ijcai-95-1636
A. L. Blum and M. L. Furst:
Fast Planning Through Planning Graph Analysis.
Pages 1636-1642.

c-ijcai-95-1643
P. Laborie and Malik Ghallab:
Planning with Sharable Resource Constraints.
Pages 1643-1649.

c-ijcai-95-1652
A. Stentz:
The Focussed D* Algorithm for Real-Time Replanning.
Pages 1652-1659.

c-ijcai-95-1660
S. Koenig and R. Simmons:
Real-Time Search in Non-Deterministic Domains.
Pages 1660-1667.

c-ijcai-95-1670
D. S. Nau, S. K. Gupta, and W. C. Regli:
AI Planning Versus Manufacturing-Operation Planning: A Case Study.
Pages 1670-1676.

c-ijcai-95-1677
J. Britanik and M. Marefat:
Hierarchical Plan Merging with Application to Process Planning.
Pages 1677-1683.

c-ijcai-95-1686
C. A. Knoblock:
Planning, Executing, Sensing, and Replanning for Information Gathering.
Pages 1686-1693.

c-ijcai-95-1694
B. Y. Choueiry, B. Faltings, and R. Weigel:
Abstraction by Interchangeability in Resource Allocation.
Pages 1694-1701.

c-ijcai-95-1704
N. Lesh and O. Etzioni:
A Sound and Fast Goal Recognizer.
Pages 1704-1710.

c-ijcai-95-1711
Y. Hayashi:
Recovering Problem-Solving Activities from Query Messages.
Pages 1711-1717.

c-ijcai-95-1721
W. Nejdl, P. Fröhlich, and M. Schroeder:
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems.
Pages 1721-1727.

c-ijcai-95-1728
C. Böttcher:
No Faults in Structure? - How to Diagnose Hidden Interactions.
Pages 1728-1734.

c-ijcai-95-1736
J. de Kleer and O. Raiman:
Trading Off the Costs of Inference Vs. Probing in Diagnosis.
Pages 1736-1741.

c-ijcai-95-1742
Y. El Fattah and Rina Dechter:
Diagnosing Tree-Decomposable Circuits.
Pages 1742-1748.

c-ijcai-95-1750
K. Kurumatani:
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions.
Pages 1750-1756.

c-ijcai-95-1757
B. Richards, B. Faltings, and P. Duxbury-Smith:
Case-Based Modeling with Qualitative Indices.
Pages 1757-1763.

c-ijcai-95-1766
S. R. Ling:
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena.
Pages 1766-1772.

c-ijcai-95-1773
Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta:
Modeling Time in Hybrid Systems: How Fast Is `` Instantaneous ''?.
Pages 1773-1780.

c-ijcai-95-1782
K. Yip:
Reasoning About Fluid Motion I: Finding Structures.
Pages 1782-1788.

c-ijcai-95-1789
U. Junker and B. Braunschweig:
History-Based Interpretation of Finite Element Simulations of Seismic Wave Fields.
Pages 1789-1795.

c-ijcai-95-1798
K. D. Forbus and B. Falkenhainer:
Scaling up Self-Explanatory Simulators: Polynomial-Time Compilation.
Pages 1798-1805.

c-ijcai-95-1806
M. Vescovi, A. Farquhar, and Y. Iwasaki:
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems.
Pages 1806-1812.

c-ijcai-95-1814
J. M. Crawford, D. L. Dvorak, D. J. Litman, A. K. Mishra, and P. F. Patel-Schneider:
Device Representation and Reasoning with Affective Relations.
Pages 1814-1820.

c-ijcai-95-1821
R. J. Doyle:
Determining the Loci of Anomalies Using Minimal Causal Models.
Pages 1821-1827.

c-ijcai-95-1830
M. Sasajima, Y. Kitamura, M. Ikeda, and R. Mizoguchi:
FBRL: A Function and Behavior Representation Language.
Pages 1830-1836.

c-ijcai-95-1837
J. O. Everett:
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics.
Pages 1837-1843.

c-ijcai-95-1847
M. Jaeger:
Minimum Cross-Entropy Reasoning: A Statistical Justification.
Pages 1847-1852.

c-ijcai-95-1853
J. Y. Halpern and Daphne Koller:
Representation Dependence in Probabilistic Inference.
Pages 1853-1860.

c-ijcai-95-1862
P. Hansen, B. Jaumard, G.-B. D. Nguetse, and M. P. de Aragao:
Models and Algorithms for Probabilistic and Bayesian Logic.
Pages 1862-1868.

c-ijcai-95-1869
M. Ramoni:
Ignorant Influence Diagrams.
Pages 1869-1875.

c-ijcai-95-1878
J. Forbes, Zhisheng Huang, Keiji Kanazawa, and S. Russell:
The BATmobile: Towards a Bayesian Automated Taxi.
Pages 1878-1885.

c-ijcai-95-1886
A. Jameson, R. Schäfer, J. Simons, and T. Weis:
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques.
Pages 1886-1893.

c-ijcai-95-1896
P. Smets:
The Canonical Decomposition of a Weighted Belief.
Pages 1896-1901.

c-ijcai-95-1902
R. R. Yager:
On the Representation of Nonmonotonic Relations in the Theory of Evidence.
Pages 1902-1907.

c-ijcai-95-1910
C. Xiaochun, J. Yunfei, and L. Xuhua:
The Rationality and Decidability of Fuzzy Implications.
Pages 1910-1915.

c-ijcai-95-1916
L. Godo and Lluís Vila:
Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints.
Pages 1916-1922.

c-ijcai-95-1924
Didier Dubois and H. Prade:
Possibility Theory as a Basis for Qualitative Decision Theory.
Pages 1924-1930.

c-ijcai-95-1933
Fahiem Bacchus, J. Y. Halpern, and H. J. Levesque:
Reasoning About Noisy Sensors in the Situation Calculus.
Pages 1933-1940.

c-ijcai-95-1941
P. Traverso and L. Spalazzi:
A Logic for Acting, Sensing and Planning.
Pages 1941-1947.

c-ijcai-95-1950
Witold Lukaszewicz and Ewa Madalinska-Bugaj:
Reasoning About Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report.
Pages 1950-1955.

c-ijcai-95-1956
Michael Thielscher:
The Logic of Dynamic Systems.
Pages 1956-1962.

c-ijcai-95-1964
E. Giunchiglia and Vladimir Lifschitz:
Dependent Fluents.
Pages 1964-1969.

c-ijcai-95-1970
G. N. Kartha and Vladimir Lifschitz:
A Simple Formalization of Actions Using Circumscription.
Pages 1970-1975.

c-ijcai-95-1978
Norman McCain and Hudson Turner:
A Causal Theory of Ramifications and Qualifications.
Pages 1978-1984.

c-ijcai-95-1985
Fangzhen Lin:
Embracing Causality in Specifying the Indirect Effects of Actions.
Pages 1985-1991.

c-ijcai-95-1994
Michael Thielscher:
Computing Ramifications by Postprocessing.
Pages 1994-2000.

c-ijcai-95-2001
Fangzhen Lin and Ray Reiter:
How to Progress a Database II: The STRIPS Connection.
Pages 2001-2007.

c-ijcai-95-2010
R. I. Brafman and M. Tennenholtz:
Towards Action Prediction Using a Mental-Level Model.
Pages 2010-2016.

c-ijcai-95-2017
Chitta Baral:
Reasoning About Actions: Non-Deterministic Effects, Constraints, and Qualification.
Pages 2017-2023.

c-ijcai-95-2027
E. C. Freuder, Rina Dechter, M. L. Ginsberg, B. Selman, and E. Tsang:
Systematic Versus Stochastic Constraint Satisfaction.
Pages 2027-2032.

c-ijcai-95-2033
J. Hendler, J. Carbonell, D. Lenat, R. Mizoguchi, and P.S. Rosenbloom:
VERY Large Knowledge Bases - Architecture vs Engineering.
Pages 2033-2036.

c-ijcai-95-2037
A. Sloman:
A Philosophical Encounter.
Pages 2037-2040.

c-ijcai-95-2041
J. McCarthy:
What Has AI in Common with Philosophy?.
Pages 2041-2042.

c-ijcai-95-2045
D. L. McGuinness, L. A. Resnick, and C. Isbell:
Description Logic in Practice: A CLASSIC Application.
Pages 2045-2046.

c-ijcai-95-2047
M. A. Hearst and J. O. Pederson:
Revealing Collection Structure Through Information Access Interfaces.
Pages 2047-2048.

c-ijcai-95-2049
J. Han, Y. Fu, and S. Tang:
Advances of the DBLearn System for Knowledge Discovery in Large Databases.
Pages 2049-2050.

c-ijcai-95-2051
P. N. Prokopowicz and P. R. Cooper:
IRV: Learning to Integrate Visual Information Across Camera Movements.
Pages 2051-2052.

c-ijcai-95-2053
E. André, W. Finkler, W. Graf, K. Harbusch, J. Heinsohn, A. Kilger, Bernhard Nebel, H.-J. Profitlich, T. Rist, W. Wahlster, A. Butz, and A. Jameson:
WIP: From Multimedia to Intellimedia.
Pages 2053-2054.

c-ijcai-95-2055
B. Faltings and K. Sun:
Computer-Aided Creative Mechanism Design.
Pages 2055-2056.

c-ijcai-95-2057
E. Furse:
Learning University Mathematics.
Pages 2057-2058.

c-ijcai-95-2059
I. A. Ferguson and J. D. Davlouros:
PeopleFinder: A Multimodal Multimedia Communications Tool for Interconnecting Office Staff.
Pages 2059-2060.

c-ijcai-95-2061
Y. Cao, B. Jung, and I. Wachsmuth:
Situated Verbal Interaction in Virtual Design and Assembly.
Pages 2061-2062.

c-ijcai-95-2063
A. Katkere, D. Kuramura, S. Moezzi, P. Kelly, D. Swanberg, K. Wakimoto, E. Hunter, L.-C. Tai, S. Chatterjee, and R. Jain:
Multiple Perspective Interactive Video.
Pages 2063-2064.

c-ijcai-95-2065
S. Bennett and G. DeJong:
GRASPER: A Permissive Planning Robot.
Pages 2065-2066.

c-ijcai-95-2067
U. M. Fayyad:
SKICAT: Sky Image Cataloging and Analysis Tool.
Pages 2067-2068.

c-ijcai-95-2069
C. Maples and C. Peterson:
MUSE(Multidimensional, User-Oriented Synthetic Environment), A New Approach to the Human-Computer Interface Using Precognitive Models of Perception.
Pages 2069-2070.

c-ijcai-95-2071
K. J. Hammond, R. Burke, and S. L. Lytinen:
A Case-Based Approach to Knowledge Navigation.
Pages 2071-2072.

c-ijcai-95-2073
P. Maes, B. Blumberg, T. Darrell, A. Pentland, and A. Wexelblat:
Modeling Interactive Agents in ALIVE.
Pages 2073-2074.

30-Jul-97 12:09