14. IJCAI 1995: Montréal, Québec, Canada

VOLUME 1

Action and Perception

Vision: Early Vision

• Sourabh A. Niyogi: Fitting Models to Distributed Representations of Vision. 3-9
• Rajesh P. N. Rao, Dana H. Ballard: Natural Basis Functions and Topographic Memory for Face Recognition. 10-19

Vison: Active Vision

• Cornelia Fermüller, Yiannis Aloimonos: Representations for Active Vision. 20-26
• Tomas Uhlin, Jan-Olof Eklundh: Animate Vision in a Rich Environment. 27-35

Vision: Qualitative Methods

• Steven Reece, Hugh F. Durrant-Whyte: A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. 36-41
• Qi Zhao, Toyoaki Nishida: Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. 42-49

Vision: Systems and Architectures 1

• Rajiv Chopra, Rohini K. Srihari: Control Structures for Incorporating Picture-Specific Context in Image Interpretation. 50-55
• Ian Horswill: Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. 56-63

Vision: Systems and Architectures 2

• Robert W. Wisniewski, Christopher M. Brown: Adaptable Planner Primitives for Real-World Robotic Applications. 64-71
• R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain: An Architecture for Vision and Action. 72-81

Vision: Vision and Other Perception

• Osamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu: Active Agent Oriented Multimodal Interface System. 82-87
• Eric Krotkov: Robotic Perception of Material. 88-95

Robotics: Multi-Agent Systems

• Ronen I. Brafman, Yoav Shoham: Knowledge Considerations in Robotics and Distribution of Robotic Tasks. 96-102
• Milind Tambe, Paul S. Rosenbloom: RESC: An Approach for Real-time, Dynamic Agent Tracking. 103-111

Robotics: Navigation

• Jun Tani: Self-Organization of Symbolic Processes through Interaction with the Physical World. 112-118
• Bing Liu: Using Knowledge to Isolate Search in Route Finding. 119-125

Robotics: Learning

• Takayuki Nakamura, Minoru Asada: Motion Sketch: Acquisition of Visual Motion Guided Behaviors. 126-132
• Shumeet Baluja, Dean Pomerleau: Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. 133-141

Robotics: Formal Methods

• Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad: Formalizing Behavior-based Planning for Nonholonomic Robots. 142-149
• David Poole: Logic Programming for Robot Control. 150-157

Auditory Scene Analysis

• Kunio Kashino, Kazuhiro Nakadai, Tomoyoshi Kinoshita, Hidehiko Tanaka: Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism. 158-164
• Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata: Residue-Driven Architecture for Computational Auditory Scene Analysis. 165-174

Automated Reasoning

Proof Planning

• Alan Bundy, Vincent Lombart: Relational Rippling: A General Approach. 175-181
• Erica Melis: A Model of Analogy-Driven Proof-Plan Construction. 182-189

Analogy and Abstraction

• Thomas Kolbe, Christoph Walther: Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. 190-195
• P. Pandurang Nayak, Alon Y. Levy: A Semantic Theory of Abstractions. 196-203

Abduction

• Katsumi Inoue, Chiaki Sakama: Abductive Framework for Nonmonotonic Theory Change. 204-210
• Adnan Darwiche: Model-Based Diagnosis using Causal Networks. 211-219

Search 1

• Babak Hamidzadeh, Shashi Shekhar: Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. 220-226
• Joseph C. Pemberton: k-Best: A New Method for Real-Time Decision Making. 227-235

Search 2

• Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana: How to Use Limited Memory in Heuristic Search. 236-242
• Subir Bhattacharya: Experimenting with Revisits in Game Tree Search. 243-251

Search 3

• Pang C. Chen: On Bootstrapping Local Search with Trail-Markers. 252-258
• Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro: The Trailblazer Search with a Hierarchical Abstract Map. 259-265

Search 4

• Richard E. Korf: From Approximate to Optimal Solutions: A Case Study of Number Partitioning. 266-272
• Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Game-Tree Search in Practice. 273-281

Satisfiability 1

• Nobuhiro Yugami: Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. 282-288
• Thierry Boy de la Tour, Stéphane Demri: On the Complexity of Extending Ground Resolution with Symmetry Rules. 289-297

Satisfiability 2

• Jian Zhang, Hantao Zhang: SEM: a System for Enumerating Models. 298-303
• Byungki Cha, Kazuo Iwama: Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. 304-311

Defaults

• Ilkka Niemelä: Towards Efficient Default Reasoning. 312-318
• Roni Khardon, Dan Roth: Default-Reasoning with Models. 319-327

Theorem Proving 1

• Ricardo Caferra, Nicolas Peltier: Extending Semantic Resolution via Automated Model Building: Applications. 328-334
• Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. 335-341

Theorem Proving 2

• Anatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Inverse Method and Extension Procedures. 342-347
• Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. 348-355

Reasoning about Programs

• Elena Marchiori: A Methodology for Proving Termination of General Logic Programs. 356-361
• Rakesh M. Verma: Unique Normal Forms and Confluence of Rewrite Systems: Persistence. 362-370

Case Based Reasoning

Case Based Reasoning 1

• Kazuo Miyashita, Katia P. Sycara: Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. 371-376
• Barry Smyth, Mark T. Keane: Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. 377-383

Case Based Reasoning 2

• Karl Branting, David W. Aha: Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. 384-390
• Susan Fox, David B. Leake: Using Introspective Reasoning to Refine Indexing. 391-399

Case Based Reasoning 3

• Edwina L. Rissland, Jody J. Daniels: Using CBR to Drive IR. 400-407
• Kathryn E. Sanders: Within the Letter of the Law: Open-Textured Planning. 408-416

Cognitive Modelling

Cognitive Modelling 1

• Anselm Blocher, Jörg R. J. Schirra: Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. 417-423
• Ron Sun: A Microfeature Based Approach Towards Metaphor Interpretation. 424-431

Cognitive Modelling 2

• Gunther Sablon, Luc De Raedt: Forgetting and Compacting data in Concept Learning. 432-438
• Bruce Krulwich, Lawrence Birnbaum, Gregg Collins: Determining What to Learn Through Component-Task Modeling. 439-447

Cognitive Modelling 3

• Philip Resnik: Using Information Content to Evaluate Semantic Similarity in a Taxonomy. 448-453
• Susan L. Epstein: On Heuristic Reasoning, Reactivity, and Search. 454-463

Cognitive Modelling 4

• Daniel D. Fu, Kristian J. Hammond, Michael J. Swain: Action and Perception in Man-Made Environments. 464-472

Connectionist Models

Connectionist Models 1

• Andreas Turk, Günther Görz: Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. 473-479
• Rudy Setiono, Huan Liu: Understanding Neural Networks via Rule Extraction. 480-487

Connectionist Models 2

• Zhe Ma, Robert F. Harrison, R. Lee Kennedy: GR2: A Hybrid Knowledge-based System Using General Rules. 488-493
• Christoph S. Herrmann: A Hybrid Fuzzy-Neural Expert System for Diagnosis. 494-501

Connectionist Models 3

• Fukumi Kozato: A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. 502-508
• Alessandro Sperduti, Antonina Starita, Christoph Goller: Learning Distributed Representations for the Classification of Terms. 509-517

Connectionist Models 4

• Nathalie Japkowicz, Catherine Myers, Mark A. Gluck: A Novelty Detection Approach to Classification. 518-523
• Richard Maclin, Jude W. Shavlik: Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. 524-531

Connectionist Models 5

• Hiroaki Kitano: A Model for Hormonal Modulation of Learning. 532-540

Constraint Satisfaction

Constraint Satisfaction 1

• Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. 541-547 (Outstanding Paper Award)
• Eugene C. Freuder, Paul D. Hubbe: Extracting Constraint Satisfaction Subproblems. 548-557

Constraint Satisfaction 2

• Roberto J. Bayardo Jr., Daniel P. Miranker: On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. 558-562
• Eugene C. Freuder, Richard J. Wallace: Generalizing Inconsistency Learning for Constraint Satisfaction. 563-571

Constraint Satisfaction 3

• Daniel Frost, Rina Dechter: Look-Ahead Value Ordering for Constraint Satisfaction Problems. 572-578
• Pedro Meseguer, Javier Larrosa: Constraint Satisfaction as Global Optimization. 579-585

Constraint Satisfaction 4

• Bing Liu: Increasing Functional Constraints Need to Be Checked Only Once. 586-591
• Christian Bessière, Eugene C. Freuder, Jean-Charles Régin: Using Inference to Reduce Arc Consistency Computation. 592-599

Constraint Satisfaction 5

• Philippe Baptiste, Claude Le Pape: A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. 600-606
• William D. Harvey, Matthew L. Ginsberg: Limited Discrepancy Search. 607-615

Constraint Satisfaction 6

• Kalev Kask, Rina Dechter: GSAT and Local Consistency. 616-623

Constraint Satisfaction 7

• Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Constraint Solving over Semirings. 624-630
• Thomas Schiex, Hélène Fargier, Gérard Verfaillie: Valued Constraint Satisfaction Problems: Hard and Easy Problems. 631-639

Constraint Satisfaction 8

• Michael Jampel, Sebastian Hunt: Composition in Hierarchical CLP. 640-645
• Barbara M. Smith, Stuart A. Grant: Sparse Constraint Graphs and Exceptionally Hard Problems. 646-654

Distributed AI

Coalitions

• Onn Shehory, Sarit Kraus: Task Allocation Via Coalition Formation Among Autonomous Agents. 655-661
• Tuomas Sandholm, Victor R. Lesser: Coalition Formation among Bounded Rational Agents. 662-671

Multiple Agents 1

• Daniel Kuokka, Larry Harada: Matchmaking for Information Agents. 672-678
• Eithan Ephrati, Martha E. Pollack, Sigalit Ur: Deriving Multi-Agent Coordination through Filtering Strategies. 679-687

Multiple Agents 2

• Will Briggs, Diane J. Cook: Flexible Social Laws. 688-693
• Tuomas Sandholm, Victor R. Lesser: Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. 694-703

Distributed Planning

• Michael P. Georgeff, Anand S. Rao: The Semantics of Intention Maintenance for Rational Agents. 704-710
• Tad Hogg: Social Dilemmas in Computational Ecosystems. 711-718

Genetic Algorithms

Genetic Algorithms 1

• Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth DeJong, Harry Wechsler: Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. 719-724
• Sandip Sen, Leslie Knight: A Genetic Prototype Learner. 725-733

Genetic Algorithms 2

• John R. Koza: Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. 734-740
• David Andre: The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. 741-750

Knowledge Base Technology

Knowledge Base Technology 1

• Peter D. Karp, Suzanne M. Paley: Knowledge Representation in the Large. 751-758
• Vinay K. Chaudhri, John Mylopoulos: Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. 759-767

Knowledge Base Technology 2

• Peter D. Karp, Karen L. Myers, Thomas R. Gruber: The Generic Frame Protocol. 768-774
• Abdel-Illah Mouaddib, Shlomo Zilberstein: Knowledge-Based Anytime Computation. 775-783

Planning, Monitoring, and Control

• Johann Gamper, Wolfgang Nejdl: Proposing Measurements in Dynamic Systems. 784-790
• Michel Barbeau, Froduald Kabanza, Richard St.-Denis: Synthesizing Plant Controllers Using Real-time Goals. 791-800

Knowledge Representation

Description Logics

• Giuseppe De Giacomo, Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. 801-807
• Franz Baader, Armin Laux: Terminological Logics with Modal Operators. 808-815

