Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge Logic programming, Constraint logic programming, Answer set programming Computational
4 KB (550 words) - 15:22, 19 October 2022
Event Series Acronym ILPS Title International Logic Programming Symposium Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List ILPS
292 bytes (28 words) - 14:31, 24 August 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2017-09-04 End Date
1 KB (175 words) - 14:09, 19 October 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2018-09-02 End Date
1 KB (185 words) - 14:09, 19 October 2022
Series Acronym FLOPS Title International Symposium on Functional and Logic Programming Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events
311 bytes (31 words) - 14:28, 24 August 2022
emphasis will be on functional and (constraint-)logic programming, but any programming language ideas that aim to raise the level of abstraction are welcome.
6 KB (769 words) - 12:03, 28 June 2023
Symposium on Functional and Logic Programming Event Series FLOPS - International Symposium on Functional and Logic Programming Start Date 2020-04-23 End
446 bytes (136 words) - 13:32, 19 October 2022
Acronym ILPS 2020 Title International Logic Programming Symposium Event Series ILPS - International Logic Programming Symposium Start Date 2020-04-23 End
424 bytes (130 words) - 14:10, 19 October 2022
International Conference on Logic for Programming, Artificial Intelligence and Reasoning Event Series LPAR - Logic Programming and Automated Reasoning Start
6 KB (891 words) - 15:21, 19 October 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2020-09-09 End Date
722 bytes (140 words) - 14:10, 19 October 2022
functional and logic programming languages to future multicore applications * extraction of parallelism from functional and logic programs * ways of specifying
4 KB (536 words) - 12:04, 28 June 2023
Series Acronym ALP Title International Conference on Algebraic and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events
309 bytes (22 words) - 14:24, 24 August 2022
theme for LPNMR?09 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR?09 aims
7 KB (1,079 words) - 15:23, 19 October 2022
International Conference on Logic Programming Ordinal 31 Event Series ICLP - International Conference on Logic Programming Start Date 2015-08-31 End Date
586 bytes (147 words) - 08:42, 9 October 2023
International Conference on Logic Programming Ordinal 30 Event Series ICLP - International Conference on Logic Programming Start Date 2014-07-19 End Date
586 bytes (149 words) - 08:45, 9 October 2023
International Conference on Logic Programming Ordinal 28 Event Series ICLP - International Conference on Logic Programming Start Date 2012-09-04 End Date
578 bytes (147 words) - 08:54, 9 October 2023
International Conference on Logic Programming Ordinal 32 Event Series ICLP - International Conference on Logic Programming Start Date 2016-10-16 End Date
573 bytes (152 words) - 08:37, 9 October 2023
International Conference on Logic Programming Ordinal 27 Event Series ICLP - International Conference on Logic Programming Start Date 2011-07-06 End Date
576 bytes (154 words) - 09:25, 9 October 2023
International Conference on Logic Programming Ordinal 29 Event Series ICLP - International Conference on Logic Programming Start Date 2013-08-24 End Date
567 bytes (146 words) - 08:49, 9 October 2023
International Conference on Logic Programming Ordinal 37 Event Series ICLP - International Conference on Logic Programming Start Date 2021-09-20 End Date
519 bytes (142 words) - 10:39, 9 October 2023
