IJCAI-95 Preliminary Schedule

Technical Program

(Subject to revision)

Tuesday, August 22

9:00 - 10:00 am

Invited Speaker: StuartShieber, Harvard University

The Graphically ArticulateComputer

Session 1

Knowledge Representation:Description Logics

What's in an Aggregate: Foundations forDescription Logics with Tuples and Sets

Giuseppe De Giacomo and MaurizioLenzerini

Terminological Logics with Modal Operators

Franz Baader and Armin Laux

Session 2

Temporal Reasoning 1

Reasoning about Noisy Sensors in theSituation Calculus

Fahiem Bacchus, Joseph Y. Halpernand Hector Levesque

A Logic for Acting, Sensing and Planning

Paolo Traverso and LucaSpalazzi

Session 3

Vision: Early Vision

Fitting Models to DistributedRepresentations of Vision

Sourabh A. Niyogi

Natural Basis Functions and TopographicMemory for Face


Rajesh P.N. Rao and Dana H.Ballard

Session 4

Non-Monotonic Reasoning 1

Reasoning with Inconsistent Beliefs: Onthe Relation Between Argumentation and Non-monotonic Syntax-BasedEntailment

Claudette Cayrol

How to Infer from Inconsisent Beliefswithout Revising?

Salem Benferhat, Didier DuBois andHenri Prade

Session 5

Learning 1

Oversearching and Layered Search inEmpirical Learning

J. R. Quinlan and R. M.Cameron-Jones

Lookahead and Pathology in Decision TreeInduction

Sreerama K. Murthy and StevenSalzberg

Session 6

Diagnosis 1

A Formal Framework for RepresentingDiagnosis Strategies in Model-Based Diagnosis Systems

Wolfgang Nejdl, Peter Frohlich andMichael Schroeder

No Faults in Structure? How to DiagnoseHidden Interactions!

Claudia Bottcher

Session 7

Constraint Satisfaction 1


A Theoretical Evaluation of SelectedBacktracking Algorithms

Grzegorz Kondrak and Peter vanBeek

Extracting Constraint SatisfactionSubproblems

Eugene C. Freuder and Paul D.Hubbe

10:00 - 10:30 am

Coffee Break

10:30 - 11:30 am

Conference Report:International Conference on Logic Programming and Automated Reasoning

Andrei Voronkov, St. Petersburg,Russia

Session 8

Knowledge Representation:Explanation

Explaining Subsumption in DescriptionLogics

Deborah L. McGuinness andAlexander T. Borgida

Determining Explanatons using KnowledgeTransmutations

M. A. Williams, M. Pagnuco, N.Y.Foo and B. Sims

Session 9

Temporal Reasoning 2

Reasoning about Action and Change UsingDijkstra's Semantics for Programming Languages: Preliminary Report

Witold Lukaszewicz and EwaMadalinska-Bugaj

The Logic of Dynamic Systems

Michael Thielscher

Session 10

Vision: Active Vision

Representations for Active Vision

Cornelia Fermuller and YiannisAloimonos

Animate Vision in a Rich Environment

Tomas Uhlin and Jan-Olof Eklundh

Session 11

Non-Monotonic Reasoning 2

On Decision-Theoretic Foundations forDefaults

Ronen I. Brafman and Nir Friedman

Allowed Consequence

Michael Morreau

Session 12

Learning 2

On Biases in Estimating the Multi-ValuedAttributes

Igor Kononenko

Flexibly Exploiting Prior Knowledge inEmpirical Learning

Julio Ortega and Doug Fisher

Session 13

Diagnosis 2

Trading Off the Costs of Inference vs.Probing in Diagnosis

Johan de Kleer and Olivier Raiman

Diagnosing Tree-Decomposable Circuits

Yousri El Fattah and Rina Dechter

Session 14

Constraint Satisfaction 2

On the Space-Time Trade-Off in SolvingConstraint Satisfaction Problems

Roberto J. Bayardo Jr. and DanielP. Miranker

Generalizing Inconsistency Learning forConstraint Satisfaction

Eugene C. Freuder and Richard J.Wallace

11:40 am - 12:40 pm

Invited Speaker: Michael P.Georgeff, Australian AI Institute

Agents and Their Plans

Session 15

Knowledge Representation:Knowledge Compilation

An Analysis of Approximate KnowledgeCompilation

Alvaro del Val

Knowledge Compilation Using Theory PrimeImplicates

P. Marquis

Session 16

Temporal Reasoning 3

Dependent Fluents

Enrico Giunchiglia and VladimirLifschitz

A Simple Formalization of Actions UsingCircumscription

G. Neelakantan Kartha and VladimirLifschitz

Session 17

Vision: Qualitative Methods

A Qualitative Approach to Sensor DataFusion for Mobile Robot Navigation