Explanation

• Deborah L. McGuinness, Alexander Borgida: Explaining Subsumption in Description Logics. 816-821
• Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims: Determining Explanations using Transmutations. 822-829

Knowledge Compilation

• Alvaro del Val: An Analysis of Approximate Knowledge Compilation. 830-836
• Pierre Marquis: Knowledge Compilation Using Theory Prime Implicates. 837-845

Commonsense Knowledge

• Nicholas Asher, Laure Vieu: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. 846-852
• Gerhard Lakemeyer: A Logical Account of Relevance. 853-861

Complexity

• Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman: The Comparative Linguistics of Knowledge Representation. 862-869
• Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. 870-877

Diagrams

• Michael Anderson, Robert McCartney: Inter-diagrammatic Reasoning. 878-884
• Shirley Tessler, Yumi Iwasaki, Kincho H. Law: Qualitative Structural Analysis Using Diagrammatic Reasoning. 885-893

Spatial Reasoning

• Jérôme Euzenat: An Algebraic Approach to Granularity in Qualitative Time and Space Representation. 894-900
• Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou: Topological Inference. 901-907

Shape and Space

• Haim Schweitzer, Janell Straach: Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. 908-914
• Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia: A Qualitative Discretization for Two-Body Contacts. 915-923

Information Gathering

• Henry Lieberman: Letizia: An Agent That Assists Web Browsing. 924-929
• Mike Perkowitz, Oren Etzioni: Category Translation: Learning to Understand Information on the Internet. 930-938

Awards

Research Excellence Award

• Herbert A. Simon: Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. 939-949

Computers and Thought Award

• Stuart J. Russell: Rationality and Intelligence. 950-960

Invited Speakers

• Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak: Profiling Communication in Distributed Genetic Algorithms. 961-966
• Barbara Hayes-Roth: Agents on Stage: Advancing the State of the Art of AI. 967-971
• Patrick J. Hayes, Kenneth M. Ford: Turing Test Considered Harmful. 972-977
• Judy Kay: Vive la difference! Individualised Interaction with Users. 978-984
• Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White: Biologically Inspired Defenses Against Computer Viruses. 985-996
• Stephen Muggleton: Inductive Logic Programming: Inverse Resolution and Beyond. 997
• Bart Selman: Stochastic Search and Phase Transitions: AI Meets Physics. 998-1002
• Demetri Terzopoulos: Modeling Living Systems for Computer Vision. 1003-1013

VOLUME 2

Learning

Learning 1

• J. Ross Quinlan, R. Mike Cameron-Jones: Oversearching and Layered Search in Empirical Learning. 1019-1024
• Sreerama K. Murthy, Steven Salzberg: Lookahead and Pathology in Decision Tree Induction. 1025-1033

Learning 2

• Igor Kononenko: On Biases in Estimating Multi-Valued Attributes. 1034-1040
• Julio Ortega, Douglas Fisher: Flexibly Exploiting Prior Knowledge in Empirical Learning. 1041-1049

Learning 3

• Joseph F. McCarthy, Wendy G. Lehnert: Using Decision Trees for Coreference Resolution. 1050-1055
• Lawrence B. Holder: Intermediate Decision Trees. 1056-1063

Learning 4

• Zijian Zheng: Constructing Nominal X-of-N Attributes. 1064-1070
• Ron Kohavi, Chia-Hsin Li: Oblivious Decision Trees, Graphs, and Top-Down Pruning. 1071-1079

Reinforcement and Markov Models 1

• Reid G. Simmons, Sven Koenig: Probabilistic Robot Navigation in Partially Observable Environments. 1080-1087
• Ronald Parr, Stuart J. Russell: Approximating Optimal Policies for Partially Observable Stochastic Domains. 1088-1095

Reinforcement and Markov Models 2

