咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 3 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 24 篇 工学
    • 22 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 3 篇 信息与通信工程
    • 2 篇 电气工程
    • 2 篇 生物工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
  • 9 篇 理学
    • 7 篇 数学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...

主题

  • 3 篇 artificial intel...
  • 2 篇 three-dimensiona...
  • 2 篇 robot programmin...
  • 2 篇 inductive logic ...
  • 2 篇 semantics
  • 2 篇 computer program...
  • 2 篇 dynamic programm...
  • 2 篇 logics and meani...
  • 2 篇 point cloud comp...
  • 1 篇 internet of thin...
  • 1 篇 object oriented ...
  • 1 篇 surveys
  • 1 篇 programming prof...
  • 1 篇 runtime
  • 1 篇 internet of thin...
  • 1 篇 end-user develop...
  • 1 篇 information syst...
  • 1 篇 semantic segment...
  • 1 篇 empowerment
  • 1 篇 microarchitectur...

机构

  • 1 篇 universidade fed...
  • 1 篇 faculty of engin...
  • 1 篇 radboud univ nij...
  • 1 篇 nazarbayev unive...
  • 1 篇 univ london impe...
  • 1 篇 department of co...
  • 1 篇 univ pisa pisa
  • 1 篇 university of ba...
  • 1 篇 software composi...
  • 1 篇 abteilung progra...
  • 1 篇 politecnico di m...
  • 1 篇 univ politecn va...
  • 1 篇 departamento de ...
  • 1 篇 departement of p...
  • 1 篇 national aerospa...
  • 1 篇 japan advanced i...
  • 1 篇 fraunhofer insti...
  • 1 篇 cnr isti pisa
  • 1 篇 miyazaki univ mi...
  • 1 篇 univ bari a moro...

作者

  • 2 篇 cena federica
  • 2 篇 mattioli andrea
  • 2 篇 breve bernardo
  • 2 篇 esposito florian...
  • 2 篇 rizvi mehdi
  • 2 篇 balducci fabrizi...
  • 1 篇 koopman pieter
  • 1 篇 perin fabrizio
  • 1 篇 antonio cerone
  • 1 篇 hirschfeld rober...
  • 1 篇 guttmann walter
  • 1 篇 lisi francesca a...
  • 1 篇 h. fujita
  • 1 篇 durán f.
  • 1 篇 gentiane venture
  • 1 篇 kitzelmann emanu...
  • 1 篇 steffen ihlenfel...
  • 1 篇 qin jing
  • 1 篇 hernandez-orallo...
  • 1 篇 ferri c.

语言

  • 33 篇 英文
  • 1 篇 其他
检索条件"任意字段=3rd International Workshop on Approaches and Applications of Inductive Programming"
34 条 记 录,以下是1-10 订阅
排序:
Answer Set programming and Neurosymbolic AI: applications and Future Perspectives (Invited Talk)  3rd
Answer Set Programming and Neurosymbolic AI: Applications a...
收藏 引用
3rd international workshop on Hybrid Models for Coupling Deductive and inductive Reasoning, HYDRA 2024
作者: Borroto, Manuel Ielo, Antonio Mazzotta, Giuseppe Ricca, Francesco University of Calabria Arcavacata (CS) Cosenza Italy
Answer Set programming (ASP) is a well-known symbolic AI formalism developed in the area of knowledge representation and reasoning. This paper reports on some blendings of ASP with neural approaches, that ca... 详细信息
来源: 评论
Recent Improvements of MagicHaskeller
Recent Improvements of MagicHaskeller
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Katayama, Susumu Miyazaki Univ Miyazaki 8892155 Japan
MagicHaskeller is our inductive functional programming library based on systematic search. In this paper we introduce two recent improvements to MagicHaskeller, i.e. 1) clarification and extension to arbitrary-rank po... 详细信息
来源: 评论
inductive programming: A Survey of Program Synthesis Techniques
Inductive Programming: A Survey of Program Synthesis Techniq...
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Kitzelmann, Emanuel Univ Bamberg Cognit Syst Grp Bamberg Germany
inductive programming (IP)-the use of inductive reasoning methods for programming, algorithm design, and software development is a currently emerging research field. A major subfield is inductive program synthesis, th... 详细信息
来源: 评论
Synthesis of Functions Using Generic programming
Synthesis of Functions Using Generic Programming
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Koopman, Pieter Plasmeijer, Rinus Radboud Univ Nijmegen Nijmegen Inst Comp & Informat Sci Nijmegen Netherlands
This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or A-terms obeying an input output behavior specified by a number of ex... 详细信息
来源: 评论
Incremental Learning in inductive programming
Incremental Learning in Inductive Programming
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Henderson, Robert Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming this, we introduce incremental learnin... 详细信息
来源: 评论
approaches and applications of inductive programming - Third international workshop, AAIP 2009, Revised Papers
Approaches and Applications of Inductive Programming - Third...
收藏 引用
3rd international workshop on approaches and applications of inductive programming, AAIP 2009
The proceedings contain 9 papers. The topics discussed include: deriving a relationship from a single example;synthesis of functions using generic programming;inductive programming: a survey of program synthesis techn...
来源: 评论
Generalisation Operators for Lists Embedded in a Metric Space
Generalisation Operators for Lists Embedded in a Metric Spac...
收藏 引用
3rd international workshop on approaches and applications of inductive programming
作者: Estruch, V. Ferri, C. Hernandez-Orallo, J. Ramirez-Quintana, M. J. Univ Politecn Valencia DSIC Valencia 46020 Spain
In some application areas, similarities and distances are used to calculate how similar two objects are in order to use these measurements to find related objects, to cluster a set of objects, to make classifications ... 详细信息
来源: 评论
Combining logic programming with description logics and machine learning for the semantic web
Combining logic programming with description logics and mach...
收藏 引用
3rd international workshop on applications of Logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on Logic programming, ICLP 2008
作者: Lisi, Francesca A. Esposito, Floriana Dipartimento di Informatica Università degli Studi di Bari Via E. Orabona 4 70125 Bari Italy
In this paper we consider an extension of Logic programming that tackles the SemanticWeb challenge of acquiring rules combined with ontologies. To face this bottleneck problem we propose a framework that resorts to th... 详细信息
来源: 评论
Deep Community Detection in Attributed Temporal Graphs: Experimental Evaluation of Current approaches  3
Deep Community Detection in Attributed Temporal Graphs: Expe...
收藏 引用
3rd international workshop on Graph Neural Networking
作者: Passos, Nelson A. R. A. Carlini, Emanuele Trani, Salvatore Univ Pisa Pisa Italy CNR Pisa Italy
Recent advances in network representation learning have sparked renewed interest in developing strategies for learning on spatiotemporal signals, crucial for applications like traffic forecasting, recommendation syste... 详细信息
来源: 评论
Answer set programming - A domain in need of explanation: A position paper
Answer set programming - A domain in need of explanation: A ...
收藏 引用
3rd international workshop on Explanation-Aware Computing, ExaCt 2008
作者: Brain, Martin De Vos, Marina Department of Computer Science University of Bath United Kingdom
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks i... 详细信息
来源: 评论