Steven Reece and HughDurrant-Whyte

Qualitative Interpretation of SpectralImages: Reasoning with Uncertain Evidence

Qi Zhao and Toyoaki Nishida

Session 18

Non-Monotonic Reasoning 3

On Specificity in Default Logic

Jussi Rintanen

Specificity and Inheritance in DefaultReasoning

Sek-Wah Tan and Judea Pearl

Session 19

Learning 3

Using Decision Trees for CoreferenceResolution

Joe McCarthy and Wendy Lehnert

Intermediate Decision Trees

Lawrence B. Holder

Session 20

Qualitative Reasoning: Modelling 1

Generating Causal Networks Based onQualitative Region Grammar toward Behavior Re-planning for MobileMulti-Agent Systems

Koichi Kurumatani

Case-Based Modeling with QualitativeIndices

Bradley Richards, Boi Faltings and Peter Duxbury-Smith

Session 21

Constraint Satisfaction 3

Look-Ahead Value Ordering for ConstraintSatisfaction Problems

Daniel Frost and Rina Dechter

Constraint Satisfaction as GlobalOptimization

Pedro Meseguer and Javier Larrosa

12:40 - 2:00 pm

Lunch Break

2:00 - 3:00 pm

Invited Speaker: BarbaraHayes-Roth, Stanford University

Agents on Stage: Advancing the Stateof the Art of AI

Session 22

Knowledge Representation:Commonsense Knowledge

Toward a Geometry of Common Sense --A Semantics and a Complete Axiomatization of Mereotopology

Nicholas Asher and Laure Vieu

A Logical Account of Relevance

Gerhard Lakemeyer

Session 23

Temporal Reasoning 4

A Causal Theory of Ramifications andQualifications

Norman McCain and Hudson Turner

Embracing Causality in Theories of Action

Fangzhen Lin and Ray Reiter

Session 24

Vision: Systems and Architectures1

Control Structures for IncorporatingPicture-Specific Context in Image Interpretation

Rohini K. Srihari and Rajiv Chopra

Visual Routines and Visual Search: AReal-Time Implementation and an Automata-Theoretic Analysis

Ian Horswill

Session 25

Non-Monotonic Reasoning 4

Syntactic Conditional Closures forDefeasible Reasoning

James P. Delgrande

Sound and Efficient Non-MonotonicReasoning

Hector Geffner, Jimena Llopis andGisela Mendez

Session 26

Learning 4

Constructing Nominal X-of-N Attributes

Zijian Zheng

Oblivious Decision Trees, Graphs, andTop-Down Planning

Ron Kohavi and Chia-Hsin Li

Session 27

Qualitative Reasoning: Modelling 2

Automated Modeling of Complex PhysicalPhenomena Based on Conservation Laws

Sui-Ky Ringo Ling

Modeling Time in Hybrid Systems: How FastIs "Instantaneous"?

Yumi Iwasaki, Adam Farquhar, VijaySaraswat, Daniel Bobrow and Vineet Gupta

Session 28

Constraint Satisfaction 4

Increasing Functional Contraints Need toBe Checked Only Once

Bing Liu

Using Inference to Reduce Arc ConsistencyComputation

Christian Bessiere, Eugene C.Freuder and Jean-Charles Regin

3:10 - 4:10 pm

Invited Speaker: EugeneCharniak, Brown University

Language Comprehension as Abduction,Abduction as Reasoning Under Uncertainty

Session 29

Knowledge Representation:Complexity

Compactness of Knowledge Representation: AComparative Analysis

Goran Gogic, Henry Kautz, ChristosPapadimitriou, and Bart Selman

Semantics and Complexity of Abduction fromDefault Theories

Thomas Eiter , Georg Gottlob andNicola Leone

Session 30

Temporal Reasoning 5

Computing Ramifications by Postprocessing

Michael Thielscher

How to Progress a Database II: The STRIPSConnection

Fangzhen Lin and Ray Reiter

Session 31

Vision: Systems and Architectures2

Adaptable Planner Primitives forReal-World AI Applications

Robert W. Wisniewski andChristopher M. Brown

An Architecture for Vision and Action

R. James Firby, Roger E. Kahn,Peter N. Prokopowicz and Michael J. Swain

Session 32

Non-Monotonic Reasoning 5

Computing Circumscription Revisited:Preliminary Report

Patrick Doherty, WitoldLukaszewicz and Andrzej Szalas

Constrained and Rational Default Logics

Artur Mikitiuk and MiroslawTruszczynski

Session 33

Genetic Algorithms 1

Hybrid Learning Using Genetic Algorithmsand Decision Trees for Pattern Classification

J. Bala, K. DeJong, J. Huang, H.Vafaie and H. Wechsler

