Search results

From ConfIDent
Results 21 – 70 of 260
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  

  • 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
  • 14:Event_Series LPMA - International Workshop on Logic Programming and Multi-Agents
    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
  • 14:Event DAMP 2009
    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
  • 14:Event LPNMR 2017
    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
  • 14:Event_Series ERCIM/CSCLP - ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming
    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
  • 14:Event LICS 2008 (category Logic)
    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
  • 14:Event MLG 2009
    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
  • 14:Event FLOW 2008 (section Program Committee)
    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
  • 14:Event ISMVL 2008
    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
  • 14:Event_Series LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
    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 Artificial Intelligence Computer Science LPAR - Logic Programming and Automated Reasoning Artificial Intelligence MAMI - International
    104 bytes (4,594 words) - 09:45, 1 September 2022
  • 14:Event ESOP 2013
    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
  • 14:Event CSL 2022
    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
  • 14:Event CSL 2021
    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
  • 14:Event ESOP 2011
    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
  • 14:Event LID 2008 (category Logic)
    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
  • 14:Event ESOP 2012
    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
  • 14:Event ESOP 2009
    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
  • 14:Event ESOP 2010
    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
  • 14:Event LEARN 2009
    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
  • 14:Event ESOP 2020
    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

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