咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 8,404 篇 电子文献
  • 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,408 篇 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,029 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8408 条 记 录,以下是391-400 订阅
排序:
Towards a Human-Centered Framework for the Assessment of Subjective Social Values in Buildings  17
Towards a Human-Centered Framework for the Assessment of Sub...
收藏 引用
17th International Rule Challenge and 7th Doctoral Consortium @ RuleM+RR, RuleML+RR-Companion 2023
作者: Zayed, Yazan Nidal Hasan Aarhus University Aarhus Denmark
The importance of enhancing the sustainability of buildings has been sharply growing over the last few years. One of the most significant aspects in this regard is social sustainability, as it encompasses the well-bei... 详细信息
来源: 评论
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints  37
Breaking the Negative Cycle: Exploring the Design Space of S...
收藏 引用
37th European Conference on Object-Oriented programming, ECOOP 2023
作者: Starup, Jonathan Lindegaard Madsen, Magnus Lhoták, Ondřej Department of Computer Science Aarhus University Denmark David R. Cheriton School of Computer Science University of Waterloo Canada
The λDat calculus brings together the power of functional and declarative logic programming in one language. In λDat, Datalog constraints are first-class values that can be constructed, passed around as arguments, r... 详细信息
来源: 评论
Using Metaprogramming Techniques to Enhance Eclingo Performance Through the Reification Format
Using Metaprogramming Techniques to Enhance Eclingo Performa...
收藏 引用
作者: Lillo Portero, Eleuterio Juan University of Nebraska at Omaha
学位级别:M.S., Master of Science/Master of Surgery
Answer Set programming is an automated reasoning technology that has become a prime candidate for solving knowledge-intense search and optimization problems. One of the main reasons of its success is the availability ... 详细信息
来源: 评论
Verification of Prev-Free Communicating Datalog Processes  38
Verification of Prev-Free Communicating Datalog Processes
收藏 引用
38th Italian Conference on Computational logic, CILC 2023
作者: Di Cosmo, Francesco Free University of Bozen-Bolzano Italy
Communicating Datalog Programs (CDPs) are a distributed computing model grounded on logic programming, where networks of nodes perform Datalog-like computations, leveraging also on information coming from incoming mes... 详细信息
来源: 评论
A Dataset of Contractual Events in Court Decisions  39
A Dataset of Contractual Events in Court Decisions
收藏 引用
39th International Conference on logic programming Workshops, ICLP Workshops 2023
作者: Paulino-Passos, Guilherme Satoh, Ken Toni, Francesca Department of Computing Imperial College London United Kingdom Principles of Informatics Research Division National Institute of Informatics Tokyo Japan
The promise of automation of legal reasoning is developing technology that reduces human time required for legal tasks or that improves human performance on such tasks. In order to do so, different methods and systems... 详细信息
来源: 评论
A Declarative Approach to Compact Controllers for FOND Planning via Answer Set programming  26
A Declarative Approach to Compact Controllers for FOND Plann...
收藏 引用
26th European Conference on Artificial Intelligence, ECAI 2023
作者: Yadav, Nitin Sardina, Sebastian The University of Melbourne Australia Rmit University Australia
We present an approach to non-deterministic planning under full observability via Answer Set programming. The technique can synthesise compact policies, handle both fair and unfair actions simultaneously, and readily ... 详细信息
来源: 评论
Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition  30
Answer Set Automata: A Learnable Pattern Specification Frame...
收藏 引用
30th International Symposium on Temporal Representation and Reasoning, TIME 2023
作者: Katzouris, Nikos Paliouras, Georgios Institute of Informatics National Center for Scientific Research "Demokritos" Athens Greece
Complex Event Recognition (CER) systems detect event occurrences in streaming input using predefined event patterns. Techniques that learn event patterns from data are highly desirable in CER. Since such patterns are ... 详细信息
来源: 评论
Decidability Borders of Verification of Communicating Datalog Agents  20th
Decidability Borders of Verification of Communicating Data...
收藏 引用
Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023
作者: Di Cosmo, Francesco Free University of Bozen-Bolzano Bolzano Italy
We present our recent results in charting the decidability boundary of formal verification of Communicating Datalog Agents, a multi-agent system grounded in logic programming. © 2023, The Author(s), under exclusi... 详细信息
来源: 评论
Neuro-Symbolic techniques for Predictive Maintenance  31
Neuro-Symbolic techniques for Predictive Maintenance
收藏 引用
31st Symposium of Advanced Database Systems, SEBD 2023
作者: Liguori, Angelica Mungari, Simone Ritacco, Ettore Ricca, Francesco Manco, Giuseppe Iiritano, Salvatore University of Calabria Via P. Bucci Rende87036 Italy University of Udine Via Palladio Udine33100 Italy ICAR-CNR Via P. Bucci 8-9/C Rende87036 Italy Revelis S.r.l. Viale della Resistenza Rende87036 Italy
Predictive maintenance plays a key role in the core business of the industry due to its potential in reducing unexpected machine downtime and related cost. To avoid such issues, it is crucial to devise artificial inte... 详细信息
来源: 评论
A Sustainable Approach to Marketable Banking Stress and Burnout
A Sustainable Approach to Marketable Banking Stress and Burn...
收藏 引用
Congress on Smart Computing Technologies, CSCT 2022
作者: Miranda, José Machado, Joana Neves, Mariana Fdez-Riverola, Florentino Vicente, Henrique Neves, José Department of Computer Science ESEI—Escuela Superior de Ingeniería Informática CINBIO Universidade de Vigo Ourense32004 Spain Centro Algoritmi Universidade do Minho Braga Portugal Deloitte London United Kingdom SERGAS-UVIGO Vigo Spain Departamento de Química e Bioquímica Escola de Ciências e Tecnologia REQUIMTE/LAQV Universidade de Évora Évora Portugal Instituto Politécnico de Saúde do Norte CESPU Famalicão Portugal
It is now widely acknowledged that working in marketable banking (MB) can be a major source of stress. Meeting overly ambitious commercial targets or adapting to changes in the industry can often result in stressful s... 详细信息
来源: 评论