咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,197 篇 期刊文献
  • 106 册 图书
  • 17 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,403 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,728 篇 工学
    • 5,321 篇 计算机科学与技术...
    • 3,513 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,420 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 76 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 35 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,407 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,028 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8407 条 记 录,以下是331-340 订阅
排序:
Design of User Secondary Development System Based on Visual programming  20
Design of User Secondary Development System Based on Visual ...
收藏 引用
20th International Conference on AC and DC Power Transmission 2024, ACDC 2024
作者: Sun, Yun-Qian Xu, Yan-Yan Xu, Ling-Jun Li, Xin-Ling Zhang, Yu-Long XJ Electric Co. Ltd. Xuchang461000 China
In order to meet the diverse needs of smart substation users for relay protection devices, and to realize the personalized customization function of protection logic by engineering users, a user secondary development ... 详细信息
来源: 评论
Automated Playing of Survival Video Games with Commonsense Reasoning  40
Automated Playing of Survival Video Games with Commonsense R...
收藏 引用
Workshop of the 40th International Conference on logic programming, ICLP-WS 2024
作者: Hargreaves, Bryant Nguyen, Dan N. Kimbrell, Keegan Gupta, Gopal The University of Texas at Dallas Richardson United States
Don’t Starve is a survival video game where the objective is for the player to survive as long as possible without dying. The game is challenging to play due to new situations being randomly generated making survival... 详细信息
来源: 评论
On Syntactic Forgetting with relativized Strong Persistence  22
On Syntactic Forgetting with relativized Strong Persistence
收藏 引用
22nd International Workshop on Nonmonotonic Reasoning, NMR 2024
作者: Berthold, Matti ScaDS.AI Universität Leipzig Germany
Strong Persistence pSPq, since its perception ten years ago, has been at the center of attention in the realm of forgetting in logic programming. So-called forgetting instances, for which it is possible to obtain pSPq... 详细信息
来源: 评论
Avoidance of operational sampling errors in drinking water analysis
收藏 引用
AQUA-WATER INFRASTRUCTURE ECOSYSTEMS AND SOCIETY 2022年 第3期71卷 373-386页
作者: Fernandes, Ana Figueiredo, Margarida Ribeiro, Jorge Neves, Jose Vicente, Henrique Univ Lusofona Escola Ciencias & Tecnol Saude CBIOS Campo Grande 376 P-1749024 Lisbon Portugal Univ Evora Ctr Invest Educ & Psicol Dept Quim Escola Ciencias & Tecnol Rua Romao Ramalho 59 P-7000671 Evora Portugal Inst Politecn Viana do Castelo Rua Escola Ind & Comercial Nun Alvares Viana Do Castelo Portugal Inst Univ Ciencias Saude CESPU Rua Jose Antonio Vidal 81 P-4760409 Famalicao Portugal Univ Minho Ctr Algoritmi Campus GualtarRua Univ P-4710057 Braga Portugal Univ Evora Dept Quim REQUIMTE LAQV Escola Ciencias & Tecnol Rua Romao Ramalho 59 P-7000671 Evora Portugal
The internal audits carried out in the first half of 2019 in water laboratories as part of quality accreditation in accordance with ISO/IEC 17025:2017 showed a high frequency of adverse events in connection with sampl... 详细信息
来源: 评论
Deontic Paradoxes in ASP with Weak Constraints  39
Deontic Paradoxes in ASP with Weak Constraints
收藏 引用
39th International Conference on logic programming (ICLP)
作者: Hatschka, Christian Ciabattoni, Agata Eiter, Thomas TU Wien Inst Log & Computat Vienna Austria
The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the re... 详细信息
来源: 评论
Rejection in Abstract Argumentation: Harder Than Acceptance?  27
Rejection in Abstract Argumentation: Harder Than Acceptance?
收藏 引用
27th European Conference on Artificial Intelligence, ECAI 2024
作者: Fichte, Johannes K. Hecher, Markus Mahmood, Yasir Meier, Arne Linköping University Sweden Massachusetts Institute of Technology United States Universität Paderborn Germany Leibniz Universität Hannover Germany
Abstract argumentation is a popular toolkit for modeling, evaluating, and comparing arguments. Relationships between arguments are specified in argumentation frameworks (AFs), and conditions are placed on sets (extens... 详细信息
来源: 评论
Analysis and Optimization of Network Properties for Bionic Topology Hopfield Neural Network Using Gaussian-Distributed Small-World Rewiring Method
收藏 引用
IEEE ACCESS 2022年 10卷 95369-95389页
作者: Sun, Jun Sathasivam, Saratha Ali, Majid Khan Bin Majahar Univ Sains Malaysia USM Sch Math Sci Gelugor 11800 Penang Malaysia
The fully connected topology, which coordinates the connection of each neuron with all other neurons, remains the most commonly used structure in Hopfield-type neural networks. However, fully connected neurons may for... 详细信息
来源: 评论
Using Answer Set programming for Assigning Tasks to Computing Nodes  26
Using Answer Set Programming for Assigning Tasks to Computin...
收藏 引用
26th International Workshop on Configuration, ConfWS 2024
作者: Wotawa, Franz Institute of Software Technology Inffeldgasse 16b/2 GrazA-8010 Austria
Allocating tasks to computing nodes in a network is an important configuration problem. In the case of fail-safe networks, such configuration must be changed during operation if a computing node fails. Hence, a fast c... 详细信息
来源: 评论
Compilation of Tight ASP Programs  39
Compilation of Tight ASP Programs
收藏 引用
39th Italian Conference on Computational logic, CILC 2024
作者: Dodaro, Carmine Mazzotta, Giuseppe Ricca, Francesco University of Calabria Italy
Answer Set programming (ASP) is a well-known AI formalism. Traditional ASP systems, that follow the "ground&solve" approach, are intrinsically limited by the so-called grounding bottleneck. Basically, th... 详细信息
来源: 评论
MV-Datalog plus -: Effective Rule-based Reasoning with Uncertain Observations
收藏 引用
THEORY AND PRACTICE OF logic programming 2022年 第5期22卷 678-692页
作者: Lanzinger, Matthias Sferrazza, Stefano Gottlob, Georg Univ Oxford Oxford OX1 2JD England Tech Univ Wien Vienna Austria
Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like machine-learning systems, are not strictly binary but associated with some degree of (lack of) confidenc... 详细信息
来源: 评论