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
Recognition
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
OUTSTANDING PAPER AWARD
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
Break
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
OUTSTANDING PAPER AWARD
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
Break
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