A Genetic Prototype Learner

Sandip Sen and Leslie Knight

Session 34

Qualitative Reasoning: Simulation1

Reasoning about Fluid Motion Using ActiveVisualization

Kenneth Man-Kam Yip

History-Based Interpretation of FiniteElement Simulations of Seismic Wave Fields

Ulrich Junker and BertrandBraunschweig

Session 35

Constraint Satisfaction 5

A Theoretical and Experimental Comparisonof Constraint Propagation Techniques for Disjunctive Scheduling

Philippe Baptiste and Claude LePape

Limited Discrepancy Search

William D. Harvey and Matthew L.Ginsberg

4:10 - 4:30 pm


4:30 - 5:30 pm

Invited Speakers: PatrickHayes, Beckman Institute and Kenneth Ford, University of WesternFlorida

Turing Test Considered Harmful

Session 36

Automated Reasoning: Reasoningabout Programs

A Simple Methodology for ProvingTermination of General Logic Programs

Elena Marchiori

Unique Normal Forms and Confluence ofRewrite Systems: Persistence

Rakesh M. Verma

Session 37

Temporal Reasoning 6

Towards Action Prediction Using aMental-Level Model

Ronen I. Brafman and MosheTennenholtz

Reasoning about Actions: Non-DeterministicEffects, Constraints, and Qualification

Chitta Baral

Session 38

Vision: Vision and OtherPerception

Active Agent Oriented Multimodal InterfaceSystem

Osamu Hasegawa, Katunobu Itou,Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto andNobuyuki Otsu

Robotic Perception of Material

Eric Krotkov

Session 39

Non-Monotonic Reasoning 6

On Bimodal Nonmonotonic Logics and TheirUnimodal and Nonmodal Equivalents

Alexander Bochman

Cancelling and Overshadowing Two Types ofDefeasibility in Defeasible Deontic Logic

Leendert W.N. van der Torre andYao-Hua Tan

Session 40

Genetic Algorithms 2

Gene Duplication to Enable GeneticProgramming to Concurrently Evolve both the Architecture andWork-Performing Steps of a Computer Program

John R. Koza

The Automatic Programming of Agents thatLearn Mental Models and Create Simple Plans of Action

David Andre

Session 41

Qualitative Reasoning: Simulation2

Scaling Up Self-Explanatory Simulators:Polynomial-Time Compilation

Kenneth D. Forbus and BrianFalkenhainer

Numerical Interval Simulation: CombinedQualitative and Quantitative Simulation to Bound Behaviors of Non-MonotonicSystems

Marcos Vescovi, Adam Farquhar andYumi Iwasaki

Session 42

Constraint Satisfaction 6

GSAT and Local Consistency

Kalev Kask and Rina Dechter

5:45 - 6:35 pm

Computers and ThoughtLecture: Sarit Kraus, Bar-Ilan University

Negotiation and Cooperation inMulti-Agent Environments

6:35 - 7:25 pm

Computers and ThoughtLecture: Stuart Russell, University of California, Berkeley

Rationality and Intelligence

Wednesday, August 23

9:00 - 10:00 am

Invited Speaker: Bart Selman,AT&T Bell Laboratories

Stochastic Search and PhaseTransitions: AI Meets Physics

Session 43

Information Gathering

Letizia: An Agent that Assists WebBrowsing

Henry Lieberman

Category Translation: Learning toUnderstand Information on the Internet

Mike Perkowitz and Oren Etzioni

Session 44

Uncertainty: DecisionTheory/Planning: Uncertainty

Possibility Theory as a Basis forQualitative Decision Theory

Didier DuBois and Henri Prade

Planning under Uncertainty: Key Issues

G. Collins and L. M. Pryor

Session 45

Natural Language: Discourse 1

Generating Information-SharingSubdialogues in Expert-User Consultation

Jennifer Chu-Carroll and SandraCarberry

Generating Discourse across Several UserModels: Maximizing Belief while Avoiding Boredom and Overload

Ingrid Zukerman and RichardMcConachy

Session 46

Knowledge Base Technology 1

Knowledge Representation in the Large

Peter D. Karp and Suzanne M. Paley

Efficient Algorithms and PerformanceResults for Multi-User Knowledge Bases

Vinay K. Chaudhri and JohnMylopoulos

Session 47

Learning: Reinforcement and MarkovModels 1

Probalistic Navigation in PartiallyObservable Environments

Reid Simmons and Sven Koenig

Approximating Optimal Policies forPartially Observable Stochastic Domains

Ronald Parr and Stuart Russell

Session 48

Knowledge Representation: Diagrams

Inter-Diagrammatic Reasoning

Michael Anderson and RobertMcCartney

Qualitative Structural Analysis UsingDiagrammatic Reasoning

Shirley Tessler, Yumi Iwasaki andKincho Law

Session 49

Automated Reasoning: ProofPlanning

Relational Rippling: A General Approach

Alan Bundy

A Model of Analogy-Driven Proof-PlanConstruction

Erica Melis

10:00 - 10:30 am

Coffee Break

10:30 - 11:30 am

Invited Speaker: Robert J. Aumann, The Hebrew University of Jerusalem

Cooperation between Game-PlayingMachines

Session 50

Planning: Solution Quality

Optimizing Decision Quality with ContractAlgorithms

Shlomo Zilberstein

Expected Solution Quality

John Bresina, Mark Drummond andKeith Swanson

Session 51

Natural Language: Discourse 2

The Use of Knowledge Preconditions inLanguage Processing

Karen E. Lochbaum

Integrating Gricean and AttentionalConstraints

Rebecca J. Passonneau

Session 52

Knowledge Base Technology:Planning, Monitoring and Control

Proposing Measurements in Dynamic Systems

Johann Gamper and Wolfgang Nejdl

Synthesizing Plant Controllers UsingReal-Time Goals

Michel Barbeau, F. Kabanza and R.St-Denis

Session 53

Learning: Reinforcement and MarkovModels 2

Process Oriented Planning andAverage-Reward Optimality

Craig Boutilier and Martin L.Puterman

Exploiting Structure in PolicyConstruction

Craig Boutilier, Richard Deardenand Moises Goldszmidt

Session 54

Knowledge Representation: SpatialReasoning

An Algebraic Approach for Granularity inQualitative Space and Time Representation

Jerome Euzenat

Topological Inference

Michelangelo Grigni, DimitrisPapadias and Christos Papadimitriou

Session 55

Automated Reasoning: Analogy andAbstraction

Second-Order Matching Modulo Evaluation -A Technique for Reusing Proofs

Thomas Kolbe and Christoph Walther

A Semantic Theory of Abstractions

P. Pandurang Nayak and Alon Y.Levy

11:40 am - 12:40 pm

Panel: Systematic VersusStochastic Constraint Satisfaction

Organizer: Eugene Freuder, University ofNew Hampshire

Panelists: Rina Dechter, Universityof California, Irvine; Matthew L. Ginsberg, CIRL, University of Oregon;Bart Selman, AT&T Bell Laboratories; Edward Tsang, University of Essex

Session 56

Planning: Algorithms

A Critical Look at Critics in HTN Planning

Kutluhan Erol, James Hendler, DanaS. Nau and Reiko Tsuneto

Planning with Abstraction Hierarchies CanBe Exponentially Less Efficient

Christer Backstrom and PeterJonsson

Session 57

Natural Language: Presentation Generation

Generating Explanatory Captions forInformation Graphics

Vibhu Mittal, Steven Roth, JohannaD. Moore, Joe Mattis and Giuseppe Carenini

Ubiquitous Talker: Spoken LanguageInteraction with Real World Objects

Katashi Nagao and Jun Rekimoto

Session 58

Knowledge Base Technology 2

The Generic Frame Protocol

Peter D. Karp, Karen L. Myers andTom Gruber

Knowledge-Based Anytime Computation

Abdel-illah Mouaddib and ShlomoZilberstein

Session 59

Learning: Reinforcement and MarkovModels 3

A Reinforcement Learning Approach toJob-Shop Scheduling

Wei Zhang and Thomas G. Dietterich

Decomposition Techniques for Planning inStochastic Domains

Thomas Dean and Shieu-Hong Lin

Session 60

Knowledge Representation: Shapeand Space

Utilizing Moment Invariants and GrobnerBases to Reason about Shapes

Haim Schweitzer and Janell Straach

A Qualitative Discretization for 3DContact Motions

Amitabha Mukerjee, Manish Agarwaland Praveen Bhatia

Session 61

Automated Reasoning: Abduction

Abductive Framework for NonmonotonicTheory Change

Katsumi Inoue and Chiaki Sakama

Model-Based Diagnosis Using CausalNetworks

Adnan Darwiche

Wednesday Afternoon Open

Thursday, August 24

9:00 - 10:00 am

Conference Report: The FirstInternational Conference on MultiAgent Systems (ICMAS-95)

Victor Lesser, University ofMassachusetts, USA

Session 62

Planning: Search 1

Planning with Primary Effects: Experimentsand Analysis

Eugene Fink and Qiang Yang

Scope and Abstraction: Two Criteria forLocalized Planning

Amy L. Lansky and Lise C. Getoor

Session 63

Natural Language: Tense and Aspect

Dynamic Semantics for Tense and Aspect

Mark Steedman

Selecting Tense, Aspect, and ConnectingWords in Language Generation

Terry Gasterland and Bonnie Dorr

Session 64

Learning: Instance-Based

Rule Induction and Instance-BasedLearning: A Unified Approach

Pedro Domingos

Multiresolution Instance-Based Learning

Kan Deng and Andrew W. Moore

Session 65

Learning: Statistical Learning 1

Dependency Relationship Based DecisionCombination in Multiple Classifier Systems

Hee-Joong Kang and Jin H. Kim

A Study of Cross-Validation and Bootstrapfor Accuracy Estimation and Model Selection

Ron Kohavi

Session 66

Qualitative Reasoning: Monitoring

Device Representation and Reasoning withAffective Relations

James M. Crawford, Daniel Dvorak,Diane J. Litman, Anil Mishra and Peter F. Patel-Schneider

Determining the Loci of Anomalies UsingMinimal Causal Models

Richard J. Doyle

Session 67

Automated Reasoning: Search 1

Deadline Compliance, Predictibility, andOn-line Optimization in Real-Time Problem Solving

Babak Hamidzadeh and ShashiShekhar

k-Best: A New Method for Real-TimeDecision Making

Joseph C. Pemberton

10:00 - 10:30 am

Coffee Break

10:30 - 11:30 am

Invited Speaker: DemetriTerzopoulos, University of Toronto and Canadian Institute for AdvancedResearch

The Modeling of Living Systems andComputer Vision

Session 68

Planning: Search 2

Comparison of Methods for Improving SearchEfficiency in a Partial-Order Planner

Srinivasan Raghavan and Adele E.Howe

Admissible Pruning Strategies Based onPlan Minimality for Plan-Space Planning

Subbarao Kambhampati

Session 69

Natural Language: DictionaryConstruction

Automatic Thesaurus Construction Based onGrammatical Relations

Takenobu Tokunaga, Makoto Iwayamaand Hozumi Tanaka

CRYSTAL: Inducing a Conceptual Dictionary

Stephen Soderland, David Fisher,Jonathan Aseltine and Wendy Lehnert

Session 70

Case Based Reasoning 1

Improving System Performance in Case-BasedIterative Optimization through Knowledge Filtering

Kazuo Miyashita and Katia Sycara


Remembering to Forget: ACompetence-Preserving Deletion Policy for CBR Systems

Barry Smyth and Mark T. Keane

Session 71

Learning: Statistical Learning 2

Local Learning in Probabilistic Networkswith Hidden Variables

Stuart Russell, John Binder,Daphne Koller and Kenji Kanazawa

Extending Classical Planning to Real-World Execution with Machine Learning

Gerald DeJong and Scott Bennett

Session 72

Qualitative Reasoning: Reasoningabout Function

FBRL: A Function and BehaviorRepresentation Language

Munehiko Sasajima, YoshinobuKitamura, Mitsuru Ikeda and Riichiro Mizoguchi

A Theory of Mapping from Structure toFunction Applied to Engineering Thermodynamics

John O. Everett

Session 73

Automated Reasoning: Search 2

How to Use Limited Memory in HeuristicSearch

Hermann Kaindl, Gerhard Kainz,Angelika Leeb and Harald Smetana

Experimenting with Revisits in Game TreeSearch

Subir Bhattacharya

11:40 am - 12:40 pm

Panel: VERY Large KnowledgeBases - Architecture vs Engineering

Organizer: James Hendler, University ofMaryland

Panelists: Jaime Carbonell,Carnegie-Mellon University; Douglas Lenat, Cycorp; Riichiro Mizoguchi,Osaka University; Paul Rosenbloom, ISI

Session 74

Planning: Planning Graph Analysis

Fast Planning through Planning GraphAnalysis

Avrim Blum and Merrick Furst

Planning with Sharable Resource Contraints

Philippe Laborie and Malik Ghallab

Session 75

Natural Language: StatisticalApproaches

Hierarchical Bayesian Clustering forAutomatic Text Classification

Makoto Iwayama and TakenobuTokunaga

Stochastic Inversion TransductionGrammars, with Application to Segmentation, Bracketing, and Alignment ofParallel Corpora

Dekai Wu

Session 76

Case Based Reasoning 2

Stratified Case-Based Reasoning: ReusingHierarchical Problem Solving Episodes

L. Karl Branting and David W. Aha

Using Introspective Reasoning to RefineIndexing

Susan Fox and David B. Leake

Session 77

Learning: PAC Learning

The Complexity of Theory Revision

Russell Greiner

Practical PAC Learning

Dale Schuurmans and RussellGreiner

Session 78

Distributed AI: Coalitions

Task Allocation via Coalition Formationamong Autonomous Agents

Onn Shehory and Sarit Kraus

Coalition Formation among Bounded RationalAgents

Tuomas W. Sandholm and Victor R.Lesser

Session 79

