咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,402 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 174 篇 hardware
  • 173 篇 programmable log...
  • 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
  • 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,030 篇 英文
  • 320 篇 其他
  • 33 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic programming"
8402 条 记 录,以下是111-120 订阅
排序:
Introduction to the TPLP Special Issue on User-oriented logic programming and Reasoning Paradigms
收藏 引用
THEORY AND PRACTICE OF logic programming 2019年 第2期19卷 109-113页
作者: Ellmauthaler, Stefan Schulz, Claudia Univ Leipzig Leipzig Germany Tech Univ Darmstadt Ubiquitous Knowledge Proc UKP Lab Darmstadt Germany
With the rise of machine learning, and more recently the overwhelming interest in deep learning, knowledge representation and reasoning (KRR) approaches struggle to maintain their position within the wider Artificial ... 详细信息
来源: 评论
Catalytic DNA Strand Displacement Cascades Applied to logic programming
收藏 引用
IEEE ACCESS 2019年 7卷 100428-100441页
作者: Ordonez-Guillen, Nelson E. Martinez-Perez, Israel M. CICESE Res Ctr Comp Sci Dept Ensenada 22860 Baja California Mexico
The field of DNA computing is devoted to the creation of devices capable of processing information signals encoded on biological substrates. These signals are intended to propagate in cascades of biochemical reactions... 详细信息
来源: 评论
Using logic programming for theory representation and scientific inference *
收藏 引用
NEW IDEAS IN PSYCHOLOGY 2021年 61卷
作者: Rohner, Jean-Christophe Kjellerstrand, Hakan Lund Univ Dept Psychol Lund Sweden
The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitativ... 详细信息
来源: 评论
A logic programming Language for Computational Nucleic Acid Devices
收藏 引用
ACS SYNTHETIC BIOLOGY 2019年 第7期8卷 1530-1547页
作者: Spaccasassi, Carlo Lakin, Matthew R. Phillips, Andrew Microsoft Res Cambridge CB1 2FB England Univ New Mexico Dept Comp Sci Albuquerque NM 87131 USA Univ New Mexico Ctr Biomed Engn Albuquerque NM 87131 USA
Computational nucleic acid devices show great potential for enabling a broad range of biotechnology applications, including smart probes for molecular biology research, in vitro assembly of complex compounds, high-pre... 详细信息
来源: 评论
Integrating Reasoning Systems for Trustworthy AI Proceedings of the 4th Workshop on logic and Practice of programming (LPOP)
arXiv
收藏 引用
arXiv 2024年
作者: Nerode, Anil Liu, Yanhong A.
This proceedings contains abstracts and position papers for the work to bepresented at the fourth logic and Practice of programming (LPOP) Workshop. Theworkshop is to be held in Dallas, Texas, USA, and as a hybrid eve... 详细信息
来源: 评论
programming with High-Level Abstractions Proceedings of the 3rd Workshop on logic and Practice of programming (LPOP)
arXiv
收藏 引用
arXiv 2024年
作者: Warren, David S. Liu, Yanhong A.
This proceedings contains abstracts and position papers for the workpresented at the third logic and Practice of programming (LPOP) Workshop. Theworkshop was held online, using zoom, at ***, on December 13,2022. The w... 详细信息
来源: 评论
logic programming: Laxness and saturation
收藏 引用
JOURNAL OF logicAL AND ALGEBRAIC METHODS IN programming 2018年 101卷 1-21页
作者: Komendantskaya, Ekaterina Power, John Heriot Watt Univ Dept Comp Sci Edinburgh Midlothian Scotland Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
A propositional logic program P may be identified with a P-f P-f-coalgebra on the set of atomic propositions in the program. The corresponding C(P-f P-f)-coalgebra, where C(PfPf) is the cofree comonad on Pf Pf, descri... 详细信息
来源: 评论
logic programming as a service
收藏 引用
THEORY AND PRACTICE OF logic programming 2018年 第5-6期18卷 846-873页
作者: Calegari, Roberta Denti, Enrico Mariani, Stefano Omicini, Andrea Alma Mater Studiorum Univ Bologna Bologna Italy Univ Modena & Reggio Emilia Reggio Emilia Italy Alma Mater Studiorum Univ Bologna Cesena Italy
New generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engine... 详细信息
来源: 评论
Towards Ethical Machines Via logic programming  35
Towards Ethical Machines Via Logic Programming
收藏 引用
35th International Conference on logic programming (ICLP)
作者: Dyoub, Abeer Costantini, Stefania Lisi, Francesca A. Univ Laquila DISIM Laquila Italy Univ Bari DIB Bari Italy Univ Bari CILA Bari Italy
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to en... 详细信息
来源: 评论
A Preliminary Report of Integrating Science and Computing Teaching Using logic programming  33
A Preliminary Report of Integrating Science and Computing Te...
收藏 引用
33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence
作者: Zhang, Yuanlin Wang, Jianlan Bolduc, Fox Murray, William G. Staffen, Wendy Texas Tech Univ Lubbock TX 79409 USA Laura Bush Middle Sch Lubbock TX USA
This paper presents a framework to integrate Science and Computing teaching using logic programming We developed two modules: one for chemistry and the other for chemistry and physics. They are implemented in an elect... 详细信息
来源: 评论