咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是391-400 订阅
排序:
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge  12
Querying Relational Databases with Speech-Recognition Driven...
收藏 引用
12th Symposium on Languages, Applications and Technologies, SLATE 2023
作者: Seipel, Dietmar Förster, Benjamin Liebl, Magnus Waleska, Marcel Abreu, Salvador Department of Computer Science Universität Würzburg Germany Nova–Lincs University of Évora Portugal
We are extending the keyword–based query interface DdQl for relational databases which is based on contextual background knowledge such as suitable join conditions and which was proposed in [10]. In the previous pape... 详细信息
来源: 评论
Compilation of Tight ASP Programs  26
Compilation of Tight ASP Programs
收藏 引用
26th European Conference on Artificial Intelligence, ECAI 2023
作者: 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, the ... 详细信息
来源: 评论
Enhancing ASP(Q) evaluation  22
Enhancing ASP(Q) evaluation
收藏 引用
22nd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023 DP 2023
作者: Faber, Wolfgang Mazzotta, Giuseppe Ricca, Francesco Alpen-Adria Universität Klagenfurt Austria University of Calabria Rende Italy
is an extension of Answer Set programming (ASP) that enables the declarative and modular modeling of problems within the entire polynomial hierarchy. The first implementation of ASP(Q), known as qasp, utilized a trans... 详细信息
来源: 评论
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 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 ... 详细信息
来源: 评论
Interactive Configuration with ASP Multi-Shot Solving  25
Interactive Configuration with ASP Multi-Shot Solving
收藏 引用
25th International Workshop on Configuration, ConfWS 2023
作者: Comploi-Taupe, Richard Falkner, Andreas Hahn, Susana Schaub, Torsten Schenner, Gottfried Siemens AG Österreich Vienna Austria University of Potsdam Germany Potassco Solutions Germany
The area of product configuration has witnessed a growing demand for systems that can effectively guide users through the configuration process. These systems facilitate interactivity during configuration by combining... 详细信息
来源: 评论
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... 详细信息
来源: 评论
logical English Demonstration  39
Logical English Demonstration
收藏 引用
39th International Conference on logic programming, ICLP 2023
作者: Kowalski, Robert Dávila, Jacinto Department of Computing Imperial College London United Kingdom Universidad de Los Andes Merida Venezuela
logical English (LE) is a natural language syntax for pure Prolog and other logic programming languages, such as ASP and s(CASP). Its main applications until now have been to explore the representation of a wide range... 详细信息
来源: 评论
Sampling and probabilistic inference in D/Slps.  39
Sampling and probabilistic inference in D/Slps.
收藏 引用
39th International Conference on logic programming Workshops, ICLP Workshops 2023
作者: Angelopoulos, Nicos The Pirbright Institute United Kingdom
Stochastic logic programming (Slp) and Distributional logic programming (Dlp) are two closely related probabilistic logic programming formalisms that have been previously studied in the context of machine learning. Th... 详细信息
来源: 评论
Omega-Completeness of the logic of Here-and-There and Strong Equivalence of logic Programs  20
Omega-Completeness of the Logic of Here-and-There and Strong...
收藏 引用
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
作者: Fandinno, Jorge Lifschitz, Vladimir University of Nebraska Omaha United States University of Texas Austin United States
Theory of strongly equivalent transformations is an essential part of the methodology of representing knowledge in answer set programming. Strong equivalence of two programs can be sometimes characterized as the possi... 详细信息
来源: 评论