Skip to main content
SpringerLink
Log in

Methodologies for Intelligent Systems

8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Zbigniew W. Raś
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria Zemankova
    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 869)

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

Included in the following conference series:

Conference proceedings info: ISMIS 1994.

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 109.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. Efficient execution of recursive queries through controlled binding propagation

    • Sergio Greco, Carlo Zaniolo
    Pages 193-202

  2. Towards a dynamic multi-agent organization

    • Emmanuelle Le Strugeon, René Mandiau, GaËtan Libert
    Pages 203-212

  3. parcPlan: a planning architecture with parallel actions, resources and constraints

    • Jonathan Lever, Barry Richards
    Pages 213-222

  4. GAITS II: An intelligent system for computer-aided education

    • Mohamed Quafafou
    Pages 223-232

  5. The GLS discovery system: Its goal, architecture and current results

    • Ning Zhong, Setsuo Ohsuga
    Pages 233-244

  6. Declarative semantics for contradictory modular logic programs

    • Anastasia Analyti, Sakti Pramanik
    Pages 245-254

  7. LaTeR: a general purpose manager of temporal information

    • V. Brusoni, L. Console, B. Pernici, P. Terenziani
    Pages 255-264

  8. Understanding a story with causal relationships

    • Honghua Gan
    Pages 265-274

  9. Dealing with qualitative and quantitative temporal information concerning periodic events

    • Paolo Terenziani
    Pages 275-284

  10. Distributed multi-agent probabilistic reasoning with Bayesian networks

    • Yang Xiang
    Pages 285-294

  11. Building bridges between knowledge representation and algebraic specification

    • Jacques Calmet, Indra A. Tjandra
    Pages 295-304

  12. Turning an action formalism into a planner — Essentials of a case study

    • Joachim Hertzberg, Sylvie Thiébaux
    Pages 305-314

  13. Towards refinement of definite logic programs

    • Jan Komorowski, Silvia Trcek
    Pages 315-325

  14. Amphion: Automatic programming for scientific subroutine libraries

    • Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
    Pages 326-335

  15. RUTH: an ILP theory revision system

    • Hilde Adé, Bart Malfait, Luc De Raedt
    Pages 336-345

  16. Dynamic reducts as a tool for extracting laws from decisions tables

    • Jan G. Bazan, Andrzej Skowron, Piotr Synak
    Pages 346-355

  17. Learning first order theories

    • Marco Botta
    Pages 356-365

  18. Evaluation and enhancement of Bayesian rule-sets in a genetic algorithm learning environment for classification tasks

    • Christoph F. Eick, Ema Toto
    Pages 366-375

  19. Traps and pitfalls when learning logical definitions from relations

    • Floriana Esposito, Donato Malerba, Giovanni Semeraro, Clifford Brunk, Michael Pazzani
    Pages 376-385

  20. DBROUGH: A rough set based knowledge discovery system

    • Xiaohua Hu, Ning Shan, Nick Cercone, Wojciech Ziarko
    Pages 386-395
Back to top

Other volumes

  1. Methodologies for Intelligent Systems

Keywords

About this book

This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte, North Carolina, USA in October 1994.
Besides four invited contributions by renowned researchers on key topics, there are 56 full papers carefully selected from more than 120 submissions. The book presents the state of the art for methodologies for intelligent systems; the papers are organized in sections on approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation, methodologies, learning and adaptive systems, and logic for AI.

Bibliographic Information

  • Book Title: Methodologies for Intelligent Systems

  • Book Subtitle: 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings

  • Editors: Zbigniew W. Raś, Maria Zemankova

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-58495-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1994

  • Softcover ISBN: 978-3-540-58495-7Published: 28 September 1994

  • eBook ISBN: 978-3-540-49010-4Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 622

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation