Skip to main content
SpringerLink
Log in

Methodologies for Intelligent Systems

7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Jan Komorowski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zbigniew W. Raś
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 689)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ISMIS 1993.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (60 papers)

  1. Front Matter

    Download chapter PDF

  2. On extended disjunctive logic programs

    • Jack Minker, Carolina Ruiz
    Pages 1-18

  3. Model finding strategies in semantically guided instance-based theorem proving

    • Heng Chu, David A. Plaisted
    Pages 19-28

  4. An expressive three-valued logic with two negations

    • Douglas R. Busch
    Pages 29-38

  5. Compiling proof search in semantic tableaux

    • Joachim Posegga
    Pages 39-48

  6. Short CNF in finitely-valued logics

    • Reiner Hähnle
    Pages 49-58

  7. Defining variants of default logic: A modal approach

    • Laura Giordano
    Pages 59-68

  8. An admissible heuristic search algorithm

    • Li-Yen Shue, Reza Zamani
    Pages 69-75

  9. Building an expert system language interpreter with the rule network technique

    • Shie-Jue Lee, Chih-Hung Wu
    Pages 76-85

  10. Input-driven control of rule-based expert systems

    • Gabriel Valiente Feruglio
    Pages 86-95

  11. Case-based planning for medical diagnosis

    • Beatriz López, Enric Plaza
    Pages 96-105

  12. MethoDex: A methodology for Expert Systems development

    • J. P. Klut, J. H. P. Eloff
    Pages 106-115

  13. Towards intelligent databases

    • François Bry
    Pages 116-131

  14. Combining classification and nonmonotonic inheritance reasoning: A first step

    • Lin Padgham, Bernhard Nebel
    Pages 132-141

  15. Mechanical proof systems for logic II, consensus programs and their processing

    • Helena Rasiowa, V. Wiktor Marek
    Pages 142-151

  16. The logic of only knowing as a unified framework for non-monotonic reasoning

    • Jianhua Chen
    Pages 152-161

  17. Terminological logic involving time and evolution: A preliminary report

    • Patrick Lambrix, Ralph Rönnquist
    Pages 162-171

  18. Knowledge management by example

    • Levent V. Orman
    Pages 172-185

  19. System reorganization and load balancing of parallel database rule processing

    • Hasanat M. Dewan, Salvatore J. Stolfo
    Pages 186-197

  20. Using semantic information for processing negation and disjunction in logic programs

    • Terry Gaasterland, Jorge Lobo
    Pages 198-208
Back to top

Other volumes

  1. Methodologies for Intelligent Systems

Keywords

About this book

This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).

Bibliographic Information

  • Book Title: Methodologies for Intelligent Systems

  • Book Subtitle: 7th International Symposium, ISMIS'93, Trondheim, Norway, June 15-18, 1993. Proceedings

  • Editors: Jan Komorowski, Zbigniew W. Raś

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-56804-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-56804-9Published: 01 June 1993

  • eBook ISBN: 978-3-540-47750-1Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 662

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation