咨询与建议

限定检索结果

文献类型

  • 162 篇 会议
  • 16 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 134 篇 工学
    • 127 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 14 篇 电气工程
    • 13 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 信息与通信工程
    • 4 篇 建筑学
    • 2 篇 交通运输工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
  • 24 篇 理学
    • 19 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 9 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 56 篇 logic programmin...
  • 14 篇 mathematical log...
  • 12 篇 logics and meani...
  • 10 篇 artificial intel...
  • 9 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 computer circuit...
  • 7 篇 formal logic
  • 6 篇 semantics
  • 5 篇 temporal logic
  • 4 篇 optimization
  • 4 篇 programming tech...
  • 4 篇 algorithm analys...
  • 4 篇 knowledge repres...
  • 3 篇 fuzzy logic
  • 3 篇 programmable log...
  • 3 篇 higher-order log...
  • 3 篇 programming
  • 3 篇 symbolic and alg...
  • 3 篇 computer communi...

机构

  • 3 篇 new mexico state...
  • 2 篇 tu wien austria
  • 2 篇 tech univ munich...
  • 2 篇 eth dept comp sc...
  • 2 篇 institute of log...
  • 2 篇 katholieke univ ...
  • 2 篇 univ massachuset...
  • 2 篇 imdea software i...
  • 2 篇 michigan state u...
  • 2 篇 univ hawaii dept...
  • 2 篇 suny stony brook...
  • 2 篇 temple univ dept...
  • 1 篇 univ calabria de...
  • 1 篇 national institu...
  • 1 篇 escola politécni...
  • 1 篇 laboratoire pps ...
  • 1 篇 new mexico state...
  • 1 篇 university of te...
  • 1 篇 univ aizu grad s...
  • 1 篇 department of in...

作者

  • 3 篇 eiter thomas
  • 2 篇 pontelli e
  • 2 篇 giovannetti tani...
  • 2 篇 leone nicola
  • 2 篇 avrunin gs
  • 2 篇 sakama chiaki
  • 2 篇 yamaguchi takehi...
  • 2 篇 mehta f
  • 2 篇 fink m
  • 2 篇 woltran stefan
  • 2 篇 martono niken pr...
  • 2 篇 eiter t
  • 2 篇 serebrenik a
  • 2 篇 sciavicco guido
  • 2 篇 ohwada hayato
  • 2 篇 faber wolfgang
  • 2 篇 abe keisuke
  • 2 篇 nipkow t
  • 2 篇 dillon lk
  • 2 篇 inoue katsumi

语言

  • 182 篇 英文
  • 1 篇 其他
  • 1 篇 中文
