Methodologies for Intelligent Systems

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

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.

• artificial intelligence
• evolution
• evolutionary computation
• information system
• intelligent systems
• knowledge
• knowledge representation
• learning
• logic

Policies and ethics