Search results

From ConfIDent
Results 1 – 50 of 260
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  

  • Academic Field:Logic Programming
    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
  • 14:Event_Series ICLP - International Conference on Logic Programming
    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
  • Organization:Association for Logic Programming
    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
  • Academic Field:Logic
    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
    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
  • Formal Methods Europe
    Symposium on Formal Methods Neural Networks Software Verification Logic Programming Automation Theory Events
    71 bytes (22 words) - 07:17, 13 March 2023
  • Automation Theory
    Computer Science Neural Networks Formal Methods Software Verification Logic Programming Automation Theory Events
    104 bytes (33 words) - 11:09, 19 October 2022
  • Neural Networks
    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
  • Software Verification
    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
  • 14:Event_Series ILP - International Conference on Inductive Logic Programming
    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
  • 14:Event ICLP 2009 (section 25th International Conference on Logic Programming (ICLP 2009))
    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
  • 14:Event_Series FM - International Symposium on Formal Methods
    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
  • 14:Event ICLP 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
  • Event Series With Missing Maintainer
    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
  • 14:Event_Series LPAR - Logic Programming and Automated Reasoning
    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
  • 14:Event ILP 2009
    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
  • 14:Event ICLP 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
  • 14:Event ALPSWS 2008 (category Logic)
    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
  • 14:Event ILP 2019
    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
  • Formal Methods
    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
  • 14:Event KR 2008
    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
  • 14:Event_Series ILPS - International Logic Programming Symposium
    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
  • 14:Event ILP 2017
    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
  • 14:Event ILP 2018
    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
  • 14:Event_Series FLOPS - International Symposium on Functional and Logic Programming
    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
  • 14:Event DAMP 2008
    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
  • 14:Event FLOPS 2020
    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
  • 14:Event ILPS 2020
    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
  • 14:Event LPAR 2008
    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
  • 14:Event ILP 2020
    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
  • 14:Event DAMP 2006
    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
  • 14:Event_Series ALP - International Conference on Algebraic and Logic Programming
    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
  • 14:Event LPNMR 2009
    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
  • 14:Event ICLP 2015
    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
  • 14:Event ICLP 2014
    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
  • 14:Event ICLP 2012
    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
  • 14:Event ICLP 2016
    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
  • 14:Event ICLP 2011
    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
  • 14:Event ICLP 2013
    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
  • 14:Event ICLP 2021
    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
  • 14:Event ICLP 2017
    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
  • 14:Event ICLP 2020
    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
  • 14:Event ICLP 2010
    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
  • FIND
    DevelopmentProgram AnalysisProgram DebuggingProgrammingProgramming AbstractionsProgramming LanguageProgramming Language DesignProgramming ModelsProgramming Pa
    305 bytes (1,165 words) - 16:17, 2 February 2023
  • 14:Event ICLP 2019
    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
  • 14:Event ICLP 2018
    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
  • 14:Event LPAR 2020
    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
  • 14:Event ASPOCP 2008 (category Logic)
    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
  • 14:Event DAMP 2007
    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
  • 14:Event_Series PLILP - Symposium on Programming Language Implementation and Logic Programming
    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

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://www.confident-conference.org:443/index.php/Special:Search"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information