咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 588 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

  • 1,597 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 70 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 38 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 47 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是1501-1510 订阅
排序:
Omission-based Abstraction for Answer Set Programs∗
arXiv
收藏 引用
arXiv 2020年
作者: Saribatur, Zeynep G. Eiter, Thomas Institute of Logic and Computation TU Wien Vienna Austria
ion is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set programming (ASP), a convenient tool for problem so... 详细信息
来源: 评论
Unifying Framework for Optimizations in non-boolean Formalisms
arXiv
收藏 引用
arXiv 2022年
作者: Lierler, Yuliya University of Nebraska Omaha United States
Search-optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of search algorithms and declarative programming languages geared towar... 详细信息
来源: 评论
Symbolic Parameter Learning in Probabilistic Answer Set programming
arXiv
收藏 引用
arXiv 2024年
作者: Azzolini, Damiano Gentili, Elisabetta Riguzzi, Fabrizio Department of Environmental and Prevention Sciences University of Ferrara Ferrara Italy Department of Engineering University of Ferrara Ferrara Italy Department of Mathematics and Computer Science University of Ferrara Ferrara Italy
Parameter learning is a crucial task in the field of Statistical Relational Artificial Intelligence: given a probabilistic logic program and a set of observations in the form of interpretations, the goal is to learn t... 详细信息
来源: 评论
Using SWISH to realise interactive web based tutorials for logic based languages
arXiv
收藏 引用
arXiv 2018年
作者: Wielemaker, Jan Riguzzi, Fabrizio Kowalski, Bob Lager, Torbjörn Sadri, Fariba Calejo, Miguel Centrum Wiskunde & Informatica Amsterdam Netherlands Imperial College London United Kingdom University of Gothenburg Logical Contracts
programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move towards web based interfaces, such as Jupyter. Web based interfaces allow for the creation of inte... 详细信息
来源: 评论
Top-down and bottom-up evaluation procedurally integrated
arXiv
收藏 引用
arXiv 2018年
作者: Warren, David S. Stony Brook University Stony BrookNY11794-4400 United States XSB Inc. SetauketNY11733 United States
This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is well known that top-down evaluation of l... 详细信息
来源: 评论
Incremental maintenance of overgrounded logic programs with tailored simplifications
arXiv
收藏 引用
arXiv 2020年
作者: Ianni, Giovambattista Pacenza, Francesco Zangari, Jessica Department of Mathematics and Computer Science University of Calabria Rende Italy
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative gene... 详细信息
来源: 评论
Field data analysis of multi spindle lathes for a proven-in-use assessment  27th
Field data analysis of multi spindle lathes for a proven-in-...
收藏 引用
27th European Safety and Reliability Conference, ESREL 2017
作者: Nowizki, N. Zeiler, P. Bertsche, B. Mödden, H. Institute of Machine Components University of Stuttgart Germany VDW—German Machine Tool Builders Association Frankfurt Germany
In this paper, operating data of lathes is analyzed with regard to the specifications of the ISO 13849-1. The Weibull analysis is based on machine running times of 1519 multi spindle automatic lathes. The analyzed saf... 详细信息
来源: 评论
Constraint propagation for soft constraints: Generalization and termination conditions  6th
收藏 引用
6th International Conference on Principles and practice of Constraint programming, CP2000
作者: Bistarelli, S. Gennari, R. Rossi, F. Università di Pisa Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy ILLC Institute of Logic Language and Computation University of Amsterdam N. Doelenstraat 15 Amsterdam1012 CP Netherlands Università di Padova Dipartimento di Matematica Pura ed Applicata Via Belzoni 7 Padova35131 Italy
Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables’ values in each soft constraint are uniquely associated to elements from an algebraic structure called semi... 详细信息
来源: 评论
THE ROLE OF CREW ROSTERING IN SUSTAINABLE OPERATIONS: A CASE STUDY IN AIRLINES
收藏 引用
INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-theory APPLICATIONS AND practice 2022年 第3期29卷 389-412页
作者: Sarigol, Ilkan Ozdemir, Rifat AlAjmia, Amal AlShammaria, Anwar AlKafeefa, Mariam Bukhsha, Mona Al Ajmia, Reem Kranz Wolfe Associates Herent Belgium Amer Univ Middle East Coll Engn & Technol Kuwait Kuwait
The airline industry has evolved significantly in recent years, and the emphasis on minimizing the cost and risk of operational disruptions has been shifted, in part, to satisfaction and fairness in the assignment of ... 详细信息
来源: 评论
Model checking for probability and time: from theory to practice
Model checking for probability and time: from theory to prac...
收藏 引用
Annual Symposium on logic in Computer Science
作者: M. Kwiatkowska School of Computer Science University of Binningham Birmingham UK
Probability features increasingly often in software and hardware systems: it is used in distributed coordination and routing problems, to model fault-tolerances and performance, and to provide adaptive resource manage... 详细信息
来源: 评论