- LOPSTR Title International Symposium on Logic-based Program Synthesis and Transformation Academic Field Logic Related Identifiers CORE Rankings Year 2018350 bytes (68 words) - 14:32, 24 August 2022
- International Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory Events71 bytes (22 words) - 07:17, 13 March 2023
- Academic Field Event Series Events List M4M-6 2009-11-12 → 2009-11-14 Modal Logic39 bytes (16 words) - 13:42, 24 August 2022
- LaSh 2016 2016-10-17 → 2016-10-17 Artificial Intelligence Computer Science Logic Knowledge Representation KR 2016 2016-05-04 → 2016-09-04 Knowledge Representation104 bytes (256 words) - 11:08, 20 October 2022
- 2016 2016-11-14 → 2016-11-16 Artificial Intelligence Automated Reasoning Logic-Based Knowledge Represen IJCAR 2016 2016-06-27 → 2016-02-07 Automated Reasoning104 bytes (139 words) - 11:03, 19 October 2022
- Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory Events104 bytes (33 words) - 11:09, 19 October 2022
- Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory GECCO - Conference on Genetic and Evolutionary104 bytes (503 words) - 12:55, 20 October 2022
- Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory MEMOCODE - International Conference on Formal110 bytes (346 words) - 16:55, 20 October 2022
- Annual Conference on Computer Science Logic Ordinal 24 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2015-09-07 End Date 2015-09-102 KB (247 words) - 07:40, 7 August 2023
- higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logical frameworks, logics in artificial2 KB (408 words) - 15:23, 19 October 2022
- computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics4 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 semantics3 KB (477 words) - 14:39, 13 June 2023
- BMVC - British Machine Vision Conference IWLS - International Workshop on Logic and Synthesis LSSC - International Conference on Large-Scale Scientific Computations393 bytes (14 words) - 11:24, 24 November 2022
- equational logic and rewriting finite model theory higher-order logic lambda calculus and combinatory logic linear logic and other substructural logics logic5 KB (653 words) - 12:46, 4 August 2023
- Programming Techniques Related Paradigms Abductive Logic Programming Inductive Logic Programming Constraint Logic Programming Answer-Set Programming Applications:6 KB (720 words) - 09:39, 9 October 2023
- Conference on Implementation and Application of Automata Academic Field Logic Related Identifiers DBLP Series ID wia Wikidata Series ID Q5159944 WikiCFP461 bytes (79 words) - 14:26, 24 August 2022
- History of Logic Academic Field Philosophy of Science Related Identifiers Maintainer Events List 2nd Pan-American Symposium on the History of Logic - Existence164 bytes (42 words) - 15:33, 28 October 2022
- Event Series Acronym IWLS Title International Workshop on Logic and Synthesis Recurrence Period 1 Recurrence Unit year Academic Field Integrated Circuit279 bytes (266 words) - 09:28, 29 September 2022
- Description logics - Non-monotonic reasoning - Specification using logics - Logic in artificial intelligence - Lambda calculus - Constructive logic and type6 KB (891 words) - 15:21, 19 October 2022
- on Formal Methods Recurrence Unit year Academic Field Automation Theory, Logic Programming, Neural Networks, Software Verification, Computer Science, Formal573 bytes (308 words) - 09:00, 17 August 2023