International Conference on Logic Programming Ordinal 33 Event Series ICLP - International Conference on Logic Programming Start Date 2017-08-28 End Date
573 bytes (146 words) - 08:31, 9 October 2023
International Conference on Logic Programming Ordinal 36 Event Series ICLP - International Conference on Logic Programming Start Date 2020-09-18 End Date
584 bytes (158 words) - 10:39, 9 October 2023
International Conference on Logic Programming Ordinal 26 Event Series ICLP - International Conference on Logic Programming Start Date 2010-07-16 End Date
580 bytes (162 words) - 09:35, 9 October 2023
DevelopmentProgram AnalysisProgram DebuggingProgrammingProgramming AbstractionsProgramming LanguageProgramming Language DesignProgramming ModelsProgramming Pa
305 bytes (1,165 words) - 16:17, 2 February 2023
International Conference on Logic Programming Ordinal 35 Event Series ICLP - International Conference on Logic Programming Start Date 2019-09-20 End Date
611 bytes (173 words) - 10:39, 9 October 2023
International Conference on Logic Programming Ordinal 34 Event Series ICLP - International Conference on Logic Programming Start Date 2018-07-14 End Date
611 bytes (177 words) - 10:39, 9 October 2023
International Conference on Logic for Programming, Artificial Intelligence and Reasoning Event Series LPAR - Logic Programming and Automated Reasoning Start
572 bytes (143 words) - 14:13, 19 October 2022
ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms. - Relating
5 KB (735 words) - 14:45, 19 October 2022
emphasis will be on functional and logic programming, but any programming language ideas that aim to raise the level of abstraction are welcome. DAMP seeks to
6 KB (798 words) - 12:03, 28 June 2023
Event Series Acronym PLILP Title Symposium on Programming Language Implementation and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank
322 bytes (23 words) - 14:34, 24 August 2022
Event Series Acronym LPMA Title International Workshop on Logic Programming and Multi-Agents Related Identifiers CORE Rankings Year 2018 Rank B Maintainer
311 bytes (23 words) - 14:33, 24 August 2022
Principles of Programming Languages (POPL 2009). The emphasis will be on functional and (constraint-)logic programming, but any programming language ideas
3 KB (369 words) - 12:02, 28 June 2023
Event Acronym LPNMR 2017 Title 14th International Conference on Logic Programming and Nonmonotonic Reasoning Event Series Event Series:LPNMR Start Date
1 KB (160 words) - 15:48, 15 December 2022
ERCIM/CSCLP Title ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events
334 bytes (26 words) - 14:28, 24 August 2022
complexity, logical frameworks, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic
2 KB (408 words) - 15:23, 19 October 2022
Relational Learning * ILP-2009 - 19th International Conference on Inductive Logic Programming * MLG-2009 - 7th International Workshop on Mining and Learning with
4 KB (639 words) - 15:26, 19 October 2022
formalizing knowledge using two-valued logics like Description Logics or Logic Programming. However, fuzzy logic is inherently better suited for expressing
5 KB (745 words) - 14:56, 19 October 2022
multiple-valued logic, including but not limited to: Algebraic and Formal Aspects Automatic Reasoning Communication Systems Data Mining Image Processing Logic Programming
2 KB (386 words) - 15:22, 19 October 2022
LOPSTR Title International Symposium on Logic-based Program Synthesis and Transformation Academic Field Logic Related Identifiers CORE Rankings Year 2018
350 bytes (68 words) - 14:32, 24 August 2022
Artificial Intelligence Artificial Intelligence Computer Science LPAR - Logic Programming and Automated Reasoning Artificial Intelligence MAMI - International
104 bytes (4,594 words) - 09:45, 1 September 2022
