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
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
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
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
Epistemic and Doxastic logics, Multi-agent logics of belief and knowledge Logic programming, Constraint logic programming, Answer set programming Computational
4 KB (550 words) - 15:22, 19 October 2022
Event Series Acronym ILPS Title International Logic Programming Symposium Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events List ILPS
292 bytes (28 words) - 14:31, 24 August 2022
International Conference on Inductive Logic Programming Event Series ILP - International Conference on Inductive Logic Programming Start Date 2017-09-04 End Date
1 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 End Date
1 KB (185 words) - 14:09, 19 October 2022
Series Acronym FLOPS Title International Symposium on Functional and Logic Programming Related Identifiers CORE Rankings Year 2017 Rank A Maintainer Events
311 bytes (31 words) - 14:28, 24 August 2022
emphasis will be on functional and (constraint-)logic programming, but any programming language ideas that aim to raise the level of abstraction are welcome.
6 KB (769 words) - 12:03, 28 June 2023
Symposium on Functional and Logic Programming Event Series FLOPS - International Symposium on Functional and Logic Programming Start Date 2020-04-23 End
446 bytes (136 words) - 13:32, 19 October 2022
Acronym ILPS 2020 Title International Logic Programming Symposium Event Series ILPS - International Logic Programming Symposium Start Date 2020-04-23 End
424 bytes (130 words) - 14:10, 19 October 2022
International Conference on Logic for Programming, Artificial Intelligence and Reasoning Event Series LPAR - Logic Programming and Automated Reasoning Start
6 KB (891 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 End Date
722 bytes (140 words) - 14:10, 19 October 2022
functional and logic programming languages to future multicore applications * extraction of parallelism from functional and logic programs * ways of specifying
4 KB (536 words) - 12:04, 28 June 2023
Series Acronym ALP Title International Conference on Algebraic and Logic Programming Related Identifiers CORE Rankings Year 2018 Rank B Maintainer Events
309 bytes (22 words) - 14:24, 24 August 2022
theme for LPNMR?09 is Applications of Logic Programming and Nonmonotonic Reasoning in general and Answer Set Programming (ASP) in particular. LPNMR?09 aims
7 KB (1,079 words) - 15:23, 19 October 2022
International Conference on Logic Programming Ordinal 31 Event Series ICLP - International Conference on Logic Programming Start Date 2015-08-31 End Date
586 bytes (147 words) - 08:42, 9 October 2023
International Conference on Logic Programming Ordinal 30 Event Series ICLP - International Conference on Logic Programming Start Date 2014-07-19 End Date
586 bytes (149 words) - 08:45, 9 October 2023
International Conference on Logic Programming Ordinal 28 Event Series ICLP - International Conference on Logic Programming Start Date 2012-09-04 End Date
578 bytes (147 words) - 08:54, 9 October 2023
International Conference on Logic Programming Ordinal 32 Event Series ICLP - International Conference on Logic Programming Start Date 2016-10-16 End Date
573 bytes (152 words) - 08:37, 9 October 2023
International Conference on Logic Programming Ordinal 27 Event Series ICLP - International Conference on Logic Programming Start Date 2011-07-06 End Date
576 bytes (154 words) - 09:25, 9 October 2023
International Conference on Logic Programming Ordinal 29 Event Series ICLP - International Conference on Logic Programming Start Date 2013-08-24 End Date
567 bytes (146 words) - 08:49, 9 October 2023
International Conference on Logic Programming Ordinal 37 Event Series ICLP - International Conference on Logic Programming Start Date 2021-09-20 End Date
519 bytes (142 words) - 10:39, 9 October 2023
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
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
Symposium on Programming (ESOP) 2010 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
3 KB (455 words) - 08:24, 18 October 2023
Graph Mining Implementation issues of Relational Learning Inductive Logic Programming New Relational Learning algorithms Propositionalization methods Statistical
5 KB (669 words) - 15:23, 19 October 2022
Symposium on Programming (ESOP) 2020 Programming paradigms and styles: functional programming, object-oriented programming, logic programming, constraint
5 KB (697 words) - 07:16, 18 October 2023
argumentation systems; Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability
9 KB (1,251 words) - 13:32, 19 October 2022
constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission Authors are invited to submit a full paper of up to 12
3 KB (437 words) - 13:34, 14 December 2022
Symposium on Programming (ESOP) 2014 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
4 KB (550 words) - 08:04, 18 October 2023
Symposium on Programming (ESOP) 2017 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
5 KB (662 words) - 07:24, 18 October 2023
Symposium on Programming (ESOP) 2019 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
4 KB (569 words) - 07:42, 18 October 2023
Symposium on Programming (ESOP) 2021 Programming paradigms and styles: functional programming, object-oriented programming, logic programming, constraint
5 KB (707 words) - 09:30, 30 August 2023
aspects of program analysis formal methods foundations of computability games and logic higher-order logic lambda and combinatory calculi linear logic logic
4 KB (620 words) - 14:13, 19 October 2022
equational logic and rewriting finite model theory higher-order logic lambda calculus and combinatory logic linear logic and other substructural logics logic
5 KB (653 words) - 12:46, 4 August 2023
theory computational proof theory logic programming and constraints lambda calculus and combinatory logic categorical logic and topological semantics domain
3 KB (433 words) - 07:28, 7 August 2023
computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain
3 KB (415 words) - 07:48, 7 August 2023
techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling
8 KB (964 words) - 14:46, 19 October 2022
higher-order logic lambda and combinatory calculi linear logic logic in artificial intelligence logic programming logical aspects of bioinformatics logical aspects
5 KB (723 words) - 14:12, 19 October 2022
Symposium on Programming (ESOP) 2016 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
5 KB (678 words) - 07:50, 18 October 2023
International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
763 bytes (154 words) - 14:14, 19 October 2022
International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
602 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 Synthesis and Transformation
744 bytes (146 words) - 14:12, 19 October 2022
International Symposium on Logic-based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
755 bytes (160 words) - 14:12, 19 October 2022
aspects of program analysis formal methods foundations of computability games and logic higher-order logic lambda and combinatory calculi linear logic logic
4 KB (610 words) - 14:13, 19 October 2022
aspects of program analysis formal methods foundations of computability games and logic higher-order logic lambda and combinatory calculi linear logic logic
4 KB (583 words) - 15:23, 19 October 2022
International Symposium on Logic-Based Program Synthesis and Transformation Event Series LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
663 bytes (150 words) - 14:14, 19 October 2022
computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Submitted
3 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 semantics
3 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 semantics
3 KB (476 words) - 12:40, 4 August 2023
based systems o Knowledge Acquisition and Organization o Distributed Logic Programming o Models for distributed knowledge o Image Recognition, Processing
8 KB (1,061 words) - 14:45, 19 October 2022
(Rule Induction and Decision Tree Learning, Lazy Learning, Inductive Logic Programming, Analytical Learning, Transformation- *based Error-driven Learning)
3 KB (469 words) - 08:09, 10 July 2023
understanding; clustering and conceptual clustering; process mining; inductive logic programming; deep learning and classification. Aiming at focusing the efforts on
6 KB (949 words) - 14:22, 19 October 2022
Symposium on Programming (ESOP) 2018 Programming paradigms and styles: functional programming, object-oriented programming, aspect-oriented programming, logic
4 KB (576 words) - 07:19, 18 October 2023
propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics
4 KB (558 words) - 06:34, 7 August 2023
aspects of program analysis formal methods foundations of computability higher-order logic lambda and combinatory calculi linear logic logic in artificial
4 KB (618 words) - 15:21, 19 October 2022
learning scalability of learning algorithms inductive learning inductive logic programming Bayesian networks support vector machines case-based reasoning machine
4 KB (525 words) - 12:17, 11 October 2023