• Craig Boutilier, Martin L. Puterman: Process-Oriented Planning and Average-Reward Optimality. 1096-1103
• Craig Boutilier, Richard Dearden, Moisés Goldszmidt: Exploiting Structure in Policy Construction. 1104-1113

Reinforcement and Markov Models 3

• Wei Zhang, Thomas G. Dietterich: A Reinforcement Learning Approach to job-shop Scheduling. 1114-1120
• Thomas Dean, Shieu-Hong Lin: Decomposition Techniques for Planning in Stochastic Domains. 1121-1129

Statistical Learning 1

• Hee-Joong Kang, Jin H. Kim: Dependency Relationship Based Decision Combination in Multiple Classifier Systems. 1130-1136
• Ron Kohavi: A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. 1137-1145

Statistical Learning 2

• Stuart J. Russell, John Binder, Daphne Koller, Keiji Kanazawa: Local Learning in Probabilistic Networks with Hidden Variables. 1146-1152
• Gerald DeJong, Scott Bennett: Extending Classical Planning to Real-World Execution with Machine Learning. 1153-1161

Pac Learning

• Russell Greiner: The Complexity of Theory Revision. 1162-1168
• Dale Schuurmans, Russell Greiner: Practical PAC Learning. 1169-1177

Learning 5

• Dan Roth: Learning to Reason: The Non-Monotonic Case. 1178-1184
• Daphne Koller, Avi Pfeffer: Generating and Solving Imperfect Information Games. 1185-1193

Inductive Logic Programming

• Henrik Boström: Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. 1194-1200
• Hilde Adé, Marc Denecker: AILP: Abductive Inductive Logic Programming. 1201-1209

Learning 6

• Alan M. Frisch, C. David Page Jr.: Building Theories into Instantiation. 1210-1216
• Sebastian Thrun, Tom M. Mitchell: Learning One More Thing. 1217-1225

Instance-Based

• Pedro Domingos: Rule Induction and Instance-Based Learning: A Unified Approach. 1226-1232
• Kan Deng, Andrew W. Moore: Multiresolution Instance-Based Learning. 1233-1242

Natural Language

Discourse 1

• Jennifer Chu-Carroll, Sandra Carberry: Generating Information-Sharing Subdialogues in Expert-User Consultation. 1243-1250
• Ingrid Zukerman, Richard McConachy: Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. 1251-1259

Discourse 2

• Karen E. Lochbaum: The Use of Knowledge Preconditions in Language Processing. 1260-1266
• Rebecca J. Passonneau: Integrating Gricean and Attentional Constraints. 1267-1275

Presentation Generation

• Vibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini: Generating Explanatory Captions for Information Graphics. 1276-1283
• Katashi Nagao, Jun Rekimoto: Ubiquitous Talker: Spoken Language Interaction with Real World Objects. 1284-1291

Tense and Aspect

• Mark Steedman: Dynamic Semantics for Tense and Aspect. 1292-1298
• Bonnie J. Dorr, Terry Gaasterland: Selecting Tense, Aspect, and Connecting Words In Language Generation. 1299-1307

Dictionary Construction

• Takenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka: Automatic Thesaurus Construction based on Grammatical Relations. 1308-1313
• Stephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert: CRYSTAL: Inducing a Conceptual Dictionary. 1314-1321

Statistical Approaches

• Makoto Iwayama, Takenobu Tokunaga: Hierarchical Bayesian Clustering for Automatic Text Classification. 1322-1327
• Dekai Wu: Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. 1328-1337

Understanding 1

• Fei Song, Robin Cohen: Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. 1338-1345
• Marc B. Vilain: Semantic Inference in Natural Language: Validating a Tractable Approach. 1346-1353

Understanding 2

• Saliha Azzam: Anaphors, PPs and Disambiguation Process for Conceptual Analysis. 1354-1359
• Tetsuya Nasukawa, Naohiko Uramoto: Discourse as a Knowledge Resource for Sentence Disambiguation. 1360-1367

Understanding 3

• Xiaobin Li, Stan Szpakowicz, Stan Matwin: A WordNet-based Algorithm for Word Sense Disambiguation. 1368-1374
• Kenneth B. Haase: Analogy in the Large. 1375-1381

Machine Translation

• Vasileios Hatzivassiloglou, Kevin Knight: Unification-Based Glossing. 1382-1389
• Kevin Knight, Ishwar Chander, Matthew Haines, Vasileios Hatzivassiloglou, Eduard H. Hovy, Masayo Iida, Steve K. Luk, Richard Whitney, Kenji Yamada: Filling Knowledge Gaps in a Broad-Coverage Machine Translation System. 1390-1397

Applications

• Cécile Paris, Keith Vander Linden, Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power, Donia Scott: A Support Tool for Writing Multilingual Instructions. 1398-1404
• Arne Jönsson: Dialogue Actions for Natural Language Interfaces. 1405-1413

Parsing and Generation

• Christer Samuelsson: An Efficient Algorithm for Surface Generation. 1414-1419
• Dekang Lin: A Dependency-based Method for Evaluating Broad-Coverage Parsers. 1420-1427

Formal Methods

• Hans-Ulrich Krieger, Ulrich Schäfer: Efficient Parameterizable Type Expansion for Typed Feature Formalisms. 1428-1434
• Osamu Imaichi, Yuji Matsumoto: Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. 1435-1442

Non-Monotonic Reasoning

Non-Monotonic Reasoning 1

• Claudette Cayrol: On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. 1443-1448
• Salem Benferhat, Didier Dubois, Henri Prade: How to Infer from Inconsisent Beliefs without Revising? 1449-1457

Non-Monotonic Reasoning 2

• Ronen I. Brafman, Nir Friedman: On Decision-Theoretic Foundations for Defaults. 1458-1465
• Michael Morreau: Allowed Arguments. 1466-1473

Non-Monotonic Reasoning 3

• Jussi Rintanen: On Specificity in Default Logic. 1474-1479
• Sek-Wah Tan, Judea Pearl: Specificity and Inheritance in Default Reasoning. 1480-1487

Non-Monotonic Reasoning 4

• James P. Delgrande: Syntactic Conditional Closures for Defeasible Reasoning. 1488-1494
• Hector Geffner, Jimena Llopis, Gisela Mendez: Sound and Efficient Non-monotonic Inference. 1495-1501

Non-Monotonic Reasoning 5

• Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: Preliminary Report. 1502-1508
• Artur Mikitiuk, Miroslaw Truszczynski: Constrained and Rational Default Logics. 1509-1517

Non-Monotonic Reasoning 6

• Alexander Bochman: On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. 1518-1524
• Leendert W. N. van der Torre, Yao-Hua Tan: Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. 1525-1533

Belief Revision 1

• Daniel J. Lehmann: Belief Revision, Revised. 1534-1540
• Mary-Anne Williams: Iterated Theory Base Change: A Computational Model. 1541-1549

Belief Revision 2

• Craig Boutilier: Generalized Update: Belief Change in Dynamic Settings. 1550-1556
• Paolo Liberatore, Marco Schaerf: Relating Belief Revision and Circumscription. 1557-1566

Planning

Uncertainty

• Gregg Collins, Louise Pryor: Planning Under Uncertainty: Some Key Issues. 1567-1575

Solution Quality

• Shlomo Zilberstein: Optimizing Decision Quality with Contract Algorithms. 1576-1582
• John L. Bresina, Mark Drummond, Keith Swanson: Expected Solution Quality. 1583-1591

Algorithm

• Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto: A Critical Look at Critics in HTN Planning. 1592-1598
• Christer Bäckström, Peter Jonsson: Planning with Abstraction Hierarchies can be Exponentially Less Efficient. 1599-1605

Search 1

