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
concept "Events Logic Programming"RDF feed Events Logic Programming [[Category:Event]] [[Academic Field::Academic Field:Logic Programming]]
108 bytes (17 words) - 13:21, 24 August 2022
"Event Series Logic Programming"RDF feed Event Series Logic Programming [[Category:Event Series]] [[Academic Field::Academic Field:Logic Programming]]
121 bytes (20 words) - 13:21, 24 August 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
Symposium on Programming (ESOP) 2013 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
2 KB (269 words) - 08:06, 18 October 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
4 KB (539 words) - 14:38, 13 June 2023
computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics
3 KB (477 words) - 14:39, 13 June 2023
Symposium on Programming (ESOP) 2011 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (427 words) - 08:12, 18 October 2023
regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases (LID'08) symposium
5 KB (747 words) - 15:22, 19 October 2022
Symposium on Programming (ESOP) 2012 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (458 words) - 08:08, 18 October 2023
Symposium on Programming (ESOP) 2009 Programming paradigms and styles: functional programming, aspect-oriented programming, object-oriented programming, logic
3 KB (461 words) - 08:51, 18 October 2023
