咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是11-20 订阅
排序:
4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022
4th EAI International Conference on Artificial Intelligence ...
收藏 引用
4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022
the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-...
来源: 评论
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation  13
Querying Labelled Data with Scenario Programs for Sim-to-Rea...
收藏 引用
13th ACM/IEEE international conference on Cyber-Physical Systems (ICCPS )
作者: Kim, Edward Shenoy, Jay Junges, Sebastian Fremont, Daniel J. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. Univ Calif Berkeley Berkeley CA 94720 USA Radboud Univ Nijmegen Nijmegen Netherlands Univ Calif Santa Cruz Santa Cruz CA 95064 USA
Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently. substantial research has focused on searching for failure scenarios in simulatio... 详细信息
来源: 评论
Value Iteration-based Decentralized Fuzzy Optimal Control of Modular Reconfigurable Robots via Adaptive Dynamic programming  5
Value Iteration-based Decentralized Fuzzy Optimal Control of...
收藏 引用
5th international conference on Robotics, Control and Automation Engineering, RCAE 2022
作者: Jiang, Hucheng An, Tianjiao Ma, Bing Li, Yuanchun Dong, Bo Changchun University of Technology Department of Control Science and Engineering Changchun China
In this article, a decentralized fuzzy optimal control method dependent on value iteration (VI) is proposed to settle the optimal trajectory tracking control problem of modular reconfigurable robots (MRRs) under the a... 详细信息
来源: 评论
Proceedings - 2021 13th international conference Knowledge and Systems Engineering, KSE 2021
Proceedings - 2021 13th International Conference Knowledge a...
收藏 引用
13th international conference Knowledge and Systems Engineering, KSE 2021
the proceedings contain 62 papers. the topics discussed include: recognizing modern Japanese magazines by combining deep learning with language models;mining high utility sequences with a novel utility function;fully ...
来源: 评论
Towards Verifying a Blocks World for Teams GOAL Agent  13
Towards Verifying a Blocks World for Teams GOAL Agent
收藏 引用
13th international conference on Agents and Artificial Intelligence (ICAART)
作者: Jensen, Alexander Birch Tech Univ Denmark Dept Appl Math & Comp Sci DTU Compute Richard Petersens PladsBldg 324 DK-2800 Lyngby Denmark
We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand... 详细信息
来源: 评论
Analysis of the Speed of Execution of Business logic in Applications Created in Different Software Environments
Analysis of the Speed of Execution of Business Logic in Appl...
收藏 引用
international conference on Advanced Computer Information Technologies (ACIT)
作者: Yaroslav Marchuk Bohdan Melnyk Nataliya Melnyk Department of Applied Mathematics Ivan Franko National University of Lviv Lviv Ukraine Department of Information Systems of Management Ivan Franko National University of Lviv Lviv Ukraine
the article is dedicated to the study of the execution speed of the back-end part of the application, which functions under high load conditions. the study was conducted for program codes written in different programm...
来源: 评论
Code Debugging with LLM-Generated Explanations of programming Error Messages
Code Debugging with LLM-Generated Explanations of Programmin...
收藏 引用
international conference on Engineering Education (ICEED)
作者: John S. Y. Lee Fengkai Liu Tianyuan Cai Department of Linguistics and Translation City University of Hong Kong Hong Kong SAR China
programming is an essential part of the curriculum for electrical, computer and software engineering students. Since one inevitably makes coding mistakes, it is important for programmers to develop debugging skills. H... 详细信息
来源: 评论
Implementing logic Operations in Gold Nanoparticles Colloidal Suspensions
Implementing Logic Operations in Gold Nanoparticles Colloida...
收藏 引用
international conference on Modern Circuits and Systems Technologies (MOCAST)
作者: Raphael Fortulan Noushin Raeisi Kheirabadi Alexei Antipov Carsten Jost Alessandro Chiolerio Andrew Adamatzky Unconventional Computing Laboratory University of the West of England Bristol UK PlasmaChem GmbH Schwarzschildstraβe 10 Berlin Germany Center for Bioinspired Soft Robotics Istituto Italiano di Tecnologia Genova Italy
this work experimentally demonstrates the computational capabilities of gold nanoparticle colloidal suspensions. Here we implement Boolean logic gates in Au nanoparticle solutions by applying binary input signals thro... 详细信息
来源: 评论
Tabular Interpretation of the Temporal Description logic LTLALC  13
Tabular Interpretation of the Temporal Description Logic LTL...
收藏 引用
13th international Scientific and Practical programming conference, UkrPROG 2022
作者: Reznichenko, Valerii Chystiakova, Inna Institute of Software Systems The National Academy of Sciences of Ukraine Academician Glushkov avenue 40 Kyiv03187 Ukraine
Description logic is widely used to describe and represent knowledge in the Semantic Web. It is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. thanks ... 详细信息
来源: 评论
Design of Chinese Learning App for international Students based on User Satisfaction  6
Design of Chinese Learning App for International Students ba...
收藏 引用
6th international conference on Smart Grid and Electrical Automation (ICSGEA)
作者: Wang, Chao Dalian Polytech Univ Dalian 116034 Peoples R China
the existing Chinese learning app has the problem of imperfect logic programming model, which leads to the low compatibility of app. this paper designs a Chinese learning app for international students based on user s... 详细信息
来源: 评论