- Conference on Logic Programming Logic ILP - International Conference on Inductive Logic Programming Logic LICS - IEEE Symposium on Logic in Computer Science39 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 DCC104 bytes (874 words) - 09:08, 12 September 2022
- Computer Science Logic CSL 2023 2023-02-13 → 2023-02-16 Computer Science Logic CSL 2022 2022-02-14 → 2022-02-19 Computer Science Logic CSL 2021 2021-01-25 → 2021-01-28668 bytes (448 words) - 14:38, 13 June 2023
- 2014-07-14 → 2014-07-18 Logic LICS 2013 2013-06-25 → 2013-06-28 Logic LICS 2012 2012-06-25 → 2012-06-28 Logic LICS 2011 2011-06-21 → 2011-06-24 Logic LICS 2010 20388 bytes (341 words) - 14:32, 24 August 2022
- Formal Methods Software Verification Logic Programming Automation Theory Events List ICLP 2009 2009-07-14 → 2009-07-17 Logic Programming104 bytes (44 words) - 11:28, 20 October 2022
- Inverse Problems Mathematics Colloquium Logicum Mathematics Mathematical Logic DMV-Jahrestagung Mathematics ECM - European Congress of Mathematics Mathematics82 bytes (717 words) - 11:48, 20 October 2022
- Event Series List CSL - Annual Conference on Computer Science Logic Computer Science Logic Events72 bytes (18 words) - 09:32, 13 June 2023
- 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 Programming667 bytes (253 words) - 10:37, 9 October 2023
- tocsLinked DataLinked Open DataLinuxLiteratureLogicLogic ProgrammingLogic-Based Knowledge RepresenLogicsLogisticsLoop OptimizationLoop ParallelizationLow305 bytes (1,165 words) - 16:17, 2 February 2023
- Conference on Logic Programming Computer Science Logic Programming Events List ICLP 2023 2023-07-09 → 2023-07-15 Computer Science Logic Programming ICLP72 bytes (43 words) - 07:26, 9 October 2023
- Event Series Acronym AiML Title Advances in Modal Logic Recurrence Unit year Academic Field Logic Official Website http://www.aiml.net/ Related Identifiers410 bytes (152 words) - 14:24, 24 August 2022
- 2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic117 bytes (32 words) - 06:57, 20 October 2022
- Academic Field Event Series Events39 bytes (5 words) - 08:35, 4 April 2023
- 2016 2016-11-14 → 2016-11-16 Artificial Intelligence Automated Reasoning Logic-Based Knowledge Represen39 bytes (22 words) - 14:07, 24 August 2022
- 2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic VAAM 2016 2016-12-04 → 2016-12-04 Computer Vision Image Processing Machine104 bytes (305 words) - 15:19, 20 October 2022
- Pan-American Symposium on the History of Logic Philosophy of Science Events List 2nd Pan-American Symposium on the History of Logic - Existence and Nonexistence114 bytes (67 words) - 13:36, 8 September 2022
- 2016-12-19 → 2016-12-21 Machine Learning Pattern Recognition Soft Computing Fuzzy Logic AECIA 2016 2016-11-21 → 2016-11-23 Computer Science Data Mining Machine Learning104 bytes (89 words) - 12:36, 21 October 2022
- Acronym ILP Title International Conference on Inductive Logic Programming Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank B Maintainer332 bytes (70 words) - 14:31, 24 August 2022
- for Mathematical Logic and for Basic Research in the Exact Sciences Maintainer Organization German Association for Mathematical Logic and for Basic Research372 bytes (111 words) - 16:03, 5 April 2023
- ID Q1204365 Event Series List Colloquium Logicum Mathematics Mathematical Logic Events71 bytes (13 words) - 08:35, 4 April 2023
- 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
- International Workshop on Computer Science Logic Ordinal 18 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2004-09-20 End Date 2004-09-241 KB (197 words) - 09:48, 5 August 2023
- higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects4 KB (620 words) - 14:13, 19 October 2022
- Annual Conference on Computer Science Logic Ordinal 27 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2018-09-04 End Date 2018-09-071 KB (226 words) - 12:27, 4 August 2023
- of functional and logic programming languages to future multicore applications * extraction of parallelism from functional and logic programs * ways of4 KB (536 words) - 12:04, 28 June 2023
- Symposium on the History of Logic - Existence and Nonexistence Ordinal 2 Event Series Pan-American Symposium on the History of Logic Start Date 2023-06-20 End722 bytes (184 words) - 11:56, 4 August 2023
- Series Acronym TbiLLC Title International Tbilisi Symposium on Language, Logic and Computation Recurrence Unit year Official Website https://events.illc238 bytes (133 words) - 14:48, 24 August 2022
- The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI2 KB (342 words) - 14:55, 19 October 2022
- higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects5 KB (723 words) - 14:12, 19 October 2022
- Title 39th International Conference on Logic Programming Ordinal 39 Event Series ICLP - International Conference on Logic Programming Start Date 2023-07-09597 bytes (172 words) - 10:38, 9 October 2023
- International Workshop on Computer Science Logic Ordinal 17 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2003-08-25 End Date 2003-08-301 KB (210 words) - 09:16, 5 August 2023
- International Workshop on Computer Science Logic Ordinal 24 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2010-08-23 End Date 2010-08-272 KB (246 words) - 06:39, 7 August 2023
- theory computational proof theory logic programming and constraints lambda calculus and combinatory logic categorical logic and topological semantics domain3 KB (433 words) - 07:28, 7 August 2023
- International Symposium on Temporal Representation and Reasoning Academic Field Logic Related Identifiers Maintainer Events List TIME 2020 2020-09-23 → 2020-09-25272 bytes (44 words) - 14:36, 24 August 2022
- computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain3 KB (415 words) - 07:48, 7 August 2023
- International Workshop on Computer Science Logic Ordinal 27 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2013-09-02 End Date 2013-09-051 KB (191 words) - 12:24, 4 August 2023
- Annual Conference on Computer Science Logic Ordinal 28 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2020-01-13 End Date 2020-01-163 KB (461 words) - 12:17, 4 August 2023
- computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory, categorical logic and topological semantics3 KB (472 words) - 12:12, 7 July 2023
- propositional proof complexity logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics3 KB (476 words) - 12:40, 4 August 2023
- Event Series Acronym LPAR Title Logic Programming and Automated Reasoning Academic Field Artificial Intelligence Related Identifiers CORE Rankings Year332 bytes (45 words) - 14:33, 24 August 2022
- propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics4 KB (558 words) - 06:34, 7 August 2023
- International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2009-07-02 End4 KB (633 words) - 15:22, 19 October 2022
- 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) symposium5 KB (747 words) - 15:22, 19 October 2022
- Workshop on Logic and Search Start Date 2016-10-17 End Date 2016-10-17 Status as scheduled Mode on site City New York City Academic Field Logic, Computer492 bytes (134 words) - 15:21, 19 October 2022
- presence of ontologies * Logic-Programming based mashups for Linked Open Data * Combinations of Logic Programming and Description Logics * Modeling of and reasoning6 KB (963 words) - 14:45, 19 October 2022
- Workshop on Computer Science Logic (CSL) 1991 The topics included: Theory of Computation Mathematical Logic and Foundations Logics and Meanings of Programs897 bytes (168 words) - 13:38, 18 October 2022
- International Workshop on Computer Science Logic Ordinal 14 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2000-08-21 End Date 2000-08-261 KB (184 words) - 08:42, 5 August 2023
- International Workshop on Computer Science Logic Ordinal 21 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2007-09-11 End Date 2007-09-151,013 bytes (178 words) - 07:57, 7 August 2023
- Annual Conference on Computer Science Logic Ordinal 23 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2014-07-14 End Date 2014-07-181 KB (179 words) - 07:55, 7 August 2023
- 2022 Title International Workshop on Logic and Synthesis Ordinal 31 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2022-07-18479 bytes (128 words) - 09:29, 29 September 2022
- knowledge, Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge Logic programming, Constraint logic programming, Answer set programming4 KB (550 words) - 15:22, 19 October 2022
- International Workshop on Computer Science Logic Ordinal 19 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2005-08-22 End Date 2005-08-251,019 bytes (192 words) - 10:44, 5 August 2023
- International Workshop on Computer Science Logic Ordinal 22 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2008-09-15 End Date 2008-09-191 KB (187 words) - 06:57, 10 July 2023
- International Workshop on Computer Science Logic Ordinal 15 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2001-09-10 End Date 2001-09-131 KB (190 words) - 08:51, 5 August 2023
- higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects4 KB (610 words) - 14:13, 19 October 2022
- International Workshop on Computer Science Logic Ordinal 16 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2002-09-22 End Date 2002-09-251 KB (201 words) - 09:08, 5 August 2023
- including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic * the formal analysis of normative5 KB (690 words) - 14:45, 19 October 2022
- Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL). - Relating ASP to constraint programming. - Relating ASP to other logic programming paradigms5 KB (735 words) - 14:45, 19 October 2022
- Annual Conference on Computer Science Logic Ordinal 31 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2023-02-13 End Date 2023-02-16656 bytes (171 words) - 14:38, 13 June 2023
- Annual Conference on Computer Science Logic Ordinal 32 Event Series CSL - Annual Conference on Computer Science Logic Start Date 2024-02-19 End Date 2024-02-23618 bytes (169 words) - 14:38, 13 June 2023
- Title 38th International Conference on Logic Programming Ordinal 38 Event Series ICLP - International Conference on Logic Programming Start Date 2022-07-31628 bytes (163 words) - 10:39, 9 October 2023
- Artificial Intelligence Artificial Intelligence Computer Science LPAR - Logic Programming and Automated Reasoning Artificial Intelligence MAMI - International104 bytes (4,594 words) - 09:45, 1 September 2022
- higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects4 KB (583 words) - 15:23, 19 October 2022
- Event Series Acronym LENLS Title Logic and Engineering of Natural Language Semantics Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events303 bytes (47 words) - 14:32, 24 August 2022
- multiple-valued logic, including but not limited to: Algebraic and Formal Aspects Automatic Reasoning Communication Systems Data Mining Image Processing Logic Programming2 KB (386 words) - 15:22, 19 October 2022
- Event Acronym LICS 1994 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1994-04-07 End Date 1994-07-07 Status as scheduled Mode422 bytes (132 words) - 15:23, 19 October 2022
- Event Acronym LICS 1999 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1999-02-07 End Date 1999-05-07 Status as scheduled Mode423 bytes (132 words) - 15:20, 19 October 2022
- Event Acronym LICS 2006 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2006-12-08 End Date Error: Invalid time. Status as scheduled410 bytes (135 words) - 15:20, 19 October 2022
- Event Acronym LICS 2007 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2007-10-07 End Date 2007-12-07 Status as scheduled Mode490 bytes (136 words) - 15:23, 19 October 2022
- lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects of computational4 KB (618 words) - 15:21, 19 October 2022
- Event Acronym LICS 1997 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date 1997-02-07 Status as scheduled504 bytes (153 words) - 15:23, 19 October 2022
- Event Acronym LICS 2003 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status489 bytes (150 words) - 15:22, 19 October 2022
- Event Acronym LICS 2011 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status506 bytes (153 words) - 15:20, 19 October 2022
- Event Acronym LICS 1989 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1989-05-06 End Date 1989-08-06 Status as scheduled Mode449 bytes (143 words) - 15:21, 19 October 2022
- Event Acronym LICS 1988 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1988-05-07 End Date 1988-08-07 Status as scheduled Mode426 bytes (146 words) - 15:20, 19 October 2022
- Event Acronym LICS 2009 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2009-11-08 End Date Error: Invalid time. Status as scheduled513 bytes (147 words) - 15:21, 19 October 2022
- Event Acronym LICS 2004 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status488 bytes (150 words) - 15:22, 19 October 2022
- Event Acronym LICS 2014 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status493 bytes (151 words) - 15:23, 19 October 2022
- Event Acronym LICS 2010 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2010-11-07 End Date Error: Invalid time. Status as scheduled509 bytes (153 words) - 15:21, 19 October 2022
- Event Acronym LICS 1990 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 1990-04-06 End Date 1990-07-06 Status as scheduled Mode450 bytes (141 words) - 15:21, 19 October 2022
- Event Acronym LICS 1993 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status427 bytes (146 words) - 15:20, 19 October 2022
- Event Acronym LICS 1991 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status428 bytes (146 words) - 15:21, 19 October 2022
- Event Acronym LICS 2002 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status493 bytes (150 words) - 15:23, 19 October 2022
- Event Acronym LICS 2012 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status492 bytes (150 words) - 15:21, 19 October 2022
- Event Acronym AiML 2022 Title Advances in Modal Logic Ordinal 14 Event Series AiML - Advances in Modal Logic Start Date 2022-08-22 End Date 2022-08-25 Status295 bytes (111 words) - 18:42, 22 September 2022
- Event Acronym LICS 2001 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status529 bytes (163 words) - 15:22, 19 October 2022
- Event Acronym LICS 1998 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status527 bytes (162 words) - 15:21, 19 October 2022
- Event Acronym LICS 1995 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status527 bytes (164 words) - 15:21, 19 October 2022
- Event Acronym LICS 2000 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status453 bytes (158 words) - 15:21, 19 October 2022
- Event Acronym LICS 1986 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status450 bytes (155 words) - 15:21, 19 October 2022
- Event Acronym LICS 1987 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status442 bytes (157 words) - 15:20, 19 October 2022
- Event Acronym LICS 1996 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status531 bytes (166 words) - 15:22, 19 October 2022
- Event Acronym LICS 2013 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status494 bytes (158 words) - 15:23, 19 October 2022
- International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2019-09-03 End950 bytes (156 words) - 14:10, 19 October 2022
- Event Acronym LICS 1992 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status448 bytes (157 words) - 15:22, 19 October 2022
- Event Acronym LICS 2005 Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date Error: Invalid time. End Date Error: Invalid time. Status490 bytes (156 words) - 15:21, 19 October 2022
- formalizing knowledge using two-valued logics like Description Logics or Logic Programming. However, fuzzy logic is inherently better suited for expressing5 KB (745 words) - 14:56, 19 October 2022
- Methods Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory FMICS - International Workshop on Formal Methods82 bytes (1,026 words) - 06:51, 20 October 2022
- Title 1st Workshop on Computer Science Logic Ordinal 1 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1987-10-12 End Date 1987-10-16616 bytes (134 words) - 19:06, 22 September 2022
- Title 3rd Workshop on Computer Science Logic Ordinal 3 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1989-10-02 End Date 1989-10-06621 bytes (135 words) - 19:06, 22 September 2022
- Title 2nd Workshop on Computer Science Logic Ordinal 2 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1988-10-03 End Date 1988-10-07609 bytes (135 words) - 19:06, 22 September 2022
- Organization Event Series Events List AColl 2007 2007-12-17 → 2007-12-1935 bytes (13 words) - 16:42, 10 October 2022
- fields of artistic engagement. Keywords: sport, Game Logic, Body Logic, Aesthetic Logic, Organisational Logic,1 KB (223 words) - 15:29, 19 October 2022
- Organization Wikidata ID Q158158 ROR ID 042aqky30 Event Series Events List KI 2015 2015-09-21 → 2015-09-25 Artificial Intelligence Computer Science88 bytes (23 words) - 08:43, 6 February 2024
- 2008 Title International Workshop on Logic and Synthesis Ordinal 17 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2008-06-043 KB (507 words) - 15:22, 19 October 2022
- International Workshop on Computer Science Logic Ordinal 8 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1994-09-25 End Date 1994-09-30754 bytes (144 words) - 13:38, 18 October 2022
- International Workshop on Computer Science Logic Ordinal 12 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1998-08-24 End Date 1998-08-28812 bytes (149 words) - 13:06, 19 October 2022
- International Workshop on Computer Science Logic Event Series CSL - Annual Conference on Computer Science Logic Start Date 1995-09-22 End Date 1995-09-29712 bytes (142 words) - 13:38, 18 October 2022
- International Workshop on Computer Science Logic Ordinal 10 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1996-09-21 End Date 1996-09-27722 bytes (144 words) - 13:38, 18 October 2022
- International Workshop on Computer Science Logic Ordinal 13 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1999-09-20 End Date 1999-09-25809 bytes (144 words) - 13:38, 18 October 2022
- International Workshop on Computer Science Logic Ordinal 11 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1997-08-23 End Date 1997-08-29715 bytes (144 words) - 13:38, 18 October 2022
- Title 4th Workshop on Computer Science Logic Ordinal 4 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1990-10-01 End Date 1990-10-05696 bytes (142 words) - 13:38, 18 October 2022
- Title 6th Workshop on Computer Science Logic Ordinal 6 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1992-09-28 End Date 1992-10-02739 bytes (144 words) - 13:38, 18 October 2022
- Event Series Acronym ILPS Title International Logic Programming Symposium Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List ILPS292 bytes (28 words) - 14:31, 24 August 2022
- Integrated Circuit Very Large-Scale Integration IWLS - International Workshop on Logic and Synthesis Integrated Circuit SBCCI - Symposium on Integrated Circuits142 bytes (1,086 words) - 10:36, 20 October 2022
- Event Series Acronym FLOPS Title International Symposium on Functional and Logic Programming Related Identifiers CORE Rankings Year 2017 Rank A Maintainer311 bytes (31 words) - 14:28, 24 August 2022
- Title 7th Workshop on Computer Science Logic Ordinal 7 Event Series CSL - Annual Conference on Computer Science Logic Start Date 1993-09-13 End Date 1993-09-17682 bytes (155 words) - 13:38, 18 October 2022
- International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2017-09-04 End1 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 End1 KB (185 words) - 14:09, 19 October 2022
- Event Series Events List CSL 2015 2015-09-07 → 2015-09-10 Computer Science Logic87 bytes (22 words) - 14:13, 13 June 2023
- Theorem Proving with Analytic Tableaux and Related Methods Academic Field Logic Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List363 bytes (38 words) - 14:35, 24 August 2022
- Mathematical Logic, Mathematics DOI https://doi.org/10.25798/0rw4-4146 10.25798/0rw4-4146 Deadlines organization German Association for Mathematical Logic and for576 bytes (158 words) - 16:03, 5 April 2023
- Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic647 bytes (167 words) - 16:04, 5 April 2023
- Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic635 bytes (168 words) - 16:03, 5 April 2023
- Mathematical Logic and for Basic Research in the Exact Sciences Metrics Organizer Organization German Association for Mathematical Logic and for Basic616 bytes (164 words) - 16:04, 5 April 2023
- Event Acronym AiML 2020 Title Advances in Modal Logic Ordinal 13 Event Series AiML - Advances in Modal Logic Start Date 2020-08-17 End Date 2020-08-21 Status920 bytes (152 words) - 13:00, 19 October 2022
- techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling8 KB (964 words) - 14:46, 19 October 2022
- Academic Field Soft Computing, Machine Learning, Pattern Recognition, Fuzzy Logic Official Website http://www.mirlabs.org/socpar16 Deadlines 2016-10-15 2016-09-30568 bytes (142 words) - 15:30, 19 October 2022
- 2017-02-19 → 2017-02-23 Algebra Programming Language Distributed Computation Logics39 bytes (21 words) - 12:58, 24 August 2022
- Event Acronym SELSE 2008 Title IEEE Workshop on Silicon Errors in Logic - System Effects Start Date 2008-03-26 End Date 2008-03-27 Status as scheduled665 bytes (151 words) - 15:28, 19 October 2022
- Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information5 KB (751 words) - 15:30, 19 October 2022
- Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic and it covers3 KB (441 words) - 14:55, 19 October 2022
- Event Acronym LENLS 14 Title Logic and Engineering of Natural Language Semantics Event Series LENLS - Logic and Engineering of Natural Language Semantics534 bytes (137 words) - 14:13, 19 October 2022
- International Symposium on Functional and Logic Programming Event Series FLOPS - International Symposium on Functional and Logic Programming Start Date 2020-04-23446 bytes (136 words) - 13:32, 19 October 2022
- Event Acronym ILPS 2020 Title International Logic Programming Symposium Event Series ILPS - International Logic Programming Symposium Start Date 2020-04-23424 bytes (130 words) - 14:10, 19 October 2022
- Event Acronym LENLS 15 Title Logic and Engineering of Natural Language Semantics Event Series LENLS - Logic and Engineering of Natural Language Semantics535 bytes (137 words) - 14:14, 19 October 2022
- modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal4 KB (634 words) - 15:21, 19 October 2022
- several generations of product. Programs written in functional or (constraint-)logic programming languages, or even in other languages with a controlled use of6 KB (769 words) - 12:03, 28 June 2023
- 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Event Series LPAR - Logic Programming and Automated Reasoning572 bytes (143 words) - 14:13, 19 October 2022
- International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis602 bytes (147 words) - 14:12, 19 October 2022
- International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis744 bytes (146 words) - 14:12, 19 October 2022
- Title 30th Annual ACM/IEEE Symposium on Logic in Computer Science Event Series LICS - IEEE Symposium on Logic in Computer Science Start Date 2015-07-06738 bytes (144 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 End722 bytes (140 words) - 14:10, 19 October 2022
- people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues4 KB (661 words) - 13:33, 19 October 2022
- pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15,3 KB (440 words) - 10:16, 14 December 2022
- Event Acronym LPNMR 2009 Title 10th International Conference on Logic Programming and Nonmonotonic Reasoning Event Series Event Series:LPNMR Start Date7 KB (1,079 words) - 15:23, 19 October 2022
- International Symposium on Logic-Based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis663 bytes (150 words) - 14:14, 19 October 2022
- International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis763 bytes (154 words) - 14:14, 19 October 2022
- Event Acronym LENLS 16 Title Logic and Engineering of Natural Language Semantics 16 Event Series LENLS - Logic and Engineering of Natural Language Semantics647 bytes (146 words) - 14:13, 19 October 2022
- International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis755 bytes (160 words) - 14:12, 19 October 2022
- Symposium on Logical Formalizations of Commonsense Reasoning Academic Field Logic Related Identifiers Maintainer Events289 bytes (20 words) - 14:26, 24 August 2022
- Event Series Acronym ALP Title International Conference on Algebraic and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer309 bytes (22 words) - 14:24, 24 August 2022
- 2000 Title International Workshop on Logic and Synthesis Ordinal 9 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2000-05-31443 bytes (148 words) - 10:10, 29 September 2022
- 2002 Title International Workshop on Logic and Synthesis Ordinal 11 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2002-06-04444 bytes (148 words) - 10:05, 29 September 2022
- 2012 Title International Workshop on Logic and Synthesis Ordinal 21 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2012-06-01442 bytes (146 words) - 09:51, 29 September 2022
- 2001 Title International Workshop on Logic and Synthesis Ordinal 10 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2001-06-12444 bytes (148 words) - 10:08, 29 September 2022
- 2010 Title International Workshop on Logic and Synthesis Ordinal 19 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2010-06-18440 bytes (146 words) - 09:53, 29 September 2022
- 2020 Title International Workshop on Logic and Synthesis Ordinal 29 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2020-07-27478 bytes (128 words) - 09:33, 29 September 2022
- 2021 Title International Workshop on Logic and Synthesis Ordinal 30 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2021-07-19479 bytes (128 words) - 09:31, 29 September 2022
- 2011 Title International Workshop on Logic and Synthesis Ordinal 20 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2011-06-03443 bytes (148 words) - 09:52, 29 September 2022
- 2009 Title International Workshop on Logic and Synthesis Ordinal 18 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2009-07-31442 bytes (146 words) - 09:55, 29 September 2022
- Title 31st International Conference on Logic Programming Ordinal 31 Event Series ICLP - International Conference on Logic Programming Start Date 2015-08-31586 bytes (147 words) - 08:42, 9 October 2023
- Title 30th International Conference on Logic Programming Ordinal 30 Event Series ICLP - International Conference on Logic Programming Start Date 2014-07-19586 bytes (149 words) - 08:45, 9 October 2023
- Title 28th International Conference on Logic Programming Ordinal 28 Event Series ICLP - International Conference on Logic Programming Start Date 2012-09-04578 bytes (147 words) - 08:54, 9 October 2023
- Title 32nd International Conference on Logic Programming Ordinal 32 Event Series ICLP - International Conference on Logic Programming Start Date 2016-10-16573 bytes (152 words) - 08:37, 9 October 2023
- Title 27th International Conference on Logic Programming Ordinal 27 Event Series ICLP - International Conference on Logic Programming Start Date 2011-07-06576 bytes (154 words) - 09:25, 9 October 2023
- Title 29th International Conference on Logic Programming Ordinal 29 Event Series ICLP - International Conference on Logic Programming Start Date 2013-08-24567 bytes (146 words) - 08:49, 9 October 2023
- Title 37th International Conference on Logic Programming Ordinal 37 Event Series ICLP - International Conference on Logic Programming Start Date 2021-09-20519 bytes (142 words) - 10:39, 9 October 2023
- Title 33rd International Conference on Logic Programming Ordinal 33 Event Series ICLP - International Conference on Logic Programming Start Date 2017-08-28573 bytes (146 words) - 08:31, 9 October 2023
- Title 36th International Conference on Logic Programming Ordinal 36 Event Series ICLP - International Conference on Logic Programming Start Date 2020-09-18584 bytes (158 words) - 10:39, 9 October 2023
- Title 26th International Conference on Logic Programming Ordinal 26 Event Series ICLP - International Conference on Logic Programming Start Date 2010-07-16580 bytes (162 words) - 09:35, 9 October 2023
- 2019 Title International Workshop on Logic and Synthesis Ordinal 28 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2019-06-21515 bytes (146 words) - 09:34, 29 September 2022
- 2017 Title International Workshop on Logic and Synthesis Ordinal 26 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2017-06-17527 bytes (155 words) - 09:42, 29 September 2022
- 2007 Title International Workshop on Logic and Synthesis Ordinal 16 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2007-05-30510 bytes (154 words) - 09:57, 29 September 2022
- 2013 Title International Workshop on Logic and Synthesis Ordinal 22 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2013-06-07527 bytes (155 words) - 09:49, 29 September 2022
- 2014 Title International Workshop on Logic and Synthesis Ordinal 23 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2014-05-30539 bytes (157 words) - 09:47, 29 September 2022
- 2003 Title International Workshop on Logic and Synthesis Ordinal 12 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2003-05-28513 bytes (154 words) - 10:03, 29 September 2022
- 2004 Title International Workshop on Logic and Synthesis Ordinal 13 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2004-06-02509 bytes (152 words) - 10:02, 29 September 2022
- 2018 Title International Workshop on Logic and Synthesis Ordinal 27 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2018-06-23539 bytes (157 words) - 08:46, 21 October 2022
- 2016 Title International Workshop on Logic and Synthesis Ordinal 25 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2016-06-10527 bytes (155 words) - 09:44, 29 September 2022
- 2006 Title International Workshop on Logic and Synthesis Ordinal 15 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2006-06-07503 bytes (152 words) - 09:58, 29 September 2022
- 2005 Title International Workshop on Logic and Synthesis Ordinal 14 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2005-06-08510 bytes (152 words) - 10:01, 29 September 2022
- 2015 Title International Workshop on Logic and Synthesis Ordinal 24 Event Series IWLS - International Workshop on Logic and Synthesis Start Date 2015-06-12539 bytes (157 words) - 09:45, 29 September 2022
- Title 35th International Conference on Logic Programming Ordinal 35 Event Series ICLP - International Conference on Logic Programming Start Date 2019-09-20611 bytes (173 words) - 10:39, 9 October 2023
- Title 34th International Conference on Logic Programming Ordinal 34 Event Series ICLP - International Conference on Logic Programming Start Date 2018-07-14611 bytes (177 words) - 10:39, 9 October 2023
- Acronym AiML 2018 Title Advances in Modal Logic 2018 Ordinal 12 Event Series AiML - Advances in Modal Logic Start Date 2018-08-27 End Date 2018-08-31 Status911 bytes (151 words) - 12:59, 19 October 2022
- uva.nl/AC2007 Deadlines 2007-09-01 Organizer Organization Institute for Logic, Language and Computation (ILLC) Venue Amsterdam, Netherlands Loading map1 KB (226 words) - 14:45, 19 October 2022
- Mexico (MX) Academic Field Artificial Intelligence, Automated Reasoning, Logic-Based Knowledge Represen Official Website http://nova.mxl.uabc.mx/enc16/844 bytes (169 words) - 15:30, 19 October 2022
- chaos/neural/fuzzy-logic circuits, high-speed/low-power circuits. Computer-Aided Design (CAD): hardware/software co-design, logic and behavioral synthesis, logic mapping4 KB (604 words) - 14:56, 19 October 2022
- linguistics, conceptual modeling and design, diagrammatic reasoning and logic, intelligent systems and knowledge management. The activity of the field4 KB (695 words) - 14:55, 19 October 2022
- Computational Logic, TU Dresden Metrics Submitted Papers 59 Accepted Papers 29 Organizer Organization International Center for Computational Logic, TU Dresden861 bytes (172 words) - 08:46, 6 February 2024
- Relational Learning * ILP-2009 - 19th International Conference on Inductive Logic Programming * MLG-2009 - 7th International Workshop on Mining and Learning4 KB (639 words) - 15:26, 19 October 2022
- Working Group on Genetic Fuzzy Systems of the European Society for Fuzzy Logic and Technologies. The workshop will be technically co-sponsored by the IEEE1 KB (260 words) - 14:55, 19 October 2022
- Event Acronym LGS6 Title Logic, Game Theory, and Social Choice 6 Event Series LGS - Start Date 2009-08-26 End Date 2009-08-29 Status as scheduled Mode2 KB (176 words) - 20:29, 22 September 2022
- Fairness Track B: Automata, Logic, Semantics, and Theory of Programming: Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory4 KB (584 words) - 08:02, 27 September 2023
- Mathematics Event Series List DL - International Workshop on Description Logics Description Logics Events82 bytes (20 words) - 07:29, 20 October 2022
- warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages;4 KB (614 words) - 06:24, 7 August 2023
- Event Series Events List CSL 2004 2004-09-20 → 2004-09-24 Computer Science Logic MFCS 1999 1999-09-06 → 1999-09-10 Computing In Mathematics Theoretical Computer88 bytes (36 words) - 08:20, 5 March 2024
- Event Acronym AiML 1998 Title Advances in Modal Logic Ordinal 2 Event Series AiML - Advances in Modal Logic Start Date 1998-10-16 End Date 1998-10-18 Status310 bytes (114 words) - 18:10, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 13 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date405 bytes (123 words) - 19:18, 22 September 2022
- Event Acronym AiML 2004 Title Advances in Modal Logic Ordinal 5 Event Series AiML - Advances in Modal Logic Start Date 2004-09-09 End Date 2004-09-11 Status308 bytes (115 words) - 18:25, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 3 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date398 bytes (123 words) - 19:17, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 1 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date332 bytes (114 words) - 18:07, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 2 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date333 bytes (114 words) - 18:50, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 8 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date399 bytes (123 words) - 19:09, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 12 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date403 bytes (123 words) - 18:56, 22 September 2022
- Event Acronym AiML 2000 Title Advances in Modal Logic Ordinal 3 Event Series AiML - Advances in Modal Logic Start Date 2000-10-04 End Date 2000-10-07 Status310 bytes (114 words) - 18:12, 22 September 2022
- Event Acronym AiML 2012 Title Advances in Modal Logic Ordinal 9 Event Series AiML - Advances in Modal Logic Start Date 2012-08-22 End Date 2012-08-25 Status301 bytes (112 words) - 19:11, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 11 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date404 bytes (123 words) - 18:19, 22 September 2022
- Event Acronym AiML 2002 Title Advances in Modal Logic Ordinal 4 Event Series AiML - Advances in Modal Logic Start Date 2002-09-30 End Date 2002-10-02 Status310 bytes (114 words) - 18:43, 22 September 2022
- Event Acronym AiML 2006 Title Advances in Modal Logic Ordinal 6 Event Series AiML - Advances in Modal Logic Start Date 2006-09-25 End Date 2006-09-28 Status302 bytes (114 words) - 18:42, 22 September 2022
- Event Acronym AiML 1996 Title Advances in Modal Logic Ordinal 1 Event Series AiML - Advances in Modal Logic Start Date 1996-10-08 End Date 1996-10-10 Status310 bytes (114 words) - 19:16, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 9 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date399 bytes (123 words) - 18:18, 22 September 2022
- Event Acronym AiML 2008 Title Advances in Modal Logic Ordinal 7 Event Series AiML - Advances in Modal Logic Start Date 2008-09-09 End Date 2008-09-12 Status292 bytes (112 words) - 18:12, 22 September 2022
- Event Acronym AiML 2010 Title Advances in Modal Logic Ordinal 8 Event Series AiML - Advances in Modal Logic Start Date 2010-08-24 End Date 2010-08-27 Status293 bytes (112 words) - 17:55, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 6 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date398 bytes (123 words) - 18:01, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 7 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date401 bytes (123 words) - 17:50, 22 September 2022
- Event Acronym AiML 2016 Title Advances in Modal Logic Ordinal 11 Event Series AiML - Advances in Modal Logic Start Date 2016-08-30 End Date 2016-09-02 Status297 bytes (112 words) - 18:03, 22 September 2022
- Event Acronym AiML 2014 Title Advances in Modal Logic Ordinal 10 Event Series AiML - Advances in Modal Logic Start Date 2014-08-05 End Date 2014-08-08 Status303 bytes (113 words) - 18:49, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 4 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date400 bytes (123 words) - 18:14, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 10 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date400 bytes (123 words) - 18:18, 22 September 2022
- Symposium on Language, Logic and Computation Ordinal 5 Event Series TbiLLC - International Tbilisi Symposium on Language, Logic and Computation Start Date399 bytes (123 words) - 18:43, 22 September 2022
- Event Acronym WILF 2009 Title International Workshop on Fuzzy Logic and Applications Start Date 2009-06-09 End Date 2009-06-12 Status as scheduled Mode5 KB (766 words) - 15:29, 19 October 2022
- Artificial Life, Biocomputation - New Models of Logic Software - "Intersections" - e.g., work at the crossroads of logic, epistemology, philosophy of science and5 KB (708 words) - 14:46, 19 October 2022
- Event Series Acronym ICTL Title International Conference on Temporal Logic Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events293 bytes (20 words) - 14:30, 24 August 2022
- DSP and multicore architectures * Memory circuits and systems * Low power logic and architectures * Multimedia processing circuits * Communication circuits2 KB (377 words) - 15:30, 19 October 2022
- Event Series Acronym LPMA Title International Workshop on Logic Programming and Multi-Agents Related Identifiers CORE Rankings Year 2018 Rank B Maintainer311 bytes (23 words) - 14:33, 24 August 2022
- Acronym PLILP Title Symposium on Programming Language Implementation and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer322 bytes (23 words) - 14:34, 24 August 2022
- Event Series Acronym FLINS Title International Fuzzy Logic and Intelligent technologies in Nuclear Science Conference Related Identifiers CORE Rankings336 bytes (25 words) - 14:28, 24 August 2022
- Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing, evolutionary computation, machine learning and probabilistic4 KB (677 words) - 15:28, 19 October 2022
- Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing, evolutionary computation, machine learning and probabilistic4 KB (689 words) - 15:27, 19 October 2022