


Остановите войну!
for scientists:


default search action
10th 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 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