10. IJCAI 1987:
Milan,
Italy
John P. McDermott (Eds.):
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan,
Italy,
August 1987. Morgan Kaufmann,
1987
VOLUME 1
Architectures and Languages
- Pascal Van Hentenryck:
A Theoretical Framework for Consistency Techniques in Logic Programming.
2-8
- George Dayantis:
Logic Program Derivation for a Class of First Order Logic Relations.
9-14
- Bertram Fronhöfer:
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming.
15-17
- Pierre E. Bonzon:
An Environment Model for the Integration of Logic and Functional Programming.
18-23
- Susumu Yamasaki:
A Network of Communicating Logic Programs and Its Semantics.
24-29
- Hans W. Guesgen, Ulrich Junker, Angi Voß:
Constraints in a Hybrid Knowledge Representation System.
30-33
- Herman Iline, Henry Kanoui:
Extending Logic Programming to Object Programming: The System Lap.
34-39
- Jean-Pierre Briot, Pierre Cointe:
A Uniform Model for Object-Oriented Languages Using the Class Abstraction.
40-43
- Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli:
Reflection as a Tool for Integration: An Exercise in Procedural Introspection.
44-47
- Michael Ratcliffe, Jean-Claude Syre:
A Parallel Logic Programming Language for PEPSys.
48-55
- Michael van Biema:
Parallelism in LISP.
56-61
- Ching-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu:
A Distributed Approach for Inferring Production Systems.
62-67
- Giorgio Montini:
Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG.
68-75
- Yoshiyuki Koseki:
Amalgamating Multiple Programming Paradigms in PROLOG.
76-82
- Marc Eisenstadt, Mike Brayshaw:
Graphical Debugging with the Transparent PROLOG Machine (TPM).
83-86
- Damian Black, John Manley:
A Logic-based Architecture for Knowledge Management.
87-90
- Xuejun Tong, Zhijun He, Ruizao Yu:
A Tool for Building Second Generation Expert Systems.
91-96
- Hans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas:
X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces.
97-99
- Thomas R. Gruber, Paul R. Cohen:
Knowledge Engineering Tools at the Architecture Level.
100-105
Cognitive Modeling
Knowledge Acquisition
- Susan L. Epstein:
On the Discovery of Mathematical Theorems.
194-197
- Bernd Nordhausen, Pat Langley:
Towards an Integrated Discovery System.
198-200
- Joachim Diederich:
Knowledge-based Knowledge Elicitation.
201-204
- Shankar A. Rajamoney, Gerald DeJong:
The Classification, Detection and Handling of Imperfect Theory Problems.
205-207
- Werner Emde:
Non-Cumulative Learning in METAXA.3.
208-210
- Robert E. Stepp:
Concepts in Conceptual Clustering.
211-213
- B. Shekar, M. Narasimha Murty, G. Krishna:
Pattern Clustering: An Artificial Intelligence Approach.
214-216
- Stewart W. Wilson:
Hierarchical Credit Allocation in a Classifier System.
217-220
- Haym Hirsh:
Explanation-based Generalization in a Logic- Programming Environment.
221-227
- Steven Minton, Jaime G. Carbonell:
Strategies for Learning Search Control Rules: An Explanation-based Approach.
228-235
- Jude W. Shavlik, Gerald DeJong:
An Explanation-based Approach to Generalizing Number.
236-238
- Scott Bennett:
Approximation in Mathematical Domains.
239-241
- Alberto Maria Segre:
On the Operationality/Generality Trade-off in Explanation-based Learning.
242-248
- Jack Mostow, Neeraj Bhatnagar:
Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures.
249-255
- D. Paul Benjamin:
Learning Strategies by Reasoning about Rules.
256-259
- Brian Falkenhainer:
An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning.
260-263
- Todd R. Davies, Stuart J. Russell:
A Logical Approach to Reasoning by Analogy.
264-270
- Yves Kodratoff, Gheorghe Tecuci:
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields.
271-273
- Andrea Pohoreckyj Danyluk:
The Use of Explanations for Similarity-based Learning.
274-276
- Michael J. Pazzani, Michael G. Dyer, Margot Flowers:
Using Prior Learning to Facilitate the Learning of New Causal Theories.
277-279
- Ranan B. Banerji:
Learning in the Limit in a Growing Language.
280-282
- Takashi Yokomori:
Inductive Inference of Context-free Languages- Context-free Expression Method.
283-286
- Stephen Muggleton:
Duce, An Oracle-based Approach to Constructive Induction.
287-292
- Larry Watanabe, Renee Elio:
Guiding Constructive Induction for Incremental Learning from Examples.
293-296
- K. S. Murray:
Multiple Convergence: An Approach to Disjunctive Concept Acquisition.
297-300
- Chris Thornton:
Hypercuboid-Formation Behaviour of Two Learning Algorithms.
301-303
- J. Ross Quinlan:
Generating Production Rules from Decision Trees.
304-307
- Larry A. Rendell, Raj Sheshu, David K. Tcheng:
Layered Concept-Learning and Dynamically Variable Bias Management.
308-314
- James P. Delgrande:
A Formal Approach to Learning From Examples.
315-322
- Guy E. Blelloch, Charles R. Rosenberg:
Network Learning on the Connection Machine.
323-326
- David M. Steier:
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design.
327-330
- T. L. McCluskey:
Combining Weak Learning Heuristics in General Problem Solvers.
331-333
- Andrew R. Golding, Paul S. Rosenbloom, John E. Laird:
Learning General Search Control from Outside Guidance.
334-337
- Walter L. Hill:
Machine Learning for Software Reuse.
338-344
- Jean-Gabriel Ganascia:
CHARADE: A Rule System Learning System.
345-347
- Michel Manago, Yves Kodratoff:
Noise and Knowledge Acquisition.
348-354
- Gary S. Kahn:
From Application Shell to Knowledge Acquisition System.
355-358
- Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho:
SIS: A Shell for Interview Systems.
359-361
- Nancy Gardner Margolis:
Development of an Expert System for Diagnosing Problems on a Paper Machine.
362-365
Knowledge Representation
- Steen Andreassen, Marianne Woldbye, Björn Falck, Stig K. Andersen:
MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings.
366-372
- Jane Terry Nutter:
Uncertainty and Probability.
373-379
- Hon Wai Chun, Lawrence A. Bookman, Niki Afshartous:
Network Regions: Alternatives to the Winner-Take-All Structure.
380-387
- Yoav Shoham:
Nonmonotonic Logics: Meaning and Utility.
388-393
- Kurt Konolige:
On the Relation Between Default Theories and Autoepistemic Logic.
394-400
- Gerhard Lakemeyer:
Tractable Meta-Reasoning in Propositional Logics of Belief.
401-408
- Kenneth D. Forbus:
The Logic of Occurrence.
409-415
- Devika Subramanian, Michael R. Genesereth:
The Relevance of Irrelevance.
416-422
- James P. Delgrande:
A Logic for Representing Default and Prototypical Properties.
423-429
- Kenneth D. Forbus, Paul Nielson, Boi Faltings:
Qualitative Kinematics: A Framework.
430-435
- Boi Faltings:
Qualitative Kinematics in Mechanisms.
436-442
- Padraig Cunningham:
Qualitative Reasoning in Electronic Fault Diagnosis.
443-445
- Joyce P. McDowell, Kathleen Dahlgren:
Commonsense Reasoning with Verbs.
446-448
- Brian A. Haugh:
Non-Standard Semantics for the Method of Temporal Arguments.
449-455
- Edward P. K. Tsang:
Time Structures for AI.
456-461
- Peter B. Ladkin:
The Completeness of a Natural System for Reasoning with Time Intervals.
462-465
- Peter Raulefs:
A Representation Framework for Continuous Dynamic Systems.
466-471
- Krishna Kumar, Amitabha Mukerjee:
Temporal Event Conceptualization.
472-475
- David S. Touretzky, John F. Horty, Richmond H. Thomason:
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems.
476-482
- Gerhard Brewka:
The Logic of Inheritance in Frame Systems.
483-488
- David W. Etherington:
Relating Default Logic and Circumscription.
489-494
- David W. Etherington:
A Semantics for Default Logic.
495-498
- Michael J. Miller, Donald Perlis:
Proving Facts about "|".
499-501
- Philip Schaefer:
Belief Functions for Real-Time Script Processing.
502-508
- Peter Schefe:
On Definitional Processes in Knowledge Reconstruction Systems.
509-511
- Stanley Letovsky:
Program Understanding with the Lambda Calculus.
512-514
- Alan M. Frisch:
Inference without Chaining.
515-519
- Jerry R. Hobbs, Paul A. Martin:
Local Pragmatics.
520-523
- Ajay Gupta:
Hardware Diagnosis as Program Debugging.
524-526
- Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem:
DANTES: An Expert System for Real-Time Network Troubleshooting.
527-530
- Jeff Pepper, Gary S. Kahn:
Repair Strategies in a Diagnostic Expert System.
531-534
- Leo B. Hartman, Josh D. Tenenberg:
Performance in Practical Problem Solving.
535-540
- M. Bouissou, N. Villatte:
Drastic Cut of Man's Work in Reliability Studies by Using an Expert System.
541-544
- James Geller, Stuart C. Shapiro:
Graphical Deep Knowledge for Intelligent Machine Drafting.
545-551
- Agustin A. Araya, Sanjay Mittal:
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics.
552-558
- David Klein, Timothy W. Finin:
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems.
559-562
- Mihai Barbuceanu, Stefan Trausan-Matu, Balint Molnar:
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment.
563-568
- Paul McKevitt, Yorick Wilks:
Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer.
569-575
- M. Cristina Bena, Giorgio Montini, Franco Sirovich:
Planning and Executing Office Procedures in Project ASPERA.
576-583
- Robin S. Stanton, Hugh G. Mackenzie:
Deduction-based Region-Use Planning.
584-587
- Suzanne Pinson:
A Multi-Attribute Approach to Knowledge Representation for Loan Granting.
588-591
- Kathryn M. Chalfan:
An Integration Tool for Life-Cycle Engineering.
592-595
- David E. Wolstenholme, Carl M. O'Brien:
GLIMPSE - A Statistical Adventure.
596-601
VOLUME 2
Natural Language
- Mark A. Jones:
Feedback as a Coindexing Mechanism in Connectionist Architectures.
602-610
- Lawrence A. Bookman:
A Microfeature-based Scheme for Modelling Semantics.
611-614
- Andrew R. Haas:
Parallel Parsing for Unification Grammars.
615-618
- Lin-Shan Lee, Chiu-yu Tseng, Keh-Jiann Chen, James Huang:
The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language Analysis.
619-621
- Massimo Poesio, Claudio Rullent:
Modified Caseframe Parsing for Speech Understanding Systems.
622-625
- Cécile Paris:
Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum.
626-632
- Jean Véronis:
Discourse Consistency and Many-Sorted Logic.
633-635
- Julia Hirschberg, Diane J. Litman, Janel Pierrehumbert, G. Ward:
Intonation and the Intentional Structure of Discourse.
636-639
- Douglas E. Appelt, Amichai Kronfeld:
A Computational Model of Referring.
640-647
- Barbara Di Eugenio, Leonardo Lesmo:
Representation and Interpretation of Determiners in Natural Language.
648-654
- Gerard Kempen:
A Framework for Incremental Syntactic Tree Formation.
655-660
- Nicholas J. Haddock:
Incremental Interpretation and Combinatory Categorial Grammar.
661-663
- Kôiti Hasida, Syun Isizaki:
Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation.
664-670
- Yuji Matsumoto, Ryôichi Sugimura:
A Parsing System Based on Logic Programming.
671-674
- Paul S. Jacobs:
A Knowledge Framework for Natural Language Analysis.
675-678
- Yiming Yang:
Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis.
679-681
- Galina Datskovsky Moerdler, Kathleen McKeown, J. Robert Ensor:
Building Natural Language Interfaces for Rule-based Expert Systems.
682-687
- John J. Granacki Jr., Alice C. Parker, Yigal Arens:
Understanding System Specifications Written in Natural Language.
688-691
- Tomasz Ksiezyk, Ralph Grishman, John Sterling:
An Equipment Model and its Role in the Interpretation of Noun Phrases.
692-695
- Michael G. Dyer, Margot Flowers, Jack Hodges:
Naive Mechanics Comprehension and Invention in EDISON.
696-699
- K. Valkonen, Harri Jäppinen, Aarno Lehtola:
Blackboard-based Dependency Parsing.
700-702
- Ted Briscoe, Claire Grover, Branimir Boguraev, John Carroll:
A Formalism and Environment for the Development of a Large Grammar of English.
703-708
- Jean-Louis Binot, Karen Jensen:
A Semantic Expert Using an Online Standard Dictionary.
709-714
- Cheng-ming Guo:
Interactive Vocabulary Acquisition in XTRA.
715-717
- Masaru Tomita, Jaime G. Carbonell:
The Universal Parser Architecture for Knowledge-based Machine Translation.
718-721
- Hideto Tomabechi:
Direct Memory Access Translation.
722-727
Perception
- Margaret M. Fleck:
Representing Space for Practical Reasoning.
728-730
- Gang Xu, Saburo Tsuji:
Recovering Surface Shape from Boundary.
731-733
- Jitendra Malik:
Recovering Three Dimensional Shape from a Single Image of Curved Objects.
734-737
- Yiannis Aloimonos:
Combining Sources of Information in Vision I. Computing Shape from Shading and Motion.
738-741
- Su-Shing Chen:
Image Reconstruction from Zero-Crossings.
742-744
- Davi Geiger, Tomaso Poggio:
An Optimal Scale for Edge Detection.
745-748
- Leonie S. Dreschler-Fischer, Frank Gnutzmann:
Feature Selection in Colour Images for Token Matching.
749-751
- Ron Gershon, Allan D. Jepson, John K. Tsotsos:
The Use of Color in Highlight Identification.
752-754
- Ron Gershon, Allan D. Jepson, John K. Tsotsos:
From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images.
755-758
- Glenn Healey, Thomas O. Binford:
Color Algorithms for a General Vision System.
759-762
- J. Brian Burns, Leslie J. Kitchen:
Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies.
763-766
- A. Peter Blicher:
A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac.
767-770
- Michael Leyton:
Process Recovery.
771-774
- Giovanni Adorni, Lina Massone, Giulio Sandini, Maurizio Immovilli:
From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap.
775-778
- Paul B. Chou, Christopher M. Brown:
Probabilistic Information Fusion for Multi-Modal Image Segmentation.
779-782
- Yasuo Ariki, Masashi Morimoto, Toshiyuki Sakai:
Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding.
783-786
- Van-Duc Nguyen:
Exploiting 2D Topology in Labeling Polyhedral Images.
787-789
- L. J. de Hass:
Automatic Programming of Machine Vision Systems.
790-792
- James L. Crowley:
Coordination of Action and Perception in a Surveillance Robot.
793-796
- Minoru Asada:
Determining Cylindrical Shape from Contour and Shading.
797-800
- John R. Kender, David G. Freudenstein:
What is a `Degenerate' View?
801-804
- Robert B. Fisher:
Model Invocation for Three Dimensional Scene Understanding.
805-807
- Nicholas Ayache, Olivier D. Faugeras:
Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views.
808-810
- Charles A. Kohl, Allen R. Hanson, Edward M. Riseman:
A Goal-Directed Intermediate Level Executive for Image Interpretation.
811-814
- Anup Basu, Yiannis Aloimonos:
A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications.
815-818
- Wilhelm Burger, Bir Bhanu:
Qualitative Motion Understanding.
819-821
- John L. Barron, Allan D. Jepson, John K. Tsotsos:
Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image Sequences.
822-825
- Nicholas Ayache, Francis Lustman:
Trinocular Stereovision: Recent Results.
826-828
- Mark H. Singer:
Significant Feature Detection and Matching in Image Pairs.
829-831
- Stephen T. Barnard:
Stereo Matching by Hierarchical, Microcanonical Annealing.
832-835
- Joseph di Martino:
On Multi-Level Machines for Continuous Speech Recognition.
836-839
- Renato de Mori, Ettore Merlo, Mathew J. Palakal, Jean Rouat:
Use of Procedural Knowledge for Automatic Speech Recognition.
840-843
- Sargur N. Srihari, Radmilo M. Bozinovic:
A Multi-Level Perception Approach to Reading Cursive Script.
844-847
- Jonathan J. Hull, Sargur N. Srihari:
Knowledge Utilization in Handwritten Zip Code Recognition.
848-850
- Raymond L. Watrous, Lokendra Shastri:
Learning Phonetic Features Using Connectionist Networks.
851-854
- Jan A. Mulder:
An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base.
855-859
Reasoning
- Thomas Dean:
Large-Scale Temporal Data Bases for Planning in Complex Domains.
860-866
- Leora Morgenstern:
Knowledge Preconditions for Actions and Plans.
867-874
- Edmund H. Durfee, Victor R. Lesser:
Using Partial Global Plans to Coordinate Distributed Problem Solvers.
875-883
- Michael P. Wellman:
Dominance and Subsumption in Constraint-Posting Planning.
884-890
- Piero P. Bonissone, Steven S. Gans, Keith Decker:
RUM: A Layered Architecture for Reasoning with Uncertainty.
891-898
- Dimiter Driankov:
Reasoning with Consistent Probabilities.
899-901
- Henry E. Kyburg Jr.:
Objective Probabilities.
902-904
- David Poole:
Variables in Hypotheses.
905-908
- Wlodek Zadrozny:
Intended Models, Circumscription and Commonsense Reasoning.
909-916
- Lincoln A. Wallen:
Matrix Proof Methods for Modal Logics.
917-923
- Enrique H. Ruspini:
Epistemic Logics, Probability, and the Calculus of Evidence.
924-931
- Tamás Gergely, Zoltan Szabo:
Inductive Inference on the Base of Fixed Point Theory.
932-938
- H. Guggenheimer, R. S. Freedman:
Foundations of Probabilistic Logic.
939-941
- Peter Jackson, Han Reichgelt:
A General Proof Method for First-Order Modal Logic.
942-944
- Yang Tao, He Zhijun, Yu Ruizhao:
Performance Evaluation of the Inference Structure in Expert System.
945-950
- Alexander Reinefeld, T. Anthony Marsland:
A Quantitative Analysis of Minimal Window Search.
951-954
- K. S. Natarajan:
Optimizing Backtrack Search for all Solutions to Conjunctive Problems.
955-958
- Daniel S. Weld:
Comparative Analysis.
959-965
- Vladimir Lifschitz:
Formal Theories of Action (Preliminary Report).
966-972
- Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav:
An Algebraic Foundation for Truth Maintenance.
973-980
- Patrick J. Hayes, James F. Allen:
Short Time Periods.
981-983
- Didier Dubois, Jérôme Lang, Henri Prade:
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.
984-986
- Murray Shanahan:
An Incremental Theorem Prover.
987-989
- Jieh Hsiang, Michaël Rusinowitch, Kô Sakai:
Complete Inference Rules for the Cancellation Laws.
990-992
- Michel de Rougemont:
Constructive Second-Order Proofs in Logical Databases.
993-996
- Tomasz Imielinski:
Domain Abstraction and Limited Reasoning.
997-1003
- Michael R. Lowry:
The Abstraction/Implementation Model of Problem Reformulation.
1004-1010
- Josh D. Tenenberg:
Preserving Consistency Across Abstraction Mappings.
1011-1014
- Robert A. Hummel, Larry M. Manevitz:
Combining Bodies of Dependent Information.
1015-1017
- Keki B. Irani, Jie Cheng:
Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving.
1018-1024
- Marc Luria:
Goal Conflict Concerns.
1025-1031
- Anne Collinot, Claude Le Pape:
Controlling Constraint Propagation.
1032-1034
- Can A. Baykan, Mark S. Fox:
An Investigation of Opportunistic Constraint Satisfaction in Space Planning.
1035-1038
- Marcel Schoppers:
Universal Plans for Reactive Robots in Unpredictable Environments.
1039-1046
- Theodore A. Linden, Jay Glicksman:
Contingency Planning for an Autonomous Land Vehicle.
1047-1054
- Erik Sandewall:
The Pipelining Transformation on Plans for Manufacturing Cells with Robots.
1055-1062
- Nicola Muscettola, Stephen F. Smith:
A Probabilistic Framework for Resource-Constrained Multi-Agent Planning.
1063-1066
- Marc G. Slack, David P. Miller:
Path Planning Through Time and Space in Dynamic Domains.
1067-1070
- Reid G. Simmons, Randall Davis:
Generate, Test and Debug: Combining Associational Rules and Causal Models.
1071-1078
- Benjamin Kuipers, Charles Chiu:
Taming Intractible Branching in Qualitative Simulation.
1079-1085
- Philippe Caloud:
Towards Continuous Process Supervision.
1086-1089
- Jack Mostow, K. Voigt:
Explicit Integration of Goals in Heuristic Algorithm Design.
1090-1096
- Thomas M. Strat:
The Generation of Explanations within Evidential Reasoning Systems.
1097-1104
- Hector Geffner, Judea Pearl:
An Improved Constraint-Propagation Algorithm for Diagnosis.
1105-1111
- Dean Allemang, Michael C. Tanner, Tom Bylander, John R. Josephson:
Computational Complexity of Hypothesis Assembly.
1112-1119
Robotics
- Jean-Paul Laumond:
Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot.
1120-1123
- Jonathan Connell:
Creature Design with the Subsumption Architecture.
1124-1126
- Saburo Tsuji, Jiang Yu Zheng:
Visual Path Planning by a Mobile Robot.
1127-1130
- Bernard Faverjon, Pierre Tournassoud:
The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner.
1131-1137
- John Porrill, Stephen Pollard, Tony P. Pridmore, Jonathan B. Bowen, John E. W. Mayhew, John P. Frisby:
TINA: The Sheffeild AIVRU Vision System.
1138-1144
- Bijan Arbab:
Object Identification from Parallel Light Stripes.
1145-1148
- Gary Silverman, Roger Y. Tsai, Mark Lavin:
Locating Polyhedral Objects from Edge Point Data.
1149-1152
- Thea Iberall:
Grasp Planning from Human Prehension.
1153-1156
- Hugo Velthuijsen, Ben J. Lippolt, Jeanette C. Vonk:
A Parallel Blackboard System for Robot Control.
1157-1161
Panels and Invited Talks
- Wolfgang Bibel:
Parallel Inference Machines (Panel).
1162
- Wolfgang Wahlster:
Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel).
1163
- Bruce G. Johnson:
The Commercialization of AI: Part 1. The User Viewpoint (Panel).
1164-1165
- Harry C. Reinstein:
The Commercialization of AI: Part 2. The Vendor Viewpoint (Panel).
1164-1165
- Jan Aikins:
The Commercialization of AI: Part 3. The Technology Challenge (Panel).
1164-1165
- Derek H. Sleeman:
Some Challenges for Intelligent Tutoring Systems.
1166-1168
- Olivier D. Faugeras:
Artificial 3D Vision.
1169-1171
- Gerald Gazdar:
The New Grammar Formalisms - A Tutorial Survey (Abstract).
1172
- Douglas B. Lenat, Edward A. Feigenbaum:
On the Thresholds of Knowledge.
1173-1182
- B. Chandrasekaran:
Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks.
1183-
Copyright © Mon Nov 2 20:50:09 2009
by Michael Ley (ley@uni-trier.de)
