咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,168 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,365 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,701 篇 工学
    • 5,265 篇 计算机科学与技术...
    • 3,370 篇 软件工程
    • 581 篇 电气工程
    • 300 篇 控制科学与工程
    • 171 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,229 篇 数学
    • 118 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 580 篇 管理学
    • 332 篇 图书情报与档案管...
    • 280 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 63 篇 法学
    • 39 篇 社会学
    • 23 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,369 篇 logic programmin...
  • 605 篇 computer science
  • 478 篇 computer languag...
  • 344 篇 application soft...
  • 305 篇 artificial intel...
  • 250 篇 programming prof...
  • 183 篇 computer archite...
  • 179 篇 hardware
  • 176 篇 programmable log...
  • 171 篇 control systems
  • 170 篇 logic design
  • 157 篇 concurrent compu...
  • 156 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 144 篇 functional progr...
  • 143 篇 software enginee...
  • 132 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

  • 80 篇 schaub torsten
  • 58 篇 ricca francesco
  • 54 篇 vicente henrique
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 gebser martin
  • 47 篇 woltran stefan
  • 42 篇 faber wolfgang
  • 38 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 36 篇 son tran cao
  • 30 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 29 篇 maratea marco
  • 28 篇 sakama chiaki
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi
  • 26 篇 tompits hans

语言

  • 7,913 篇 英文
  • 404 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8369 条 记 录,以下是351-360 订阅
排序:
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... 详细信息
来源: 评论
Nourishing girls' passion for Computing Sciences: let's eliminate barriers and build bridges  16
Nourishing girls' passion for Computing Sciences: let's elim...
收藏 引用
16th Congress of Latin American Women in Computing, LAWCC 2024
作者: Cecchi, Laura A. Dahl, Verónica Grupo de Investigación en Lenguajes e Inteligencia Artificial Facultad de Informática Universidad Nacional Del Comahue Neuquén Argentina Computer Sciences Dept Simon Fraser University Vancouver Canada
Female under-representation in Computing Sciences is a structural problem and hence, solving it requires a profound social change. Indeed, our millenary cultures' collective unconscious contains ingrained position... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set programming  38
Scalable Enumeration of Trap Spaces in Boolean Networks via ...
收藏 引用
38th AAAI Conference on Artificial Intelligence, AAAI 2024
作者: Trinh, Giang Benhamou, Belaid Pastva, Samuel Soliman, Sylvain LIRICA Team LIS Aix-Marseille University Marseille France Institute of Science and Technology Klosterneuburg Austria Lifeware Team Inria Saclay Palaiseau France
Boolean Networks (BNs) are widely used as a modeling formalism in several domains, notably systems biology and computer science. A fundamental problem in BN analysis is the enumeration of trap spaces, which are hyperc... 详细信息
来源: 评论
A Rule-Based Approach for Designing and Composing Abstract Domains  33rd
A Rule-Based Approach for Designing and Composing Abstract D...
收藏 引用
33rd International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Jurjo, Daniel Morales, Jose Lopez-Garcia, Pedro Hermenegildo, Manuel Univ Politecn Madrid UPM Madrid Spain Spanish Council Sci Res CSIC Madrid Spain IMDEA Software Inst Madrid Spain
interpretation allows constructing sound static analysis tools by safely approximating program semantics. Frameworks for abstract interpretation typically provide an implementation of a specialized iteration strategy ... 详细信息
来源: 评论
On Heuer's Procedure for Verifying Strong Equivalence  18th
On Heuer's Procedure for Verifying Strong Equivalence
收藏 引用
18th European Conference on logics in Artificial Intelligence (JELIA)
作者: Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX USA
In answer set programming, two groups of rules are considered strongly equivalent if replacing one group by the other within any program does not affect the set of stable models. Jan Heuer has designed and implemented... 详细信息
来源: 评论
Testing of Horn Samplers  26
Testing of Horn Samplers
收藏 引用
26th International Conference on Artificial Intelligence and Statistics (AISTATS)
作者: Banerjee, Ansuman Chakraborty, Shayak Chakraborty, Sourav Meel, Kuldeep S. Sarkar, Uddalok Sen, Sayantan Indian Stat Inst Kolkata India Microsoft Corp Bangalore Karnataka India
Sampling over combinatorial spaces is a fundamental problem in artificial intelligence with a wide variety of applications. Since state-of-the-art techniques heavily rely on heuristics whose rigorous analysis remain b... 详细信息
来源: 评论
Declarative continuous reasoning in the cloud-IoT continuum
收藏 引用
JOURNAL OF logic AND COMPUTATION 2022年 第2期32卷 206-232页
作者: Forti, Stefano Bisicchia, Giuseppe Brogi, Antonio Univ Pisa Dept Comp Sci L Bruno Pontecorvo 3 I-56127 Pisa Italy
Developing and releasing multiservice applications rely upon a pipeline of automation tools known as Continuous Integration/Continuous Deployment. Among those tools, continuous reasoning is exploited by large companie... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Sorting Strategies for Interactive Conflict Resolution in ASP  39
Sorting Strategies for Interactive Conflict Resolution in AS...
收藏 引用
39th International Conference on logic programming
作者: Thevapalan, Andre Kern-Isberner, Gabriele Tech Univ Dortmund Dortmund Germany
Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary li... 详细信息
来源: 评论