Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

This volume captures the proceedings of a significant conference dedicated to the exploration of logic in programming and automated reasoning. Held in Tbilisi, Georgia, the gathering brought together leading minds in the field, fostering an environment of innovation and collaboration. With contributions from renowned authors, the discussions navigated various cutting-edge approaches and methodologies.

The conference provided a platform for researchers to present their latest findings, enhancing the understanding of logical frameworks and their applications in computational systems. Attendees engaged in discussions that pushed the boundaries of existing knowledge, encouraging the development of new techniques and theories.

Comprising a collection of rigorously reviewed papers, the book serves as an essential resource for both seasoned scholars and newcomers alike. It reveals the evolving landscape of logic programming and offers insights into emerging trends and technologies within the realm of automated reasoning.