Methods Software Verification Logic Programming Automation Theory Events List ICLP 2009 2009-07-14 → 2009-07-17 Logic Programming
104 bytes (44 words) - 11:28, 20 October 2022
Science Logic Programming ICLP 2022 2022-07-31 → 2022-08-06 Computer Science Logic Programming ICLP 2021 2021-09-20 → 2021-09-27 Computer Science Logic Programming
667 bytes (253 words) - 10:37, 9 October 2023
Conference on Logic Programming Computer Science Logic Programming Events List ICLP 2023 2023-07-09 → 2023-07-15 Computer Science Logic Programming ICLP 2022
72 bytes (43 words) - 07:26, 9 October 2023
Conference on Logic Programming Logic ILP - International Conference on Inductive Logic Programming Logic LICS - IEEE Symposium on Logic in Computer Science
39 bytes (418 words) - 13:36, 24 August 2022
Computer Science CSL - Annual Conference on Computer Science Logic Computer Science Logic CSR - Computer Science Symposium in Russia Computer Science DCC
104 bytes (874 words) - 09:08, 12 September 2022
Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory Events
71 bytes (22 words) - 07:17, 13 March 2023
Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory Events
104 bytes (33 words) - 11:09, 19 October 2022
Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory GECCO - Conference on Genetic and Evolutionary Computations
104 bytes (503 words) - 12:55, 20 October 2022
Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory MEMOCODE - International Conference on Formal Methods
110 bytes (346 words) - 16:55, 20 October 2022
Types Modes Programming Techniques Related Paradigms Abductive Logic Programming Inductive Logic Programming Constraint Logic Programming Answer-Set Programming
6 KB (720 words) - 09:39, 9 October 2023
Acronym ILP Title International Conference on Inductive Logic Programming Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank B Maintainer
332 bytes (70 words) - 14:31, 24 August 2022
Formal Methods Recurrence Unit year Academic Field Automation Theory, Logic Programming, Neural Networks, Software Verification, Computer Science, Formal Methods
573 bytes (308 words) - 09:00, 17 August 2023
International Conference on Logic Programming Ordinal 39 Event Series ICLP - International Conference on Logic Programming Start Date 2023-07-09 End Date
597 bytes (172 words) - 10:38, 9 October 2023
ILP - International Conference on Inductive Logic Programming FCCM - IEEE Symposium on Field Programmable Custom Computing Machines ECKM - European Conference
393 bytes (14 words) - 11:24, 24 November 2022
Event Series Acronym LPAR Title Logic Programming and Automated Reasoning Academic Field Artificial Intelligence Related Identifiers CORE Rankings Year
332 bytes (45 words) - 14:33, 24 August 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2009-07-02 End Date
4 KB (633 words) - 15:22, 19 October 2022
International Conference on Logic Programming Ordinal 38 Event Series ICLP - International Conference on Logic Programming Start Date 2022-07-31 End Date
628 bytes (163 words) - 10:39, 9 October 2023
presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning
6 KB (963 words) - 14:45, 19 October 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2019-09-03 End Date
950 bytes (156 words) - 14:10, 19 October 2022
Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory FMICS - International Workshop on Formal Methods
82 bytes (1,026 words) - 06:51, 20 October 2022
