咨询与建议

限定检索结果

文献类型

  • 6,088 篇 会议
  • 2,200 篇 期刊文献
  • 99 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 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
  • 49 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 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,020 篇 英文
  • 334 篇 其他
  • 33 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8406 条 记 录,以下是331-340 订阅
排序:
logical English meets legal English for swaps and derivatives
收藏 引用
ARTIFICIAL INTELLIGENCE AND LAW 2022年 第2期30卷 163-197页
作者: Kowalski, Robert Datoo, Akber Imperial Coll London Dept Comp London England D2 Legal Technol London England
In this paper, we present an informal introduction to logical English (LE) and illustrate its use to standardise the legal wording of the Automatic Early Termination (AET) clauses of International Swaps and Derivative... 详细信息
来源: 评论
A relational tsetlin machine with applications to natural language understanding
收藏 引用
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS 2022年 第1期59卷 121-148页
作者: Saha, Rupsa Granmo, Ole-Christoffer Zadorozhny, Vladimir, I Goodwin, Morten Univ Agder Ctr AI Res Dept IKT Agder Norway Univ Pittsburgh Sch Comp & Informat Pittsburgh PA USA
Tsetlin machines (TMs) are a pattern recognition approach that uses finite state machines for learning and propositional logic to represent patterns. In addition to being natively interpretable, they have provided com... 详细信息
来源: 评论
Most-Probable: A New Argumentation Semantics through Optimization★  8
Most-Probable: A New Argumentation Semantics through Optimiz...
收藏 引用
8th Workshop on Advances in Argumentation in Artificial Intelligence, AI^3 2024
作者: Pierro, Davide Di Ferilli, Stefano Università degli Studi di Bari Aldo Moro Italy
Reasoning in Abstract Argumentation is the activity of understanding subsets of arguments that resolve conflicts or can be used as a justification for a thesis. Several semantics have been proposed so far to identify ... 详细信息
来源: 评论
Employees balance and stability as key points in organizational performance
收藏 引用
logic JOURNAL OF THE IGPL 2022年 第4期30卷 664-678页
作者: Neves, Jose Maia, Nuno Marreiros, Goreti Neves, Mariana Fernandes, Ana Ribeiro, Jorge Araujo, Isabel Araujo, Nuno Avidos, Liliana Ferraz, Filipa Capita, Antonio Lori, Nicolas Alves, Victor Vicente, Henrique Univ Minho Ctr Algoritmi P-4710059 Braga Portugal Inst Univ Ciencias Saude CESPU P-4760409 Vila Nova De Famalicao Portugal Inst Super Engn Porto Dept Engn Informat P-4200072 Porto Portugal Deloitte 10 Audora Court London N8 7SB England Univ Evora Dept Quim REQUIMTE LAQV Escola Ciencias & Tecnol P-7000671 Evora Portugal Inst Politecn Viana do Castelo Escola Super Tecnol & Gestao P-4900347 Viana Do Castelo Portugal Inst Super Tecn Mil Luanda Angola Univ Minho Escola Med ICVS P-4710059 Braga Portugal
System analyses deal with interrelationships between different variables that keep the system in balance. In many analysis of complex thinking, a system is viewed as a complex unit in which the 'whole' is not ... 详细信息
来源: 评论
Fuzzy logic programs as hypergraphs. Termination results ?
收藏 引用
FUZZY SETS AND SYSTEMS 2022年 445卷 22-42页
作者: Diaz-Moreno, Juan Carlos Medina, Jesus Portillo, Jose R. Univ Cadiz Dept Math Cadiz Spain Univ Seville Dept Matemat Aplicada1 Seville Spain Univ Seville Inst Univ Invest Matemat Univ Sevilla IMUS Seville Spain
Graph theory has been a useful tool for logic programming in many aspects. In this paper, we propose an equivalent representation of multi-adjoint logic programs using hypergraphs, which are a generalization of classi... 详细信息
来源: 评论
Computing Abductive Explanations
收藏 引用
IEEE INTELLIGENT SYSTEMS 2022年 第6期37卷 18-26页
作者: Caroprese, Luciano Zumpano, Ester Bogaerts, Bart Univ Calabria I-87036 Arcavacata Di Rende Italy Vrije Univ Brussel B-1050 Elsene Belgium
We study the computation of constrained explanations in the framework of abductive logic programming. A general characteristic of abductive reasoning is the existence of multiple abductive explanations. Therefore, ide... 详细信息
来源: 评论
A Firewall Policy Anomaly Detection Framework for Reliable Network Security
收藏 引用
IEEE TRANSACTIONS ON RELIABILITY 2022年 第1期71卷 339-347页
作者: Togay, Cengiz Kasif, Ahmet Catal, Cagatay Tekinerdogan, Bedir Uludag Univ Dept Comp Engn TR-16059 Bursa Turkey Bursa Tech Univ Dept Comp Engn TR-16310 Bursa Turkey Qatar Univ Dept Comp Sci & Engn Doha 2713 Qatar Wageningen Univ & Res Informat Technol Grp NL-6708 PB Wageningen Netherlands
One of the key challenges in computer networks is network security. For securing the network, various solutions have been proposed, including network security protocols and firewalls. In the case of so-called packet-f... 详细信息
来源: 评论
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... 详细信息
来源: 评论