• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Methodologies for Intelligent Systems: 7th International Symposium, Ismis'93, Trondheim, Norway, June 15-18, 1993. Proceedings

Methodologies for Intelligent Systems: 7th International Symposium, Ismis'93, Trondheim, Norway, June 15-18, 1993. Proceedings

Paperback

General Computers

ISBN10: 3540568042
ISBN13: 9783540568049
Publisher: Springer
Published: Jun 1 1993
Pages: 662
Weight: 2.05
Height: 1.36 Width: 6.14 Depth: 9.21
Language: English
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: On extended disjunctive logic programs (J. Minker, C. Ruiz), Towards intelligent databases (F. Bry), Methodologies for knowledge-based software engineering (M. Lowry), Modelling of industrial systems (L. Ljung), The many faces of inductive logic programming (L. De Raedt, N. Lavrac), and Systematic assessment of temporal reasoning methods for use in autonomous agents (E. Sandewall).

Also in

General Computers