咨询与建议

限定检索结果

文献类型

  • 158 篇 会议
  • 5 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 165 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 123 篇 工学
    • 119 篇 计算机科学与技术...
    • 79 篇 软件工程
    • 20 篇 电气工程
    • 4 篇 信息与通信工程
    • 3 篇 控制科学与工程
    • 2 篇 动力工程及工程热...
    • 2 篇 电子科学与技术(可...
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 航空宇航科学与技...
    • 2 篇 农业工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 环境科学与工程(可...
  • 42 篇 理学
    • 37 篇 数学
    • 9 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 13 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 6 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 26 篇 logic programmin...
  • 8 篇 constraint theor...
  • 5 篇 constraint satis...
  • 5 篇 semantics
  • 4 篇 constraint logic...
  • 4 篇 computer program...
  • 4 篇 functional progr...
  • 3 篇 object oriented ...
  • 3 篇 prolog (programm...
  • 2 篇 computer science
  • 2 篇 computer circuit...
  • 2 篇 formal logic
  • 2 篇 programming
  • 2 篇 model checking
  • 2 篇 pattern matching
  • 2 篇 embedded systems
  • 2 篇 mathematical pro...
  • 2 篇 robot programmin...
  • 2 篇 design for verif...
  • 2 篇 mapping

机构

  • 3 篇 ercis leonardo-c...
  • 3 篇 univ complutense...
  • 2 篇 institut für inf...
  • 2 篇 fraunhofer first...
  • 2 篇 institut für inf...
  • 2 篇 department of co...
  • 2 篇 cau kiel inst in...
  • 2 篇 michigan state u...
  • 2 篇 htwk leipzig fak...
  • 1 篇 arm inc architec...
  • 1 篇 inria
  • 1 篇 kielce univ tech...
  • 1 篇 facoltà di scien...
  • 1 篇 penn state univ ...
  • 1 篇 singapore manage...
  • 1 篇 univ politecn ca...
  • 1 篇 lomonosov moscow...
  • 1 篇 university of ap...
  • 1 篇 univ marburg mar...
  • 1 篇 comenius unversi...

作者

  • 8 篇 hanus michael
  • 3 篇 hofstedt petra
  • 3 篇 dageförde jan c.
  • 3 篇 kuchen herbert
  • 3 篇 antoy sergio
  • 2 篇 waldmann johanne...
  • 2 篇 sarna-starosta b...
  • 2 篇 teegen finn
  • 2 篇 winkelmann hendr...
  • 2 篇 liu ke
  • 2 篇 caballero rafael
  • 2 篇 lepper markus
  • 2 篇 dillon laura k.
  • 2 篇 seipel dietmar
  • 2 篇 mossakowski till
  • 2 篇 dasseville ingma...
  • 2 篇 leuschel michael
  • 2 篇 löffler sven
  • 2 篇 saenz-perez fern...
  • 2 篇 krings sebastian

语言

  • 163 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"任意字段=18th International Workshop on Functional and Constraint Logic Programming"
165 条 记 录,以下是1-10 订阅
排序:
28th international workshop on functional and constraint logic programming, WFLP 2020
28th International Workshop on Functional and Constraint Log...
收藏 引用
28th international workshop on functional and constraint logic programming, WFLP 2020
the proceedings contain 8 papers. the special focus in this conference is on functional and constraint logic programming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing...
来源: 评论
22nd international Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on functional and constraint logic programming, WFLP 2019
22nd International Conference on Applications of Declarative...
收藏 引用
22nd international Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on functional and constraint logic programming, WFLP 2019
the proceedings contain 18 papers. the special focus in this conference is on Applications of Declarative programming and Knowledge Management. the topics include: Facets of the PIE Environment for Proving, Interpolat...
来源: 评论
constraint-logic Object-Oriented programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing  18
Constraint-Logic Object-Oriented Programming with Free Array...
收藏 引用
18th international Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
作者: Winkelmann, Hendrik Kuchen, Herbert Univ Munster Dept Informat Syst Leonardo Campus 3 Munster Germany
constraint-logic object-oriented programming is a young programming paradigm that aims to bring constraint-solving techniques to an audience more accustomed to imperative programming. A prototypical language of this p... 详细信息
来源: 评论
On Teaching constraint-based Modeling and Algorithms for Decision Support in Prolog  40
On Teaching Constraint-based Modeling and Algorithms for Dec...
收藏 引用
workshop of the 40th international Conference on logic programming, ICLP-WS 2024
作者: Fages, François Inria Saclay Ecole Polytechnique Palaiseau France
constraint programming techniques are particularly successful at solving discrete optimization problems such as resource allocation, scheduling or transport problems which are ubiquitous in the industry. Although hist... 详细信息
来源: 评论
26th international workshop on functional and constraint logic programming, WFLP 2018
26th International Workshop on Functional and Constraint Log...
收藏 引用
26th international workshop on functional and constraint logic programming, WFLP 2018
the proceedings contain 10 papers. the special focus in this conference is on functional and constraint logic programming. the topics include: Code Generation for Higher Inductive Types: A Study in Agda Metaprogrammin...
来源: 评论
Personalized Learner Assistance through Dynamic Adaptation of Chatbot Using Fuzzy logic Knowledge Modeling  18
Personalized Learner Assistance Through Dynamic Adaptation o...
收藏 引用
18th international workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2023
作者: Troussas, Christos Krouska, Akrivi Mylonas, Phivos Sgouropoulou, Cleo University of West Attica Department of Informatics and Computer Engineering Egaleo Greece
Personalized approaches and tailored support have become increasingly significant in the field of online education, aiming to enhance the overall learning experiences of learners. this paper introduces a novel approac... 详细信息
来源: 评论
Personalized Learner Assistance through Dynamic Adaptation of Chatbot Using Fuzzy logic Knowledge Modeling
Personalized Learner Assistance Through Dynamic Adaptation o...
收藏 引用
international workshop on Semantic Media Adaptation and Personalization (SMAP)
作者: Christos Troussas Akrivi Krouska Phivos Mylonas Cleo Sgouropoulou Department of Informatics and Computer Engineering University of West Attica Egaleo Greece
Personalized approaches and tailored support have become increasingly significant in the field of online education, aiming to enhance the overall learning experiences of learners. this paper introduces a novel approac...
来源: 评论
constraint-logic Object-Oriented programming with Free Arrays  28th
Constraint-Logic Object-Oriented Programming with Free Array...
收藏 引用
28th international workshop on functional and constraint logic programming, WFLP 2020
作者: Winkelmann, Hendrik Dageförde, Jan C. Kuchen, Herbert ERCIS Leonardo-Campus 3 Münster48149 Germany
constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. the ability to use logic variables, constraints, non-deterministic search, and ... 详细信息
来源: 评论
DSM 2021 - Proceedings of the 18th ACM SIGPLAN international workshop on Domain-Specific Modeling, co-located with SPLASH 2021
DSM 2021 - Proceedings of the 18th ACM SIGPLAN International...
收藏 引用
18th ACM SIGPLAN international workshop on Domain-Specific Modeling, DSM 2021, co-located with SPLASH 2021
the proceedings contain 6 papers. the topics discussed include: MOLEGA: modeling language for educational card games;PrintTalk: a constraint-based imperative DSL for 3D printing;industrial experiences with the evoluti...
来源: 评论
constraint answer set programming as a tool to improve legislative drafting: A rules as code experiment  21
Constraint answer set programming as a tool to improve legis...
收藏 引用
18th international Conference on Artificial Intelligence and Law, ICAIL 2021
作者: Morris, Jason Singapore Management University Centre for Computational Law Singapore
"Rules as Code"in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 that legislation can be represented in declarative code for automation has long been recognize... 详细信息
来源: 评论