This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all as…
There are many applications where we wish to reason about spatio-temporal aspects of an agent’s behavior. This dissertation examines several facets of this type of reasoning. First, given a model of past agent behavior, we wish to reason about the probability that an agent takes…
Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This …
The logic-programming paradigm is a prime example of how the integration of the declarative and the operational aspects of logical systems can be used to provide a unied framework for both specication and programming languages. In essence, programming in logic amounts to giving …
Logic Programming has began in the early 1970's as a direct outgrowth of earlier work in automatic theorem proving and artificial intelligence. The ideal of logic programming is purely declarative programming. This means that it brings to the programmer the benefit of only havin…
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (I…
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (I…
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019. The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductiv…
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019. The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductiv…
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019. The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductiv…
Logic programming, knowledge representation, and nonmonotonic reasoning: essays dedicated to Michael Gelfond on the occasi…
by Balduccini, Marcello, Son, Tran Cao, Gelfond, Michael, Symposium on Constructive Mathematics in Computer Science, Lexington, Ky.)
fromLecture Notes in Computer Science
This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer…
Logic programming: proceedings of the fifth international conference…
by Bowen, Kenneth A., International Conference on Logic Programming, University of Washington, Seattle), Symposium on Logic Programming, University of Washington, Seattle), Kowalski, Robert A., Association for Logic Programming, IEEE Computer Society
fromMIT Press series in logic programming