Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar10. 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. IJCAI 1987: 2-8 - George Dayantis:
Logic Program Derivation for a Class of First Order Logic Relations. IJCAI 1987: 9-14 - Bertram Fronhöfer:
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. IJCAI 1987: 15-17 - Pierre E. Bonzon:
An Environment Model for the Integration of Logic and Functional Programming. IJCAI 1987: 18-23 - Hans W. Guesgen, Ulrich Junker, Angi Voß:
Constraints in a Hybrid Knowledge Representation System. IJCAI 1987: 30-33 - Herman Iline, Henry Kanoui:
Extending Logic Programming to Object Programming: The System Lap. IJCAI 1987: 34-39 - Jean-Pierre Briot, Pierre Cointe:
A Uniform Model for Object-Oriented Languages Using the Class Abstraction. IJCAI 1987: 40-43 - Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli:
Reflection as a Tool for Integration: An Exercise in Procedural Introspection. IJCAI 1987: 44-47 - Michael Ratcliffe, Jean-Claude Syre:
A Parallel Logic Programming Language for PEPSys. IJCAI 1987: 48-55 - Ching-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu:
A Distributed Approach for Inferring Production Systems. IJCAI 1987: 62-67 - Giorgio Montini:
Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG. IJCAI 1987: 68-75 - Marc Eisenstadt, Mike Brayshaw:
Graphical Debugging with the Transparent PROLOG Machine (TPM). IJCAI 1987: 83-86 - Xuejun Tong, Zhijun He, Ruizao Yu:
A Tool for Building Second Generation Expert Systems. IJCAI 1987: 91-96 - Hans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas:
X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces. IJCAI 1987: 97-99 - Thomas R. Gruber, Paul R. Cohen:
Knowledge Engineering Tools at the Architecture Level. IJCAI 1987: 100-105
Cognitive Modeling
- Andrew Ortony, Derek Partridge:
Surprisingness and Expectation Failure: What's the Difference? IJCAI 1987: 106-108 - Edward Hoenkamp:
An Analysis of Psychological Experiments on Non-Monotonic Reasoning. IJCAI 1987: 115-117 - Yorick Wilks, Afzal Ballim:
Multiple Agents and the Heuristic Ascription of Belief. IJCAI 1987: 118-124 - Sandra L. Peters, Stuart C. Shapiro:
A Representation for Natural Category Systems. IJCAI 1987: 140-146 - Michael J. Pazzani, Michael G. Dyer:
A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule. IJCAI 1987: 147-150 - Joost Breuker, Radboud Winkels, Jacobijn Sandberg:
A Shell for Intelligent Help Systems. IJCAI 1987: 167-173 - Michelle Baker, Mark H. Burstein, Allan M. Collins:
Implementing a Model of Human Plausible Reasoning. IJCAI 1987: 185-188 - Beverly Park Woolf, Thomas J. Murray:
A Framework for Representing Tutorial Discourse. IJCAI 1987: 189-193
Knowledge Acquisition
- Shankar A. Rajamoney, Gerald DeJong:
The Classification, Detection and Handling of Imperfect Theory Problems. IJCAI 1987: 205-207 - B. Shekar, M. Narasimha Murty, G. Krishna:
Pattern Clustering: An Artificial Intelligence Approach. IJCAI 1987: 214-216 - Haym Hirsh:
Explanation-based Generalization in a Logic-Programming Environment. IJCAI 1987: 221-227 - Steven Minton, Jaime G. Carbonell:
Strategies for Learning Search Control Rules: An Explanation-based Approach. IJCAI 1987: 228-235 - Jude W. Shavlik, Gerald DeJong:
An Explanation-based Approach to Generalizing Number. IJCAI 1987: 236-238 - Alberto Maria Segre:
On the Operationality/Generality Trade-off in Explanation-based Learning. IJCAI 1987: 242-248 - Jack Mostow, Neeraj Bhatnagar:
Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures. IJCAI 1987: 249-255 - Brian Falkenhainer:
An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning. IJCAI 1987: 260-263 - Yves Kodratoff, Gheorghe Tecuci:
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. IJCAI 1987: 271-273 - Andrea Pohoreckyj Danyluk:
The Use of Explanations for Similarity-based Learning. IJCAI 1987: 274-276 - Michael J. Pazzani, Michael G. Dyer, Margot Flowers:
Using Prior Learning to Facilitate the Learning of New Causal Theories. IJCAI 1987: 277-279 - Takashi Yokomori:
Inductive Inference of Context-free Languages - Context-free Expression Method. IJCAI 1987: 283-286 - Larry Watanabe, Renee Elio:
Guiding Constructive Induction for Incremental Learning from Examples. IJCAI 1987: 293-296 - K. S. Murray:
Multiple Convergence: An Approach to Disjunctive Concept Acquisition. IJCAI 1987: 297-300 - Larry A. Rendell, Raj Sheshu, David K. Tcheng:
Layered Concept-Learning and Dynamically Variable Bias Management. IJCAI 1987: 308-314 - Guy E. Blelloch, Charles R. Rosenberg:
Network Learning on the Connection Machine. IJCAI 1987: 323-326 - David M. Steier:
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design. IJCAI 1987: 327-330 - Thomas Leo McCluskey:
Combining Weak Learning Heuristics in General Problem Solvers. IJCAI 1987: 331-333 - Andrew R. Golding, Paul S. Rosenbloom, John E. Laird:
Learning General Search Control from Outside Guidance. IJCAI 1987: 334-337 - Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho:
SIS: A Shell for Interview Systems. IJCAI 1987: 359-361 - Nancy Gardner Margolis:
Development of an Expert System for Diagnosing Problems on a Paper Machine. IJCAI 1987: 362-365
Knowledge Representation
- Steen Andreassen, Marianne Woldbye, Björn Falck, Stig K. Andersen:
MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings. IJCAI 1987: 366-372 - Hon Wai Chun, Lawrence A. Bookman, Niki Afshartous:
Network Regions: Alternatives to the Winner-Take-All Structure. IJCAI 1987: 380-387 - Kurt Konolige:
On the Relation Between Default Theories and Autoepistemic Logic. IJCAI 1987: 394-400 - James P. Delgrande:
A Logic for Representing Default and Prototypical Properties. IJCAI 1987: 423-429 - Kenneth D. Forbus, Paul Nielson, Boi Faltings:
Qualitative Kinematics: A Framework. IJCAI 1987: 430-435 - Peter B. Ladkin:
The Completeness of a Natural System for Reasoning with Time Intervals. IJCAI 1987: 462-465 - David S. Touretzky, John F. Horty, Richmond H. Thomason:
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI 1987: 476-482 - Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem:
DANTES: An Expert System for Real-Time Network Troubleshooting. IJCAI 1987: 527-530 - M. Bouissou, N. Villatte:
Drastic Cut of Man's Work in Reliability Studies by Using an Expert System. IJCAI 1987: 541-544 - James Geller, Stuart C. Shapiro:
Graphical Deep Knowledge for Intelligent Machine Drafting. IJCAI 1987: 545-551 - Agustin A. Araya, Sanjay Mittal:
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics. IJCAI 1987: 552-558 - David Klein, Timothy W. Finin:
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems. IJCAI 1987: 559-562 - Mihai Barbuceanu, Stefan Trausan-Matu, Bálint Molnár:
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment. IJCAI 1987: 563-568 - Paul McKevitt, Yorick Wilks:
Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer. IJCAI 1987: 569-575 - M. Cristina Bena, Giorgio Montini, Franco Sirovich:
Planning and Executing Office Procedures in Project ASPERA. IJCAI 1987: 576-583 - Suzanne Pinson:
A Multi-Attribute Approach to Knowledge Representation for Loan Granting. IJCAI 1987: 588-591
VOLUME 2
Natural Language
- Mark A. Jones:
Feedback as a Coindexing Mechanism in Connectionist Architectures. IJCAI 1987: 602-610 - 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. IJCAI 1987: 619-621 - Massimo Poesio, Claudio Rullent:
Modified Caseframe Parsing for Speech Understanding Systems. IJCAI 1987: 622-625 - Cécile Paris:
Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum. IJCAI 1987: 626-632 - Julia Hirschberg, Diane J. Litman, Janet B. Pierrehumbert, G. Ward:
Intonation and the Intentional Structure of Discourse. IJCAI 1987: 636-639 - Barbara Di Eugenio, Leonardo Lesmo:
Representation and Interpretation of Determiners in Natural Language. IJCAI 1987: 648-654 - Nicholas J. Haddock:
Incremental Interpretation and Combinatory Categorial Grammar. IJCAI 1987: 661-663 - Kôiti Hasida, Syun Isizaki:
Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation. IJCAI 1987: 664-670 - Yiming Yang:
Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis. IJCAI 1987: 679-681 - Galina Datskovsky Moerdler, Kathleen R. McKeown, J. Robert Ensor:
Building Natural Language Interfaces for Rule-based Expert Systems. IJCAI 1987: 682-687 - John J. Granacki Jr., Alice C. Parker, Yigal Arens:
Understanding System Specifications Written in Natural Language. IJCAI 1987: 688-691 - Tomasz Ksiezyk, Ralph Grishman, John Sterling:
An Equipment Model and its Role in the Interpretation of Noun Phrases. IJCAI 1987: 692-695 - Michael G. Dyer, Margot Flowers, Jack Hodges:
Naive Mechanics Comprehension and Invention in EDISON. IJCAI 1987: 696-699 - K. Valkonen, Harri Jäppinen, Aarno Lehtola:
Blackboard-based Dependency Parsing. IJCAI 1987: 700-702 - Ted Briscoe, Claire Grover, Branimir Boguraev, John A. Carroll:
A Formalism and Environment for the Development of a Large Grammar of English. IJCAI 1987: 703-708 - Jean-Louis Binot, Karen Jensen:
A Semantic Expert Using an Online Standard Dictionary. IJCAI 1987: 709-714 - Masaru Tomita, Jaime G. Carbonell:
The Universal Parser Architecture for Knowledge-based Machine Translation. IJCAI 1987: 718-721
Perception
- Jitendra Malik:
Recovering Three Dimensional Shape from a Single Image of Curved Objects. IJCAI 1987: 734-737 - Yiannis Aloimonos:
Combining Sources of Information in Vision I. Computing Shape from Shading and Motion. IJCAI 1987: 738-741 - Leonie S. Dreschler-Fischer, Frank Gnutzmann:
Feature Selection in Colour Images for Token Matching. IJCAI 1987: 749-751 - Ron Gershon, Allan D. Jepson, John K. Tsotsos:
The Use of Color in Highlight Identification. IJCAI 1987: 752-754 - Ron Gershon, Allan D. Jepson, John K. Tsotsos:
From [R, G, B] to Surface Reflectance: Computing Color Constant Descriptors in Images. IJCAI 1987: 755-758 - J. Brian Burns, Leslie J. Kitchen:
Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction Hierarchies. IJCAI 1987: 763-766 - A. Peter Blicher:
A Shape Representation Based on Geometric Topology: Bumps, Gaussian Curvature, and the Topological Zodiac. IJCAI 1987: 767-770 - Giovanni Adorni, Lina Massone, Giulio Sandini, Maurizio Immovilli:
From Early Processing to Conceptual Reasoning: An Attempt to Fill the Gap. IJCAI 1987: 775-778 - Paul B. Chou, Christopher M. Brown:
Probabilistic Information Fusion for Multi-Modal Image Segmentation. IJCAI 1987: 779-782 - Yasuo Ariki, Masashi Morimoto, Toshiyuki Sakai:
Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing Understanding. IJCAI 1987: 783-786 - James L. Crowley:
Coordination of Action and Perception in a Surveillance Robot. IJCAI 1987: 793-796 - Nicholas Ayache, Olivier D. Faugeras:
Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo Views. IJCAI 1987: 808-810 - Charles A. Kohl, Allen R. Hanson, Edward M. Riseman:
A Goal-Directed Intermediate Level Executive for Image Interpretation. IJCAI 1987: 811-814 - Anup Basu, Yiannis Aloimonos:
A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence, for Robotics Applications. IJCAI 1987: 815-818 - 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. IJCAI 1987: 822-825 - Renato de Mori, Ettore Merlo, Mathew J. Palakal, Jean Rouat:
Use of Procedural Knowledge for Automatic Speech Recognition. IJCAI 1987: 840-843 - Sargur N. Srihari, Radmilo M. Bozinovic:
A Multi-Level Perception Approach to Reading Cursive Script. IJCAI 1987: 844-847 - Jonathan J. Hull, Sargur N. Srihari:
Knowledge Utilization in Handwritten Zip Code Recognition. IJCAI 1987: 848-850 - Raymond L. Watrous, Lokendra Shastri:
Learning Phonetic Features Using Connectionist Networks. IJCAI 1987: 851-854 - Jan A. Mulder:
An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge Base. IJCAI 1987: 855-859
Reasoning
- Edmund H. Durfee, Victor R. Lesser:
Using Partial Global Plans to Coordinate Distributed Problem Solvers. IJCAI 1987: 875-883 - Piero P. Bonissone, Steven S. Gans, Keith Decker:
RUM: A Layered Architecture for Reasoning with Uncertainty. IJCAI 1987: 891-898 - Enrique H. Ruspini:
Epistemic Logics, Probability, and the Calculus of Evidence. IJCAI 1987: 924-931 - Tamás Gergely, Zoltán Szabó:
Inductive Inference on the Base of Fixed Point Theory. IJCAI 1987: 932-938 - Peter Jackson, Han Reichgelt:
A General Proof Method for First-Order Modal Logic. IJCAI 1987: 942-944 - Tao Yang, Zhijun He, Ruizhao Yu:
Performance Evaluation of the Inference Structure in Expert System. IJCAI 1987: 945-950 - Alexander Reinefeld, T. Anthony Marsland:
A Quantitative Analysis of Minimal Window Search. IJCAI 1987: 951-954 - K. S. Natarajan:
Optimizing Backtrack Search for all Solutions to Conjunctive Problems. IJCAI 1987: 955-958 - Allen L. Brown Jr., Dale E. Gaucas, Dan Benanav:
An Algebraic Foundation for Truth Maintenance. IJCAI 1987: 973-980 - Didier Dubois, Jérôme Lang, Henri Prade:
Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. IJCAI 1987: 984-986 - Jieh Hsiang, Michaël Rusinowitch, Kô Sakai:
Complete Inference Rules for the Cancellation Laws. IJCAI 1987: 990-992 - Michael R. Lowry:
The Abstraction/Implementation Model of Problem Reformulation. IJCAI 1987: 1004-1010 - Robert A. Hummel, Larry M. Manevitz:
Combining Bodies of Dependent Information. IJCAI 1987: 1015-1017 - Keki B. Irani, Jie Cheng:
Subgoal Ordering and Goal Augmentation for Heuristic Problem Solving. IJCAI 1987: 1018-1024 - Can A. Baykan, Mark S. Fox:
An Investigation of Opportunistic Constraint Satisfaction in Space Planning. IJCAI 1987: 1035-1038 - Marcel Schoppers:
Universal Plans for Reactive Robots in Unpredictable Environments. IJCAI 1987: 1039-1046 - Theodore A. Linden, Jay Glicksman:
Contingency Planning for an Autonomous Land Vehicle. IJCAI 1987: 1047-1054 - Erik Sandewall:
The Pipelining Transformation on Plans for Manufacturing Cells with Robots. IJCAI 1987: 1055-1062 - Nicola Muscettola, Stephen F. Smith:
A Probabilistic Framework for Resource-Constrained Multi-Agent Planning. IJCAI 1987: 1063-1066 - Marc G. Slack, David P. Miller:
Path Planning Through Time and Space in Dynamic Domains. IJCAI 1987: 1067-1070 - Reid G. Simmons, Randall Davis:
Generate, Test and Debug: Combining Associational Rules and Causal Models. IJCAI 1987: 1071-1078 - Benjamin Kuipers, Charles Chiu:
Taming Intractible Branching in Qualitative Simulation. IJCAI 1987: 1079-1085 - Jack Mostow, K. Voigt:
Explicit Integration of Goals in Heuristic Algorithm Design. IJCAI 1987: 1090-1096 - Thomas M. Strat:
The Generation of Explanations within Evidential Reasoning Systems. IJCAI 1987: 1097-1104 - Hector Geffner, Judea Pearl:
An Improved Constraint-Propagation Algorithm for Diagnosis. IJCAI 1987: 1105-1111 - Dean Allemang, Michael C. Tanner, Tom Bylander, John R. Josephson:
Computational Complexity of Hypothesis Assembly. IJCAI 1987: 1112-1119
Robotics
- Jean-Paul Laumond:
Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile Robot. IJCAI 1987: 1120-1123 - Bernard Faverjon, Pierre Tournassoud:
The Mixed Approach for Motion Planning: Learning Global Strategies from a Local Planner. IJCAI 1987: 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. IJCAI 1987: 1138-1144 - Gary Silverman, Roger Y. Tsai, Mark Lavin:
Locating Polyhedral Objects from Edge Point Data. IJCAI 1987: 1149-1152 - Hugo Velthuijsen, Ben J. Lippolt, Jeanette C. Vonk:
A Parallel Blackboard System for Robot Control. IJCAI 1987: 1157-1161
Panels and Invited Talks
- Wolfgang Wahlster:
Pointing, Language and the Visual World: Towards Multimodal Input and Output for Natural Language Dialog Systems (Panel). IJCAI 1987: 1163 - Bruce G. Johnson:
The Commercialization of AI: Part 1. The User Viewpoint (Panel). IJCAI 1987: 1164-1165 - Harry C. Reinstein:
The Commercialization of AI: Part 2. The Vendor Viewpoint (Panel). IJCAI 1987: 1164-1165 - Jan Aikins:
The Commercialization of AI: Part 3. The Technology Challenge (Panel). IJCAI 1987: 1164-1165 - B. Chandrasekaran:
Towards a Functional Architecture for Intelligence Based on Generic Information Processing Tasks. IJCAI 1987: 1183-
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint