Overview: This volume contains papers selected for presentation at theSeventhInternational Symposium on Methodologies forIntelligent Systems (ISMIS ‘93), held at the NorwegianInstitute of Technology, Trondheim, Norway, inJune 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logicforartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning and adaptivesystems, methodologies, knowledgerepresentation, and manufacturing.Theinvited talks are: "On extended disjunctive logicprograms"
|