Automated Reasoning: Search 3

On Bootstrapping Local Search withTrail-Markers

Pang C. Chen

The Trailblazer Search with a HierarchicalAbstract Map

Takahiro Sasaki, Fumihiko Chimuraand Mario Tokoro

12:40 - 2:00 pm

Lunch Break

2:00 - 3:00 pm

Invited Speaker: YuvalDavidor, Schema - Evolutionary Algorithms Ltd.

Do Evolutionary Algorithms NeedIntelligence?

Session 80

Planning: Real Time Search

The Focussed D* Algorithm for Real-TimeReplanning

Anthony Stentz

Real-Time Search in Non-DeterministicDomains

Sven Koenig and Reid G. Simmons

Session 81

Natural Language: Understanding 1

Improving Heuristic-Based TemporalAnalysis of Narratives with Aspect Determination

Fei Song and Robin Cohen

Semantic Infererence in Natural Language:Validating a Tractable Approach

Marc Vilain

Session 82

Case Based Reasoning 3

Using CBR To Drive IR

Edwina L. Rissland and Jody J.Daniels

Within the Letter of the Law:Open-Textured Planning

Kathryn E. Sanders

Session 83

Learning 5

Learning to Reason with IncompleteInformation

Dan Roth

Generating and Solving ImperfectInformation Games

Daphne Koller and Avi J. Pfeffer

Session 84

Distributed AI: Multiple Agents 1

Matchmaking for Information Agents

Daniel Kuokka and Larry Harada

Deriving Multi-Agent Coordination throughFiltering Strategies

Eithan Ephrati, Martha E. Pollackand Sigalit Ur

Session 85

Automated Reasoning: Search 4

From Approximate to Optimal Solutions: ACase Study of Number Partitioning

Richard E. Korf

Best-First Minimax Search n Practice

Aske Plaat, Jonathan Schaeffer,Wim Pijls and Arie de Bruin

3:10 - 4:10 pm

Philosophical Encounter: AnInteractive Presentation of Some of the Key Philosophical Problems in AIand AI Problems in Philosophy

Aaron Sloman, The University ofBirmingham

Session 86

Planning: Applications andEvaluation 1

AI Planning versus Manufacturing-OperationPlanning: A Case Study

Dana S. Nau

Hierarchical Plan Merging with Applicationto Process Planning

John M. Britanik and Michael M.Marefat

Session 87

Natural Language: Understanding 2

Anaphors, PPs and Disambiguation Processfor Conceptual Analysis

Saliha Azzam

Discourse as a Knowledge Resource forSentence Disambiguation

Tetsuya Nasukawa and NaohikoUramoto

Session 88

Belief Revision 1

Belief Revision, Revised

Daniel Lehmann

Iterated Theory Base Change: AComputational Model

M. A. Williams

Session 89

Learning: Inductive LogicProgramming

Covering vs. Divide-and-Conquer forTop-Down Induction of Logic Programs

Henrik Bostrom

AILP: Abductive Inductive LogicProgramming

Hilde Ade and Marc Denecker

Session 90

Distributed AI: Multiple Agents 2

Flexible Social Laws

Will Briggs and Diane Cook

Equilibrium Analysis of the Possibilitiesof Unenforced Exchange in Multiagent Systems

Tuomas W. Sandholm and Victor R.Lesser

Session 91

Constraint Satisfaction 7

Constraint Solving over Semirings

Stefano Bistarelli, Ugo Montanariand Francesca Rossi

Valued Constraint Satisfaction Problems:Hard and Easy Problems

Thomas Schiex and GerardVerfaillie

4:10 - 4:30 pm


4:30 - 5:30 pm

Philosophical Encounter: AnInteractive Presentation of Some of the Key Philosophical Problems in AIand AI Problems in Philosophy

Aaron Sloman, The University ofBirmingham

Session 92

Planning: Applications andEvaluation 2

Planning, Executing, Sensing, andReplanning for Information Gathering

Craig A. Knoblock

Abstraction by Interchangeability inResource Allocation

Berthe Y. Choueiry, Boi Faltingsand Rainer Weigel

Session 93

Natural Language: Understanding 3

A WordNet-Based Algorithm for Word SenseDisambiguation

Xiaobin Li, Stan Szpakowicz andStan Matwin

Analogy in the Large

Kenneth B. Haase

Session 94

Belief Revision 2

Generalized Update: Belief Change in Dynamic Settings

Craig Boutilier

Relating Belief Revision andCircumscription

Paolo Liberatore and Marco Schaerf

Session 95

Learning 6

Building Theories into Instantiation

Alan M. Frisch and C. David Page,Jr.

Learning One More Thing

Sebastian Thrun and Tom M.Mitchell

Session 96

Distributed AI: DistributedPlanning

