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: qOn extended disjunctive logic programsq (J. Minker, C. Ruiz), qTowards intelligent databasesq (F. Bry), qMethodologies for knowledge-based software engineeringq (M. Lowry), qModelling of industrial systemsq (L. Ljung), qThe many faces of inductive logic programmingq (L. De Raedt, N. Lavrac), and qSystematic assessment of temporal reasoning methods for use in autonomous agentsq (E. Sandewall).After the compilation, the last action of ruleOOl is performed and (cars cheap) is inserted into the knowledge base and the rule network is updated. We can see ... CLIPS Usera#39;s Guide, Reference Manual, and Architecture Manual, May 1989. 2.
|Title||:||Methodologies for Intelligent Systems|
|Author||:||Jan Komorowski, Zbigniew W. Ras|
|Publisher||:||Springer - 1993-06-01|