• Eugene Fink, Qiang Yang: Planning with Primary Effects: Experiments and Analysis. 1606-1611
• Amy L. Lansky, Lise Getoor: Scope and Abstraction: Two Criteria for Localized Planning. 1612-1619

Search 2

• Raghavan Srinivasan, Adele E. Howe: Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. 1620-1626
• Subbarao Kambhampati: Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. 1627-1635

Planning Graph Analysis

• Avrim Blum, Merrick L. Furst: Fast Planning Through Planning Graph Analysis. 1636-1642
• Philippe Laborie, Malik Ghallab: Planning with Sharable Resource Constraints. 1643-1651

Real Time Search

• Anthony Stentz: The Focussed D* Algorithm for Real-Time Replanning. 1652-1659
• Sven Koenig, Reid G. Simmons: Real-Time Search in Non-Deterministic Domains. 1660-1669

Applications and Evaluation 1

• Dana S. Nau, Satyandra K. Gupta, William C. Regli: AI Planning Versus Manufacturing-Operation Planning: A Case Study. 1670-1676
• J. M. Britanik, Michael M. Marefat: Hierarchical Plan Merging with Application to Process Planning. 1677-1685

Applications and Evaluation 2

• Craig A. Knoblock: Planning, Executing, Sensing, and Replanning for Information Gathering. 1686-1693
• Berthe Y. Choueiry, Boi Faltings, Rainer Weigel: Abstraction by Interchangeability in Resource Allocation. 1694-1703

Plan Recognition

• Neal Lesh, Oren Etzioni: A Sound and Fast Goal Recognizer. 1704-1710
• Yoshihiko Hayashi: Recovering Problem-Solving Activities from Query Messages. 1711-1720

Qualitative Reasoning and Diagnosis

Diagnosis 1

• Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder: A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. 1721-1727
• Claudia Böttcher: No Faults in Structure? How to Diagnose Hidden Interactions. 1728-1735

Diagnosis 2

• Johan de Kleer, Olivier Raiman: Trading off the Costs of Inference vs. Probing in Diagnosis. 1736-1741
• Yousri El Fattah, Rina Dechter: Diagnosing Tree-Decomposable Circuits. 1742-1749

Modelling 1

• Koichi Kurumatani: Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. 1750-1756
• Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith: Case-based Modeling with Qualitative Indices. 1757-1765

Modelling 2

• Sui-ky Ringo Ling: Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. 1766-1772
• Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta: Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? 1773-1781

Simulation 1

• Kenneth Yip: Reasoning about Fluid Motion I: Finding Structures. 1782-1788
• Ulrich Junker, Bertrand Braunschweig: History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. 1789-1797

Simulation 2

• Kenneth D. Forbus, Brian Falkenhainer: Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. 1798-1805
• Marcos Vescovi, Adam Farquhar, Yumi Iwasaki: Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. 1806-1813

Monitoring

• James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. 1814-1820
• Richard J. Doyle: Determining the Loci of Anomalies Using Minimal Causal Models. 1821-1829

Reasoning about Function

• Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi: FBRL: A Function and Behavior Representation Language. 1830-1836
• John O. Everett: A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. 1837-1846

Reasoning under Uncertainty

Probability and Entropy

• Manfred Jaeger: Minimum Cross-Entropy Reasoning: A Statistical Justification. 1847-1852
• Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. 1853-1861

Imprecise Probabilities

• Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão: Models and Algorithms for Probabilistic and Bayesian Logic. 1862-1868
• Marco Ramoni: Ignorant Influence Diagrams. 1869-1877

Bayes Nets

• Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart J. Russell: The BATmobile: Towards a Bayesian Automated Taxi. 1878-1885
• Anthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis: Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. 1886-1895

Belief Functions

• Philippe Smets: The Canonical Decomposition of a Weighted Belief. 1896-1901
• Ronald R. Yager: On the Representation of Nonmontonic Relations in the Theory of Evidence. 1902-1909

Multiple-Valued Logic

• Xiaochun Cheng, Yunfei Jiang, Xuhua Liu: The Rationality and Decidability of Fuzzy Implications. 1910-1915
• Lluis Godo, Lluís Vila: Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. 1916-1923

Decision Theory

• Didier Dubois, Henri Prade: Possibility Theory as a Basis for Qualitative Decision Theory. 1924-1932

Temporal Reasoning

Temporal Reasoning 1

• Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. 1933-1940
• Paolo Traverso, Luca Spalazzi: A Logic for Acting, Sensing and Planning. 1941-1949

Temporal Reasoning 2

• Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. 1950-1955
• Michael Thielscher: The Logic of Dynamic Systems. 1956-1963

Temporal Reasoning 3

• Enrico Giunchiglia, Vladimir Lifschitz: Dependent Fluents. 1964-1969
• G. Neelakantan Kartha, Vladimir Lifschitz: A Simple Formalization of Actions Using Circumscription. 1970-1977

Temporal Reasoning 4

• Norman McCain, Hudson Turner: A Causal Theory of Ramifications and Qualifications. 1978-1984
• Fangzhen Lin: Embracing Causality in Specifying the Indirect Effects of Actions. 1985-1993

Temporal Reasoning 5

• Michael Thielscher: Computing Ramifications by Postprocessing. 1994-2000
• Fangzhen Lin, Raymond Reiter: How to Progress a Database II: The STRIPS Connection. 2001-2009

Temporal Reasoning 6

• Ronen I. Brafman, Moshe Tennenholtz: Towards Action Prediction Using a Mental-Level Model. 2010-2016
• Chitta Baral: Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. 2017-2026

Panels

• Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang: Systematic Versus Stochastic Constraint Satisfaction. 2027-2032
• James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom: VERY Large Knowledge Bases - Architecture vs Engineering. 2033-2036
• Aaron Sloman: A Philosophical Encounter. 2037-2040
• John McCarthy: What has AI in Common with Philosophy? 2041-2044

Videos

• Deborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr.: Description Logic in Practice: A CLASSIC Application. 2045-2046
• Marti A. Hearst, Jan O. Pedersen: Revealing Collection Structure through Information Access Interfaces. 2047-2048
• Jiawei Han, Yongjian Fu, Simon Tang: Advances of the DBLearn System for Knowledge Discovery in Large Databases. 2049-2050
• Peter N. Prokopowicz, Paul R. Cooper: IRV: Learning to Integrate Visual Information Across Camera Movements. 2051-2052
• Elisabeth André, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Andreas Butz, Anthony Jameson: WIP: From Multimedia to Intellimedia. 2053-2054
• Boi Faltings, Kun Sun: Computer-Aided Creative Mechanism Design. 2055-2056
• Edmund Furse: Learning University Mathematics. 2057-2058
• Innes A. Ferguson, James D. Davlouros: PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. 2059-2060
• Yong Cao, Bernhard Jung, Ipke Wachsmuth: Situated Verbal Interaction in Virtual Design and Assembly. 2061-2062
• Arun Katkere, Don Y. Kuramura, Saied Moezzi, Patrick H. Kelly, Deborah Swanberg, Koji Wakimoto, Edward Hunter, Li-Cheng Tai, Shankar Chatterjee, Ramesh Jain: Multiple Perspective Interactive Video. 2063-2064
• Scott Bennett, Gerald DeJong: GRASPER: A Permissive Planning Robot. 2065-2066
• Usama M. Fayyad: SKICAT: Sky Image Cataloging and Analysis Tool. 2067-2068
• Creve Maples, Craig Peterson: MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. 2069-2070
• Kristian J. Hammond, Robin D. Burke, Steven L. Lytinen: A Case-Based Approach to Knowledge Navigation. 2071-2072
• Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat: Modeling Interactive Agents in ALIVE. 2073-2074