Frontiers of Combining Systems: First International Workshop, Munich, March 1996 Hardcover - 1996
by F. Baader (Editor); K. U. Schulz (Editor)
From the rear cover
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 modeling 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.
Details
- Title Frontiers of Combining Systems: First International Workshop, Munich, March 1996
- Author F. Baader (Editor); K. U. Schulz (Editor)
- Binding Hardcover
- Edition First printing
- Pages 388
- Volumes 1
- Language ENG
- Publisher Springer, Dordrecht
- Date 1996-10
- ISBN 9780792342717 / 0792342712
- Library of Congress Catalog Number 96042119
- Dewey Decimal Code 005.1
More Copies for Sale
Frontiers of Combining Systems: First International Workshop, Munich, March 1996 (Applied Logic Series, Vol. 3)
by Baader, Franz and Klaus U. Schulz (editors)
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780792342717 / 0792342712
- Quantity Available
- 1
- Seller
-
Stow, Ohio, United States
- Item Price
-
A$284.75A$8.45 shipping to USA