咨询与建议

限定检索结果

文献类型

  • 293 篇 会议
  • 18 册 图书
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 229 篇 工学
    • 218 篇 计算机科学与技术...
    • 109 篇 软件工程
    • 23 篇 电气工程
    • 15 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 机械工程
    • 3 篇 建筑学
    • 3 篇 交通运输工程
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 生物工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 航空宇航科学与技...
    • 1 篇 农业工程
    • 1 篇 安全科学与工程
  • 47 篇 理学
    • 44 篇 数学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 大气科学
  • 14 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 7 篇 教育学
    • 7 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
  • 1 篇 医学

主题

  • 69 篇 logic programmin...
  • 17 篇 answer set progr...
  • 15 篇 inductive logic ...
  • 12 篇 mathematical log...
  • 11 篇 artificial intel...
  • 11 篇 logics and meani...
  • 10 篇 fuzzy logic
  • 10 篇 programming
  • 10 篇 programming lang...
  • 9 篇 software enginee...
  • 9 篇 logic
  • 7 篇 application soft...
  • 7 篇 logic gates
  • 7 篇 inductive logic ...
  • 7 篇 semantics
  • 7 篇 programming tech...
  • 7 篇 system testing
  • 6 篇 software enginee...
  • 6 篇 machine learning
  • 6 篇 algorithm analys...

机构

  • 3 篇 new mexico state...
  • 3 篇 univ calabria ar...
  • 3 篇 tu wien inst log...
  • 3 篇 tech univ dresde...
  • 2 篇 technological ed...
  • 2 篇 univ oxford oxfo...
  • 2 篇 univ nebraska om...
  • 2 篇 univ helsinki de...
  • 2 篇 network operatio...
  • 2 篇 univ freiburg in...
  • 2 篇 inria lille nord...
  • 2 篇 tech univ dortmu...
  • 2 篇 ecole polytech i...
  • 2 篇 univ paris 13 li...
  • 2 篇 univ pisa dept c...
  • 2 篇 tech univ munich...
  • 2 篇 portland state u...
  • 2 篇 univ london impe...
  • 2 篇 katholieke univ ...
  • 1 篇 bolsista do prog...

作者

  • 4 篇 riguzzi fabrizio
  • 4 篇 ricca francesco
  • 3 篇 gaggl sarah alic...
  • 3 篇 kramer stefan
  • 3 篇 page david
  • 3 篇 son tran cao
  • 3 篇 srinivasan ashwi...
  • 3 篇 froehler sebasti...
  • 3 篇 alphonse erick
  • 2 篇 muggleton stephe...
  • 2 篇 giordano laura
  • 2 篇 toivonen h.
  • 2 篇 ong irene m.
  • 2 篇 revoredo k.
  • 2 篇 bellodi elena
  • 2 篇 osmani aomar
  • 2 篇 bryant christoph...
  • 2 篇 ray oliver
  • 2 篇 hutter dieter
  • 2 篇 costa vitor sant...

语言

  • 314 篇 英文
  • 2 篇 中文
  • 1 篇 葡萄牙文
  • 1 篇 其他
检索条件"任意字段=16th International Conference on Inductive Logic Programming"
318 条 记 录,以下是1-10 订阅
排序:
inductive logic programming: 16th international conference, ILP 2006, Revised Selected Papers
Inductive Logic Programming: 16th International Conference, ...
收藏 引用
16th international conference of inductive logic programming, ILP 2006
the proceedings contain 36 papers. the topic discussed include: challenges to machine learning: relations between reality and appearance;first-order probabilistic languages: into the unknown;integration of learning an... 详细信息
来源: 评论
HYDRA-RCRA 2022 - Joint Proceedings of the 1st international Workshop on HYbrid Models for Coupling Deductive and inductive ReAsoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, co-located with the 16th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 2022
HYDRA-RCRA 2022 - Joint Proceedings of the 1st International...
收藏 引用
1st international Workshop on HYbrid Models for Coupling Deductive and inductive ReAsoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, HYDRA-RCRA 2022
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an appl...
来源: 评论
inductive logic programming: 24th international conference, ILP 2014 Nancy, France, September 14–16, 2014 Revised Selected Papers  24th
Inductive Logic Programming: 24th International Conference, ...
收藏 引用
24th international conference on inductive logic programming, ILP 2014
作者: Davis, Jesse Ramon, Jan Department of Computer Science KU Leuven Leuven Belgium
来源: 评论
inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
收藏 引用
2016年
作者: Jesse Davis Jan Ramon
this book constitutes the thoroughly refereed post-conference proceedings of the 24th international conference on inductive logic programming, ILP 2014, held in Nancy, France, in September 2014. the 14 revised papers ...
来源: 评论
10th international conference on inductive logic programming, ILP 2000
10th International Conference on Inductive Logic Programming...
收藏 引用
10th international conference on inductive logic programming, ILP 2000
the proceedings contain 16 papers. the special focus in this conference is on inductive logic programming. the topics include: A new algorithm for learning range restricted horn expressions;a refinement operator for d...
来源: 评论
Scaling Up Reasoning from Conditional Belief Bases  16th
Scaling Up Reasoning from Conditional Belief Bases
收藏 引用
16th international conference on Scalable Uncertainty Management, SUM 2024
作者: Beierle, Christoph Haldimann, Jonas Sanin, Arthur Schwarzer, Leon Spang, Aron Spiegel, Lars-Phillip von Berg, Martin Knowledge-Based Systems Faculty of Mathematics and Computer Science FernUniversität in Hagen Hagen58084 Germany Institute of Logic and Computation TU Wien Vienna1040 Austria University of Cape Town and CAIR Cape Town7700 South Africa
this paper introduces the online reasoning platform InfOCF-Web 2.0 that provides easy access to implementations of various inference methods for conditional belief bases. We present an overview of the realization...
来源: 评论
Certified inductive Synthesis for Online Mixed-Integer Optimization  25
Certified Inductive Synthesis for Online Mixed-Integer Optim...
收藏 引用
Proceedings of the ACM/IEEE 16th international conference on Cyber-Physical Systems (with CPS-IoT Week 2025)
作者: Marco Zamponi Emilio Incerto Daniele Masti Mirco Tribastone IMT School for Advanced Studies Lucca Italy GSSI Gran Sasso Science Institute L'Aquila Italy
In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of continuous and discrete variables. these ... 详细信息
来源: 评论
logic for programming, Artificial Intelligence, and Reasoning - 16th international conference, LPAR-16, Revised Selected Papers
Logic for Programming, Artificial Intelligence, and Reasonin...
收藏 引用
16th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR-16
the proceedings contain 28 papers. the topics discussed include: speed-up techniques for negation in grounding;constraint-based abstract semantics for temporal logic: a direct approach to design and implementation;on ...
来源: 评论
16th international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR 2010
16th International Conference on Logic for Programming, Arti...
收藏 引用
16th international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR 2010
the proceedings contain 28 papers. the special focus in this conference is on logic for programming. the topics include: logic and computation in a lambda calculus with intersection and union types;graded alternating-...
来源: 评论
16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022
16th International Conference on Logic Programming and Nonmo...
收藏 引用
16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022
the proceedings contain 39 papers. the special focus in this conference is on logic programming and Nonmonotonic Reasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming:...
来源: 评论