The Semantics of Intention Maintenance forRational Agents

Michael P. Georgeff and Anand S.Rao

Social Dilemmas in ComputationalEcosystems

Tad Hogg

Session 97

Constraint Satisfaction 8

Composition in Hierarchical CLP

Michael Jampel and Sebastian Hunt

Sparse Constraint Graphs and ExceptionallyHard Problems

Barbara M. Smith and Stuart A.Grant

5:45 - 6:45 pm

Research Excellence Lecture:Herbert Simon, Carnegie Mellon University

Explaining the Ineffable: AI on theTopics of Intuition, Insight and Inspiration

Friday, August 25

9:00 - 10:00 am

Invited Speaker: Pattie Maes,MIT Media Laboratory

Software Agents that Assist andEntertain

Session 98

Planning: Plan Recognition

A Sound and Fast Goal Recognizer

Neal Lesh and Oren Etzioni

Recovering Problem-Solving Activities fromQuery Messages

Yoshihiko Hayashi

Session 99

Natural Language: MachineTranslation

Unification-Based Glossing

Vasileios Hatzivassiloglou andKevin Knight

Filling Knowledge Gaps in a Broad-CoverageMachine Translation System

Kevin Knight, Ishwar Chander,Matthew Haines, Vasileios Hatzivassiloglou, Eduard Hovy, Masayo Iida, SteveK. Luk, Richard Whitney and Kenji Yamada

Session 100

Uncertainty: Probability andEntropy

Minimum Cross-Entropy Reasoning: AStatistical Justification

Manfred Jaeger

Representation Dependence in ProbabilisticInference

Joseph Y. Halpern and DaphneKoller

Session 101

Connectionist Models 1

Kanerva's Sparse Distributed Memory: AnObject-Oriented Implementation on the Connection Machine

Andreas Turk and Gunther Gorz

Understanding Neural Networks via Rule Extraction

Rudy Setiono and Huan Liu

Session 102

Auditory Scene Analysis

Organization of Hierarchical PerceptualSounds: Music Scene Analysis with Autonomous Processing Modules and aQuantitative Information Integration Mechanism

Kunio Kashino, Kazuhiro Nakadai,Tomoyoshi Kinoshita and Hidehiko Tanaka

Residue-Driven Architecture forComputational Auditory Scene Analysis

Tomohiro Nakatani, Hiroshi G.Okuno and Takeshi Kawabata

Session 103

Automated Reasoning:Satisfiability 1

Theoretical Analysis of Davis-PutnamProcedure and Propositional Satisfiability

Nobuhiro Yugami

On the Complexity of Extending GroundResolution with Symmetry Rules

Thierry Boy de la Tour andStephane Demri

10:00 - 10:30 am

Coffee Break

10:30 - 11:30 am

Invited Speaker: StephenMuggleton, Oxford University Computing Laboratory

Inductive Logic Programming: InverseResolution and Beyond

Session 104

Robotics: Multi-Agent Systems

Knowledge Considerations in Robotics andDistribution of Robotic Tasks

Ronen I. Brafman and Yoav Shoham

RESC: An Approach for Real-Time, DynamicAgent Tracking

Milind Tambe and Paul S.Rosenbloom

Session 105

Natural Language: Applications

A Support Tool for Writing MultilingualInstructions

Cecile Paris, Keith Vander Linden,Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power and DoniaScott

Dialogue Actions for Natural LanguageInterfaces

Arne Jonsson

Session 106

Uncertainty: ImpreciseProbabilities

Models and Algorithms for Probabilisticand Bayesian Logic

Pierre Hansen, Brigitte Jaumard,Guy-Blaise Douanya Nguetse, and Marcus Poggi de Aragao

Ignorant Influence Diagrams

Marco Ramoni

Session 107

Connectionist Models 2

GR2 -A Hybrid Knowledge-Based System UsingGeneral Rules

Zhe Ma, Robert F. Harrison and R.Lee Kennedy

A Hybrid Fuzzy-Neural Expert System forDiagnosis

Christoph S. Herrmann

Session 108

Cognitive Modelling 1

Optional Deep Case Filling and FocusControl with Mental Images: ANTLIMA-KOREF

Anselm Blocher and Jorg R.J.Schirra

A Microfeature Based Approach TowardsMetaphor Interpretation

Ron Sun

Session 109

Automated Reasoning:Satisfiability 2

SEM: A System for Enumerating Models

Jian Zhang and Hantao Zhang

Performance Test of Local SearchAlgorithms Using New Types of Random CNF Formulas

Byungki Cha and Kazuo Iwama

11:40 am - 12:40 pm

