咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,376 篇 工学
    • 1,341 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 929 篇 理学
    • 902 篇 数学
    • 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...
  • 251 篇 logic programmin...
  • 71 篇 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,558 篇 英文
  • 26 篇 中文
  • 16 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1600 条 记 录,以下是61-70 订阅
Forgetting in Answer Set programming - A Survey
收藏 引用
theory and practice of logic programming 2023年 第1期23卷 111-156页
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Univ Nova Lisboa NOVA LINCS Dept Informat Fac Ciencias & Tecnol Lisbon Portugal
Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in Answer... 详细信息
来源: 评论
Reactive Answer Set programming
收藏 引用
theory and practice of logic programming 2022年 第3期22卷 367-418页
作者: Broda, Krysia Sadri, Fariba Butler, Stephen Imperial Coll London London England
logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that spec... 详细信息
来源: 评论
The Stable Model Semantics of Datalog with Metric Temporal Operators
收藏 引用
theory and practice of logic programming 2024年 第1期24卷 22-56页
作者: Walega, Przemyslaw A. Cucala, David J. Tena J. Grau, Bernardo Cuenca Kostylev, Egor V. V. Univ Oxford Dept Comp Sci Oxford OX1 3AZ England Univ Oslo Dept Informat Oslo Norway
We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which combines the power of answer set prog... 详细信息
来源: 评论
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems
收藏 引用
theory and practice of logic programming 2023年 第5期23卷 1070-1093页
作者: D'asaro, Fabio Aurelio Raggioli, Luca Malek, Salim Grazioso, Marco Rossi, Silvia Univ Verona Dept Human Sci Ethos Grp Verona Italy Univ Naples Federico II Dept Elect Engn & Informat Technol Naples Italy
We present and discuss a runtime architecture that integrates sensorial data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuro... 详细信息
来源: 评论
Unifying Framework for Optimizations in Non-Boolean Formalisms
收藏 引用
theory and practice of logic programming 2023年 第6期23卷 1248-1280页
作者: Lierler, Yuliya Univ Nebraska Omaha Omaha NE 68182 USA
Search-optimization problems are plentiful in scientific and engineering domains. Artificial intelligence (AI) has long contributed to the development of search algorithms and declarative programming languages geared ... 详细信息
来源: 评论
Answer Set Planning: A Survey
收藏 引用
theory and practice of logic programming 2023年 第1期23卷 226-298页
作者: Tran, Son Cao Pontelli, Enrico Balduccini, Marcello Schaub, Torsten New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA St Josephs Univ Dept Decis & Syst Sci Philadelphia PA 19131 USA Univ Potsdam Dept Comp Sci Potsdam Germany
Answer Set Planning refers to the use of Answer Set programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient... 详细信息
来源: 评论
On Establishing Robust Consistency in Answer Set Programs
收藏 引用
theory and practice of logic programming 2023年 第5期23卷 1094-1127页
作者: Thevapalan, Andre Kern-Isberner, Gabriele Tech Univ Dortmund Dortmund Germany
Answer set programs used in real-world applications often require that the program is usable with different input data. This, however, can often lead to contradictory statements and consequently to an inconsistent pro... 详细信息
来源: 评论
Extended High-Utility Pattern Mining: An Answer Set programming-Based Framework and Applications
收藏 引用
theory and practice of logic programming 2024年 第2期24卷 313-343页
作者: Cauteruccio, Francesco Terracina, Giorgio Polytech Univ Marche DII Ancona Italy Univ Calabria DEMACS Arcavacata Di Rende Italy
Detecting sets of relevant patterns from a given dataset is an important challenge in data mining. The relevance of a pattern, also called utility in the literature, is a subjective measure and can be actually assesse... 详细信息
来源: 评论
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach
收藏 引用
theory and practice of logic programming 2024年 第2期24卷 344-367页
作者: Cardellini, Matteo De Nardi, Paolo Dodaro, Carmine Galata, Giuseppe Giardini, Anna Maratea, Marco Porro, Ivan Polytecn Torino Turin Italy Univ Genoa Genoa Italy ICS Maugeri Pavia Italy Univ Calabria DeMaCS Arcavacata Di Rende Italy SurgiQ Srl Cagliari Italy Univ Genoa DIBRIS Genoa Italy
A core part of the rehabilitation scheduling process consists of planning rehabilitation physiotherapy sessions for patients, by assigning proper operators to them in a certain time slot of a given day, taking into ac... 详细信息
来源: 评论
A Compositional theory of Linearizability
收藏 引用
JOURNAL OF THE ACM 2024年 第2期71卷 1-107页
作者: Vale, Arthur Oliveira Shao, Zhong Chen, Yixuan Yale Univ New Haven CT USA Yale Univ Dept Comp Sci POB 208285 New Haven CT 06520 USA
Compositionality is at the core of programming languages research and has become an important goal toward scalable verification of large systems. Despite that, there is no compositional account of linearizability, the... 详细信息
来源: 评论