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.