Frontiers of Combining Systems: First International Workshop, Munich, March 1996

Frontiers of Combining Systems: First International Workshop, Munich, March 1996
Format
Hardback
Publisher
Springer
Country
NL
Published
31 October 1996
Pages
388
ISBN
9780792342717

Frontiers of Combining Systems: First International Workshop, Munich, March 1996

The combination of formal systems and algorithms, their logical and algebraic background, as well as the general architecture of complex and interacting systems has recently become a very active research area. The First International Workshop Frontiers of Combining Systems created a common forum for the different research activities on this topic in the fields of logic, computer science, and artificial intelligence. Its main intention was to stimulate an interdisciplinary discussion that focuses on different aspects of the combination problem. This volume contains research papers that cover the combination of logics, the combination of constraint-solving techniques and decision procedures, the combination of deductive systems, the integration of data structures into Constraint Logic Programming formalisms, and logic modelling of multi-agent systems. These problems are addressed on different conceptual levels: from the investigation of formal properties of combined systems using methods of logic and mathematics to the consideration of physical connections and communication languages relevant for combination of software tools.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 4 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.