检索条件"任意字段=19th International Conference on Logic Programming, ICLP 2003"
184 条 记 录,以下是11-20 订阅
排序:
Simulation of Strategies for Providing Information Security of the Transport and Logistics Center Based on Fuzzy logic Methods  19th
Simulation of Strategies for Providing Information Security ...
收藏 引用
19th international conference on Mathematical Modeling and Simulation of Systems, MODS 2024
作者: Trunov, Oleksii Dorosh, Mariia Skiter, Igor Trunova, Elena Voitsekhovska, Mariia Chernihiv Polytechnic National University 95 Shevchenko str. Chernihiv14035 Ukraine Institute for Safety Problems of Nuclear Power Plants of the National Academy of Sciences of Ukraine 36a Kirov str. Chernobyl07270 Ukraine
the article presents an approach to the strategic analysis of information security of transport and logistics centers (TLCs). the proposed method is based on expert assessments of the factors that determine the level ... 详细信息
来源: 评论
Data extraction from flash memory and reverse engineering using Xilinx 7 series FPGA boards  19
Data extraction from flash memory and reverse engineering us...
收藏 引用
19th international SoC Design conference (ISOCC) - SoC Technology Towards a New Era of Innovation
作者: Lee, Dongchan Lee, Sanghyun Cho, Mannhee Lee, Hyung-Min Kim, Youngmin Hongik Univ Sch Elect & Elect Eng Seoul South Korea Korea Univ Sch Elect Engn Seoul South Korea
In this paper, we introduce a general methodology of reverse engineering for Xilinx FPGA devices using flash memory for programming. Based on the structural analysis of the flash memory used for the most recent 7-Seri... 详细信息
来源: 评论
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal logic Specifications  19
Synthesis of Failure-Robust Plans for Multi-Robot Systems Un...
收藏 引用
19th IEEE international conference on Automation Science and Engineering, CASE 2023
作者: Huang, Feifei Li, Shaoyuan Yin, Xiang Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Department of Automation Shanghai200240 China
In this study, we address the multi-robot path planning problem for tasks specified by linear temporal logic (LTL) formulae. Unlike existing studies, we take into account the possibility of robot failures, where a fai... 详细信息
来源: 评论
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser  19
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
收藏 引用
19th international conference on Principles of Knowledge Representation and Reasoning, KR 2022
作者: Eiter, thomas Geibinger, Tobias Higuera, Nelson Musliu, Nysret Oetsch, Johannes Stepanova, Daria Institute for Logic and Computation TU Wien Favoritenstraße 9-11 Vienna1040 Austria CD-Lab Artis TU Wien Austria Bosch Center for AI Robert Bosch Campus 1 Renningen71272 Germany
We present the system ALASPO which implements Adaptive Large-neighbourhood search for Answer Set programming (ASP) Optimisation. Large-neighbourhood search (LNS) is a meta-heuristic where parts of a solution are destr... 详细信息
来源: 评论
Selecting User Queries in Interactive Job Scheduling  19thth
Selecting User Queries in Interactive Job Scheduling
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Varga, Johannes Raidl, Günther R. Rodemann, Tobias Institute of Logic and Computation TU Wien Vienna Austria Honda Research Institute Europe Offenbach Germany
When solving a job scheduling problem that involves humans, the times in which they are available must be taken into account. For practical acceptance of a scheduling tool, it is further crucial that the interaction&#... 详细信息
来源: 评论
Explainable and Ethical AI: A Perspective on Argumentation and logic programming  1
收藏 引用
19th international conference of the Italian-Association-for-Artificial-Intelligence (AIxIA)
作者: Calegari, Roberta Omicini, Andrea Sartor, Giovanni Alma Mater Studiorum Univ Bologna Alma AI Alma Mater Res Inst Human Ctr Artificial Bologna Italy Alma Mater Studiorum Univ Bologna DISI Cesena Italy
In this paper we sketch a vision of explainability of intelligent systems as a logic approach suitable to be injected into and exploited by the system actors once integrated with sub-symbolic techniques. In particular... 详细信息
来源: 评论
19th international Colloquium on theoretical Aspects of Computing, ICTAC 2022
19th International Colloquium on Theoretical Aspects of Comp...
收藏 引用
19th international Colloquium on theoretical Aspects of Computing, ICTAC 2022
the proceedings contain 29 papers. the special focus in this conference is on theoretical Aspects of Computing. the topics include: Structural Rules and Algebraic Properties of Intersection Types;quantitativ...
来源: 评论
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal logic Specifications
Synthesis of Failure-Robust Plans for Multi-Robot Systems Un...
收藏 引用
IEEE international conference on Automation Science and Engineering (CASE)
作者: Feifei Huang Shaoyuan Li Xiang Yin Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai China
In this study, we address the multi-robot path planning problem for tasks specified by linear temporal logic (LTL) formulae. Unlike existing studies, we take into account the possibility of robot failures, where a fai...
来源: 评论
Learning to Select Promising Initial Solutions for Large Neighborhood Search-Based Multi-Agent Path Finding  19thth
Learning to Select Promising Initial Solutions for Large N...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Huber, Marc Raidl, Günther R. Blum, Christian Institute of Logic and Computation TU Wien Vienna Austria Campus of UAB Spain
Anytime Multi-Agent Path Finding (MAPF) is a promising paradigm for finding fast and (near-)optimal solutions to large-scale multi-agent systems within a fixed time budget. the currently leading approach builds on Lar... 详细信息
来源: 评论
Day-Ahead Optimal Power Flow for Efficient Energy Management of Urban Microgrid
收藏 引用
IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS 2021年 第2期57卷 1285-1293页
作者: Arkhangelski, Jura Abdou-Tankari, Mahamadou Lefebvre, Gilles Univ Paris Est Creteil Environm & Syst Lab Ctr Res & Dev Heat Transfer F-9401 Creteil France
this study deals with the urban microgrid energy management that is dedicated to individual and collective self-consumption by providing flexibility to the distribution grid (DG). the proposed urban community microgri... 详细信息
来源: 评论