咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 583 篇 会议
  • 23 册 图书
  • 21 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...
  • 19 篇 model checking
  • 19 篇 temporal logic
  • 18 篇 computer circuit...
  • 18 篇 probabilistic lo...
  • 17 篇 constraints
  • 17 篇 stable models
  • 17 篇 verification

机构

  • 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
  • 33 篇 dodaro carmine
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 29 篇 eiter thomas
  • 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
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 erdem esra
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,470 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1510 条 记 录,以下是21-30 订阅
排序:
Probabilistic Answer Set programming with Discrete and Continuous Random Variables
收藏 引用
theory and practice of logic programming 2025年 第1期25卷 1-32页
作者: Azzolini, Damiano Riguzzi, Fabrizio Univ Ferrara Dept Environm & Prevent Sci Ferrara Italy Univ Ferrara Dept Math & Comp Sci Ferrara Italy
Probabilistic Answer Set programming under the credal semantics extends Answer Set programming with probabilistic facts that represent uncertain information. The probabilistic facts are discrete with Bernoulli distrib... 详细信息
来源: 评论
Multi-Shot Answer Set programming for Flexible Payroll Management
收藏 引用
theory and practice of logic programming 2024年 第3期24卷 453-481页
作者: Callewaert, Benjamin Vennekens, Joost Katholieke Univ Leuven Dept Comp Sci De Nayer CampusJ P De Nayerlaan 5 B-2860 St Katelijne Waver Belgium AI KU Leuven Inst AI B-3000 Leuven Belgium Flanders Make DTAI FET Leuven Belgium
Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. There... 详细信息
来源: 评论
Epistemic logic Programs: A Study of Some Properties
收藏 引用
theory and practice of logic programming 2024年 第3期24卷 482-504页
作者: Costantini, Stefania Formisano, Andrea Univ Aquila DISIM Via Vetoio Laquila Italy INdAM Grp Nazl Calcolo Sci Rome Italy Univ Udine DMIF Via Sci 206 Udine Italy
Epistemic logic programs (ELPs), extend answer set programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of belief sets, that is, syntactically,... 详细信息
来源: 评论
CON-FOLD Explainable Machine Learning with Confidence
收藏 引用
theory and practice of logic programming 2024年 第4期24卷 663-681页
作者: Mcginness, Lachlan Baumgartner, Peter Australian Natl Univ Sch Comp Sci Canberra Australia CSIRO Data61 Canberra Australia
FOLD-RM is an explainable machine learning classification algorithm that uses training data to create a set of classification rules. In this paper, we introduce CON-FOLD which extends FOLD-RM in several ways. CON-FOLD... 详细信息
来源: 评论
Introduction to the 40th International Conference On logic programming Special Issue
收藏 引用
theory and practice of logic programming 2024年 第4期24卷 581-585页
作者: Cabalar, Pedro Swift, Theresa Univ A Coruna La Coruna Spain Johns Hopkins Appl Phys Lab Laurel MD USA
来源: 评论
Plingo: A System for Probabilistic Reasoning in Answer Set programming
收藏 引用
theory and practice of logic programming 2024年
作者: Hahn, Susana Janhunen, Tomi Kaminski, Roland Romero, Javier Ruhling, Nicolas Schaub, Torsten Univ Potsdam Potsdam Germany Tampere Univ Tampere Finland
We present plingo, an extension of the answer set programming (ASP) system clingo that incorporates various probabilistic reasoning modes. Plingo is based on Lpmln +/-, a simple variant of the probabilistic language L... 详细信息
来源: 评论
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains
收藏 引用
theory and practice of logic programming 2025年
作者: Romero, Javier Schaub, Torsten Strauch, Klaus Univ Potsdam Potsdam Brandenburg Germany
The representation of a temporal problem in answer set programming (ASP) usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or expressed ... 详细信息
来源: 评论
"What if?" in Probabilistic logic programming
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 884-899页
作者: Kiesel, Rafael Rueckschloss, Kilian Weitkaemper, Felix TU Wien Vienna Austria Ludwig Maximilians Univ Munchen Munich Germany
A ProbLog program is a logic program with facts that only hold with a specified probability. In this contribution, we extend this ProbLog language by the ability to answer "What if" queries. Intuitively, a P... 详细信息
来源: 评论
Online Learning Probabilistic Event Calculus Theories in Answer Set programming
收藏 引用
theory and practice of logic programming 2023年 第2期23卷 362-386页
作者: Katzouris, Nikos Paliouras, Georgios Artikis, Alexander Natl Ctr Sci Res NCSR Demokritos Inst Informat & Telecommun Athens Greece Univ Piraeus Dept Maritime Studies Piraeus Greece
Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. logic-based approaches are of special interest in CER, since, via Statistical Relationa... 详细信息
来源: 评论
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set programming
收藏 引用
theory and practice of logic programming 2024年 第5期24卷 973-1010页
作者: Takemura, Akihiro Inoue, Katsumi SOKENDAI Grad Univ Adv Studies Chiyoda Ku Tokyo Japan Natl Inst Informat Chiyoda Ku Tokyo Japan
We propose a method for generating rule sets as global and local explanations for tree-ensemble learning methods using answer set programming (ASP). To this end, we adopt a decompositional approach where the split str... 详细信息
来源: 评论