"As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools. The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of re…
Get your feet wet in developing visual novels and take a guided tour through easy to follow tutorials using three of the most popular tools (Ren'Py, TyranoBuilder, and Twine). This book uses a two-pronged approach into the fine art of text-based games, showing you what makes for…
Get your feet wet in developing visual novels and take a guided tour through easy to follow tutorials using three of the most popular tools (Ren'Py, TyranoBuilder, and Twine). This book uses a two-pronged approach into the fine art of text-based games, showing you what makes for…
Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stim…
This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2032, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 papers and 3 short papers presented were carefully re…
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a tot…
The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It c…
Este libro tiene por objeto introducir a los estudiantes de Ingeniería Informática en los fundamentos y las principales técnicas desarrolladas en el campo de la Programación Lógica. -Específicamente, la obra va dirigida a alumnos de segundo o tercer curso de Ingeniería en Inform…
