This volume contains papers selected for presentation at theSeventh International Symposium on Methodologies forIntelligent Systems (ISMIS '93), held at the NorwegianInstitute of Technology, Trondheim, Norway, in June 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logic forartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: qOn extended disjunctive logicprogramsq (J. Minker, C. Ruiz), qTowards intelligentdatabasesq (F. Bry), qMethodologies for knowledge-basedsoftware engineeringq (M. Lowry), qModelling of industrialsystemsq (L. Ljung), qThe many faces of inductive logicprogrammingq (L. De Raedt, N. Lavrac), and qSystematicassessment of temporal reasoning methods for use inautonomous 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.
|Publisher||:||Springer Verlag - 1993|