Frontiers of Combining Systems
Subtitle: First International Workshop, Munich, March 1996
Publisher: Springer Netherlands
Published: 2014
Language: eng
Number of pages: 388
ISBN-13: 9789401066433
Subjects: Logic, symbolic and mathematical; Computer science
Description: This volume contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the different perspectives of logic, computer science, and artificial intelligence. The emphasis lies on logical systems, automated deduction, and constraint logic programming, but topics like computer algebra systems and the logic modeling of multi-agent systems are also addressed.