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