咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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...
来源: 评论
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:...
来源: 评论
Datalog-2.0 2022 - Proceedings of the 4th international Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022
Datalog-2.0 2022 - Proceedings of the 4th International Work...
收藏 引用
4th international Workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2022
the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchang...
来源: 评论
Economical high-speed inspection line for Tin-capped glass vials  16
Economical high-speed inspection line for Tin-capped glass v...
收藏 引用
16th international conference on Computer and Automation Engineering (ICCAE)
作者: Nanduri, Chanakya Hegde, Prarthana Hukkeri, Amey Rawashdeh, Nathir A. Michigan Technol Univ Dept Appl Comp Houghton MI 49931 USA
Vial cap inspection includes checking for missing caps, vial height or any other damage. Possible failures could be seemingly minor cosmetic problems, such as scratches or tiny punctures which could indicate potential... 详细信息
来源: 评论
Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal logic Specifications  16
Path Planning for Autonomous Vehicle Turning at Intersection...
收藏 引用
16th international conference on Computer and Automation Engineering (ICCAE)
作者: Wang, Yujin Huang, Zhaoyan Dong, Shiying Chu, Hongqing Yin, Xiang Gao, Bingzhao Tongji Univ Sch Automot Studies Shanghai Peoples R China Jilin Univ Dept Control Sci & Engn Changchun Peoples R China Shanghai Jiao Tong Univ Dept Automat Shanghai Peoples R China
this work establishes signal temporal logic specifications for driving tasks that autonomous vehicle should execute when turning at intersections. the specifications are based on traffic regulations of China. By encod... 详细信息
来源: 评论
Towards declarative intent processing and conflict resolution in IBN  16
Towards declarative intent processing and conflict resolutio...
收藏 引用
16th IEEE/ACM international conference on Utility and Cloud Computing (UCC) / 10th IEEE/ACM international conference on Big Data Computing, Applications and Technologies (BDCAT)
作者: Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
Intent-based networking aims at achieving automated network management by allowing users to express desired outcomes rather than manually configure network resources. In this poster paper, by means of an example, we i... 详细信息
来源: 评论
A Comparative Study of three Neural-Symbolic Approaches to inductive logic programming  16th
A Comparative Study of Three Neural-Symbolic Approaches to I...
收藏 引用
16th international conference on logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Beretta, Davide Monica, Stefania Bergenti, Federico Univ Parma Dipartimento Sci Matemat Fis & Informat I-43124 Parma Italy Univ Modena & Reggio Emilia Dipartimento Sci & Metodi Ingn I-42122 Reggio Emilia Italy
An interesting feature that traditional approaches to inductive logic programming are missing is the ability to treat noisy and non-logical data. Neural-symbolic approaches to inductive logic programming have been rec... 详细信息
来源: 评论
Declarative and linear programming approaches to service placement, reconciled  16
Declarative and linear programming approaches to service pla...
收藏 引用
IEEE 16th international conference on Cloud Computing (IEEE CLOUD)
作者: Massa, Jacopo Forti, Stefano Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
this article proposes an approach to the data-aware multi-service application placement problem in Cloud-Edge settings. We propose both declarative programming and a Mixed-Integer Linear programming (MILP) approach to... 详细信息
来源: 评论
Analytical concepts of causal inference and intensification of data prioritizing meta-heuristic approach  16
Analytical concepts of causal inference and intensification ...
收藏 引用
16th international conference on Electronics, Computers and Artificial Intelligence, ECAI 2024
作者: Polkowski, Zdzislaw Mishra, Jyoti Prakash Mishra, Sambit Kumar Jan Wyzykowski University Polkowice Poland Gandhi Institute for Education and Technology Bhubaneswar Affiliated to Biju Patnaik University of Technology Odisha Rourkela India
In general data science is the prioritization on large size data provisioning multidisciplinary approach towards extraction of meaningful insights in general as well as business applications. In this context, general ... 详细信息
来源: 评论
the Minimal Negated Model Semantics of Assumable logic Programs  16th
The Minimal Negated Model Semantics of Assumable Logic Progr...
收藏 引用
16th international conference on Knowledge Science, Engineering and Management (KSEM)
作者: Zhang, Shutao Zhang, Zhizheng Southeast Univ Nanjing Jiangsu Peoples R China
Assumable logic programming (ALP) extends the regular logic programs with an assumption operator C. the intuition of Cp is that it is acceptable to assume p unless it is forced not to. this paper presents the minimal ... 详细信息
来源: 评论