Title: Frontiers of Combining Systems
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.
Subjects: Computational linguistics, Logic, Artificial Intelligence (incl. Robotics), Computer science, Software engineering, Algebra, Data processing, Artificial intelligence, Software Engineering/Programming and Operating Systems, Symbolic and Algebraic Manipulation