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. 2-8George Dayantis:
Logic Program Derivation for a Class of First Order Logic Relations. 9-14Bertram Fronhöfer:
PLANLOG: A Language Framework for the Integration of Procedural and Logical Programming. 15-17Pierre E. Bonzon:
An Environment Model for the Integration of Logic and Functional Programming. 18-23Susumu Yamasaki:
A Network of Communicating Logic Programs and Its Semantics. 24-29Hans W. Guesgen, Ulrich Junker, Angi Voß:
Constraints in a Hybrid Knowledge Representation System. 30-33Herman Iline, Henry Kanoui:
Extending Logic Programming to Object Programming: The System Lap. 34-39Jean-Pierre Briot, Pierre Cointe:
A Uniform Model for Object-Oriented Languages Using the Class Abstraction. 40-43Robert Ghislanzoni, Luca Spampinato, Giorgio Tornielli:
Reflection as a Tool for Integration: An Exercise in Procedural Introspection. 44-47Michael Ratcliffe, Jean-Claude Syre:
A Parallel Logic Programming Language for PEPSys. 48-55Michael van Biema:
Parallelism in LISP. 56-61Ching-Chi Hsu, Shao-Ming Wu, Jan-Jan Wu:
A Distributed Approach for Inferring Production Systems. 62-67Giorgio Montini:
Efficiency Considerations on Built-in Taxonomic Reasoning in PROLOG. 68-75Yoshiyuki Koseki:
Amalgamating Multiple Programming Paradigms in PROLOG. 76-82Marc Eisenstadt, Mike Brayshaw:
Graphical Debugging with the Transparent PROLOG Machine (TPM). 83-86Damian Black, John Manley:
A Logic-based Architecture for Knowledge Management. 87-90Xuejun Tong, Zhijun He, Ruizao Yu:
A Tool for Building Second Generation Expert Systems. 91-96Hans-Werner Hein, Gert M. Kellerman, Christoph G. Thomas:
X-AiD: A Shell for Building Highly Interactive and Adaptive User Interfaces. 97-99Thomas 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-108Kristian J. Hammond:
Explaining and Repairing Plans that Fail. 109-114Edward Hoenkamp:
An Analysis of Psychological Experiments on Non-Monotonic Reasoning. 115-117Yorick Wilks, Afzal Ballim:
Multiple Agents and the Heuristic Ascription of Belief. 118-124Uri Zernik:
Language Acquisition: Learning a Hierarchy of Phrases. 125-132Uri Zernik:
Learning Idioms - With and Without Explanation. 133-136James H. Martin:
Understanding New Metaphors. 137-139Sandra L. Peters, Stuart C. Shapiro:
A Representation for Natural Category Systems. 140-146Michael J. Pazzani, Michael G. Dyer:
A Comparison of Concept Identification in Human Learning and Network Learning with the Generalized Delta Rule. 147-150James A. Hendler:
Marker-Passing and Microfeatures. 151-154Lisa F. Rau:
Spontaneous Retrieval in a Conceptual Information System. 155-162Donald Perlis:
How Can a Program Mean? 163-166Joost Breuker, Radboud Winkels, Jacobijn Sandberg:
A Shell for Intelligent Help Systems. 167-173Robert G. Farrell:
Intelligent Case Selection and Presentation. 174-176Gerhard Fischer:
A Critic for LISP. 177-184Michelle Baker, Mark H. Burstein, Allan M. Collins:
Implementing a Model of Human Plausible Reasoning. 185-188Beverly Park Woolf, Thomas J. Murray:
A Framework for Representing Tutorial Discourse. 189-193
Knowledge Acquisition
Susan L. Epstein:
On the Discovery of Mathematical Theorems. 194-197Bernd Nordhausen, Pat Langley:
Towards an Integrated Discovery System. 198-200Joachim Diederich:
Knowledge-based Knowledge Elicitation. 201-204Shankar A. Rajamoney, Gerald DeJong:
The Classification, Detection and Handling of Imperfect Theory Problems. 205-207Werner Emde:
Non-Cumulative Learning in METAXA.3. 208-210Robert E. Stepp:
Concepts in Conceptual Clustering. 211-213B. Shekar, M. Narasimha Murty, G. Krishna:
Pattern Clustering: An Artificial Intelligence Approach. 214-216Stewart W. Wilson:
Hierarchical Credit Allocation in a Classifier System. 217-220Haym Hirsh:
Explanation-based Generalization in a Logic-Programming Environment. 221-227Steven Minton, Jaime G. Carbonell:
Strategies for Learning Search Control Rules: An Explanation-based Approach. 228-235Jude W. Shavlik, Gerald DeJong:
An Explanation-based Approach to Generalizing Number. 236-238Scott Bennett:
Approximation in Mathematical Domains. 239-241Alberto Maria Segre:
On the Operationality/Generality Trade-off in Explanation-based Learning. 242-248Jack Mostow, Neeraj Bhatnagar:
Failsafe - A Floor Planner that Uses EBG to Learn from Its Failures. 249-255D. Paul Benjamin:
Learning Strategies by Reasoning about Rules. 256-259Brian Falkenhainer:
An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning. 260-263Todd R. Davies, Stuart J. Russell:
A Logical Approach to Reasoning by Analogy. 264-270Yves Kodratoff, Gheorghe Tecuci:
DISCIPLE-1: Interactive Apprentice System in Weak Theory Fields. 271-273Andrea Pohoreckyj Danyluk:
The Use of Explanations for Similarity-based Learning. 274-276Michael J. Pazzani, Michael G. Dyer, Margot Flowers:
Using Prior Learning to Facilitate the Learning of New Causal Theories. 277-279Ranan B. Banerji:
Learning in the Limit in a Growing Language. 280-282Takashi Yokomori:
Inductive Inference of Context-free Languages - Context-free Expression Method. 283-286Stephen Muggleton:
Duce, An Oracle-based Approach to Constructive Induction. 287-292Larry Watanabe, Renee Elio:
Guiding Constructive Induction for Incremental Learning from Examples. 293-296K. S. Murray:
Multiple Convergence: An Approach to Disjunctive Concept Acquisition. 297-300Chris Thornton:
Hypercuboid-Formation Behaviour of Two Learning Algorithms. 301-303J. Ross Quinlan:
Generating Production Rules from Decision Trees. 304-307Larry A. Rendell, Raj Sheshu, David K. Tcheng:
Layered Concept-Learning and Dynamically Variable Bias Management. 308-314James P. Delgrande:
A Formal Approach to Learning From Examples. 315-322Guy E. Blelloch, Charles R. Rosenberg:
Network Learning on the Connection Machine. 323-326David M. Steier:
CYPRESS-Soar: A Case Study in Search and Learning in Algorithm Design. 327-330Thomas Leo McCluskey:
Combining Weak Learning Heuristics in General Problem Solvers. 331-333Andrew R. Golding, Paul S. Rosenbloom, John E. Laird:
Learning General Search Control from Outside Guidance. 334-337Walter L. Hill:
Machine Learning for Software Reuse. 338-344Jean-Gabriel Ganascia:
CHARADE: A Rule System Learning System. 345-347Michel Manago, Yves Kodratoff:
Noise and Knowledge Acquisition. 348-354Gary S. Kahn:
From Application Shell to Knowledge Acquisition System. 355-358Atsuo Kawaguchi, Riichiro Mizoguchi, Takahira Yamaguchi, Osamu Kakusho:
SIS: A Shell for Interview Systems. 359-361Nancy 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-372Jane Terry Nutter:
Uncertainty and Probability. 373-379Hon Wai Chun, Lawrence A. Bookman, Niki Afshartous:
Network Regions: Alternatives to the Winner-Take-All Structure. 380-387Yoav Shoham:
Nonmonotonic Logics: Meaning and Utility. 388-393Kurt Konolige:
On the Relation Between Default Theories and Autoepistemic Logic. 394-400Gerhard Lakemeyer:
Tractable Meta-Reasoning in Propositional Logics of Belief. 401-408Kenneth D. Forbus:
The Logic of Occurrence. 409-415Devika Subramanian, Michael R. Genesereth:
The Relevance of Irrelevance. 416-422James P. Delgrande:
A Logic for Representing Default and Prototypical Properties. 423-429Kenneth D. Forbus, Paul Nielson, Boi Faltings:
Qualitative Kinematics: A Framework. 430-435Boi Faltings:
Qualitative Kinematics in Mechanisms. 436-442Padraig Cunningham:
Qualitative Reasoning in Electronic Fault Diagnosis. 443-445Joyce P. McDowell, Kathleen Dahlgren:
Commonsense Reasoning with Verbs. 446-448Brian A. Haugh:
Non-Standard Semantics for the Method of Temporal Arguments. 449-455Edward P. K. Tsang:
Time Structures for AI. 456-461Peter B. Ladkin:
The Completeness of a Natural System for Reasoning with Time Intervals. 462-465Peter Raulefs:
A Representation Framework for Continuous Dynamic Systems. 466-471Krishna Kumar, Amitabha Mukerjee:
Temporal Event Conceptualization. 472-475David S. Touretzky, John F. Horty, Richmond H. Thomason:
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. 476-482Gerhard Brewka:
The Logic of Inheritance in Frame Systems. 483-488David W. Etherington:
Relating Default Logic and Circumscription. 489-494David W. Etherington:
A Semantics for Default Logic. 495-498Michael J. Miller, Donald Perlis:
Proving Facts about "|". 499-501Philip Schaefer:
Belief Functions for Real-Time Script Processing. 502-508Peter Schefe:
On Definitional Processes in Knowledge Reconstruction Systems. 509-511Stanley Letovsky:
Program Understanding with the Lambda Calculus. 512-514Alan M. Frisch:
Inference without Chaining. 515-519Jerry R. Hobbs, Paul A. Martin:
Local Pragmatics. 520-523Ajay Gupta:
Hardware Diagnosis as Program Debugging. 524-526Robert Mathonet, Herwig Van Cotthem, Leon Vanryckeghem:
DANTES: An Expert System for Real-Time Network Troubleshooting. 527-530Jeff Pepper, Gary S. Kahn:
Repair Strategies in a Diagnostic Expert System. 531-534Leo B. Hartman, Josh D. Tenenberg:
Performance in Practical Problem Solving. 535-540M. Bouissou, N. Villatte:
Drastic Cut of Man's Work in Reliability Studies by Using an Expert System. 541-544James Geller, Stuart C. Shapiro:
Graphical Deep Knowledge for Intelligent Machine Drafting. 545-551Agustin A. Araya, Sanjay Mittal:
Compiling Design Plans from Descriptions of Artifacts and Problem Solving Heuristics. 552-558David Klein, Timothy W. Finin:
What's in a Deep Model? A Characterization of Knowledge Depth in Intelligent Safety Systems. 559-562Mihai Barbuceanu, Stefan Trausan-Matu, Bálint Molnár:
Integrating Declarative Knowledge Programming Styles and Tools in a Structured Object AI Environment. 563-568Paul McKevitt, Yorick Wilks:
Transfer Semantics in an Operating System Consultant: The Formalization of Actions Involving Object Transfer. 569-575M. Cristina Bena, Giorgio Montini, Franco Sirovich:
Planning and Executing Office Procedures in Project ASPERA. 576-583Robin S. Stanton, Hugh G. Mackenzie:
Deduction-based Region-Use Planning. 584-587Suzanne Pinson:
A Multi-Attribute Approach to Knowledge Representation for Loan Granting. 588-591Kathryn M. Chalfan:
An Integration Tool for Life-Cycle Engineering. 592-595David 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-610Lawrence A. Bookman:
A Microfeature-based Scheme for Modelling Semantics. 611-614Andrew R. Haas:
Parallel Parsing for Unification Grammars. 615-618Lin-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-621Massimo Poesio, Claudio Rullent:
Modified Caseframe Parsing for Speech Understanding Systems. 622-625Cécile Paris:
Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert Spectrum. 626-632Jean Véronis:
Discourse Consistency and Many-Sorted Logic. 633-635Julia Hirschberg, Diane J. Litman, Janet B. Pierrehumbert, G. Ward:
Intonation and the Intentional Structure of Discourse. 636-639Douglas E. Appelt, Amichai Kronfeld:
A Computational Model of Referring. 640-647Barbara Di Eugenio, Leonardo Lesmo:
Representation and Interpretation of Determiners in Natural Language. 648-654Gerard Kempen:
A Framework for Incremental Syntactic Tree Formation. 655-660Nicholas J. Haddock:
Incremental Interpretation and Combinatory Categorial Grammar. 661-663Kôiti Hasida, Syun Isizaki:
Dependency Propagation: A Unified Theory of Sentence Comprehension and Generation. 664-670Yuji Matsumoto, Ryôichi Sugimura:
A Parsing System Based on Logic Programming. 671-674Paul S. Jacobs:
A Knowledge Framework for Natural Language Analysis. 675-678Yiming Yang:
Combining Prediction, Syntactic Analysis and Semantic Analysis in Chinese Sentence Analysis. 679-681Galina Datskovsky Moerdler, Kathleen R. McKeown, J. Robert Ensor:
Building Natural Language Interfaces for Rule-based Expert Systems. 682-687John J. Granacki Jr., Alice C. Parker, Yigal Arens:
Understanding System Specifications Written in Natural Language. 688-691Tomasz Ksiezyk, Ralph Grishman, John Sterling:
An Equipment Model and its Role in the Interpretation of Noun Phrases. 692-695Michael G. Dyer, Margot Flowers, Jack Hodges:
Naive Mechanics Comprehension and Invention in EDISON. 696-699K. Valkonen, Harri Jäppinen, Aarno Lehtola:
Blackboard-based Dependency Parsing. 700-702Ted Briscoe, Claire Grover, Branimir Boguraev, John A. Carroll:
A Formalism and Environment for the Development of a Large Grammar of English. 703-708Jean-Louis Binot, Karen Jensen:
A Semantic Expert Using an Online Standard Dictionary. 709-714Cheng-ming Guo:
Interactive Vocabulary Acquisition in XTRA. 715-717Masaru Tomita, Jaime G. Carbonell:
The Universal Parser Architecture for Knowledge-based Machine Translation. 718-721Hideto Tomabechi:
Direct Memory Access Translation. 722-727
Perception
Margaret M. Fleck:
Representing Space for Practical Reasoning. 728-730