Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th IJCAI 1987: Milan, Italy
- John P. McDermott:
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 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
- Andrew Ortony, Derek Partridge:
Surprisingness and Expectation Failure: What's the Difference? 106-108 - Kristian J. Hammond:
Explaining and Repairing Plans that Fail. 109-114 - Edward Hoenkamp:
An Analysis of Psychological Experiments on Non-Monotonic Reasoning. 115-117 - Yorick Wilks, Afzal Ballim:
Multiple Agents and the Heuristic Ascription of Belief. 118-124 - Uri Zernik:
Language Acquisition: Learning a Hierarchy of Phrases. 125-132 - Uri Zernik:
Learning Idioms - With and Without Explanation. 133-136 - James H. Martin:
Understanding New Metaphors. 137-139 - Sandra L. Peters, Stuart C. Shapiro:
A Representation for Natural Category Systems. 140-146 - Michael J. Pazzani, Michael G. Dyer:
A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule. 147-150 - James A. Hendler:
Marker-Passing and Microfeatures. 151-154 - Lisa F. Rau:
Spontaneous Retrieval in a Conceptual Information System. 155-162 - Donald Perlis:
How Can a Program Mean? 163-166 - Joost Breuker, Radboud Winkels, Jacobijn Sandberg:
A Shell for Intelligent Help Systems. 167-173 - Robert G. Farrell:
Intelligent Case Selection and Presentation. 174-176 - Gerhard Fischer:
A Critic for LISP. 177-184 - Michelle Baker, Mark H. Burstein, Allan M. Collins:
Implementing a Model of Human Plausible Reasoning. 185-188 - Beverly P. Woolf, Thomas J. Murray:
A Framework for Representing Tutorial Discourse. 189-193
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 W. 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 H. 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 - Thomas Leo 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, Bálint Molnár:
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, Janet B. 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 R. 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 A. 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 A. 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, Zoltán Szabó:
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 - Tao Yang, Zhijun He, Ruizhao Yu:
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 B. 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-
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
