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…
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: 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
Logic programming: proceedings of the fifth international conference…
by IEEE Computer Society, Kowalski, Robert, Association for Logic Programming, Bowen, Kenneth A., International Conference on Logic Programming, University of Washington, Seattle), Symposium on Logic Programming, University of Washington, Seattle)
fromMIT Press series in logic programming
Logic programming: proceedings of the fifth international conference…
by IEEE Computer Society, Kowalski, Robert, Association for Logic Programming, Bowen, Kenneth A., International Conference on Logic Programming, University of Washington, Seattle), Symposium on Logic Programming, University of Washington, Seattle)
fromMIT Press series in logic programming