Conference Report: The EighthInternational Workshop on Qualitative Reasoning about Physical Systems(QR'94)

Toyoaki Nishida, Nara Institute ofScience and Technology, Japan

Session 110

Robotics: Navigation

Self-Organization of Symbolic Processesthrough Interaction with the Physical World

Jun Tani

Using Knowledge to Isolate Search in RouteFinding

Bing Liu

Session 111

Natural Language: Parsing andGeneration

An Efficient Algorithm for SurfaceGeneration

Christer Samuelsson

A Dependency-Based Method for EvaluatingBroad-Coverage Parsers

Dekang Lin

Session 112

Uncertainty: Bayes Nets

The BATmobile: Towards a BayesianAutomated Taxi

Jeff Forbes, Tim Huang. KeijiKanazawa and Stuart Russell

Adaptive Provision of Evaluation-OrientedInformation: Tasks and Techniques

Anthony Jameson, Ralph Schafer,Joep Simons and Thomas Weis

Session 113

Connectionist Models 3

A Hybrid Rule-Based System: How VariablesAre Involved in Connectionist Rule-Based Systems

Fukumi Kozato

Learning Distributed Representations forthe Classification of Terms

Alessandro Sperduti, AntoninaStarita and Christoph Goller

Session 114

Cognitive Modelling 2

Forgetting Data in Concept Learning

Gunther Sablon and Luc De Raedt

Determining What to Learn throughComponent-Task Modeling

Bruce Krulwich, Larry Birnbaum andGregg Collins

Session 115

Automated Reasoning: Defaults

Towards Efficient Default Reasoning

Ilkka Niemela

Default-Reasoning with Models

Roni Khardon and Dan Roth

12:40 - 2:00 pm

Lunch Break

2:00 - 3:00 pm

Invited Speaker: Judy Kay,University of Sydney

Vive la Difference: AdaptiveInteraction with Users as Individuals

Session 116

Robotics: Learning

Motion Sketch: Acquisition of VisualMotion Guided Behaviors

Takayuki Nakamura and Minoru Asada

Using the Representation in a NeuralNetwork's Hidden Layer for Task-Specific Focus of Attention

Shumeet Baluja and Dean A.Pomerleau

Session 117

Natural Language: Formal Methods

Efficient Parameterizable Type Expansionfor Typed Feature Formalisms

Hans-Ulrich Krieger and UlrichSchafer

Integration of Syntactic, Semantic andContextual Information in Processing Grammatically Ill-Formed Concepts

Osamu Imaichi and Yuji Matsumoto

Session 118

Uncertainty: Belief Functions

The Canonical Decomposition of a WeightedBelief

Philippe Smets

On the Representation of NonmontonicRelations in the Theory of Evidence

Ronald R. Yager

Session 119

Connectionist Models 4

A Novelty Detection Approach toClassification

Nathalie Japkowicz, CatherineMyers and Mark Gluck

Combining the Predictions of MultipleClassifiers: Using Competitive Learning to Initialize Neural Networks

Richard Maclin and Jude W. Shavlik

Session 120

Cognitive Modelling 3

Using Information Content to EvaluateSemantic Similarity in a Taxonomy

Philip Resnik

On Heuristic Reasoning, Reactivity, andSearch

Susan L. Epstein

Session 121

Automated Reasoning: TheoremProving 1

Extending Semantic Resolution viaAutomated Model Building: Applications

Ricardo Caferra and NicolasPeltier

Model Elimination, Logic Programming andComputing Answers

Peter Baumgartner, Ulrich Furbachand Frieder Stolzenburg

3:10 - 4:10 pm

Invited Speaker: JeffKephart, IBM T.J. Watson Research Center

Biological Warfare: The BattleAgainst Computer Viruses

Session 122

Robotics: Formal Methods

Formalizing Behavior-Based Planning forNonholonomic Robots

Vikram Manikonda, James Hendlerand P.S. Krishnaprasad

Logic Programming for Robot Control

David Poole

Session 123

Uncertainty: Multiple-Valued Logic

The Rationality and Decidability of FuzzyImplications

Cheng Xiaochun, Jiang Yunfei andLiu Xuhua

Possibilistic Temporal Reasoning Based on Fuzzy Temporal Constraints

Lluis Godo and Lluis Vila

Session 124

Connectionist Models 5

A Model for Hormonal Modulation ofLearning

Hiroaki Kitano

Session 125

Cognitive Modelling 4

Perception and Action in Man-MadeEnvironments

Daniel D. Fu, Kristian J. Hammondand Michael J.Swain

Session 126

Automated Reasoning: TheoremProving 2

Equality Elimination for the InverseMethod and Extension Procedures

Anatoli Degtyarev and AndreiVoronkov

Experiments with Associative-CommutativeDiscrimination Nets

L. Bachmair, T. Chen, I.V.Ramakrishnan, S. Anantharaman and J. Chabin