咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
CNL2ASP: Converting Controlled Natural Language Sentences into ASP
收藏 引用
theory and practice of logic programming 2024年 第2期24卷 196-226页
作者: Caruso, Simone Dodaro, Carmine Maratea, Marco Mochi, Marco Riccio, Francesco Univ Genoa DIBRIS Genoa Italy Univ Calabria DeMaCS Arcavacata Di Rende Italy ALTEN Italia Engn Div Turin Italy
Answer set programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and industrial contexts, there are certain ... 详细信息
来源: 评论
A Brief History of Updates of Answer-Set Programs
收藏 引用
theory and practice of logic programming 2023年 第1期23卷 57-110页
作者: Leite, Joao Slota, Martin Univ Nova Lisboa Fac Ciencias & Tecnol NOVA LINCS Dept Informat Lisbon Portugal
Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs) or, in other words, the problem of ... 详细信息
来源: 评论
A Survey of the Proof-Theoretic Foundations of logic programming
收藏 引用
theory and practice of logic programming 2022年 第6期22卷 859-904页
作者: Miller, Dale Ecole Polytech Inria Saclay Palaiseau France Ecole Polytech LIX Palaiseau France
Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this article, we will survey the use of structural proof theory as an alternative foundation. Resea... 详细信息
来源: 评论
Conflict-Driven Inductive logic programming
收藏 引用
theory and practice of logic programming 2023年 第2期23卷 387-414页
作者: Law, Mark ILASP Ltd Grantham England
The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning Prolog programs. The ILASP system instead learns answer set p... 详细信息
来源: 评论
Integrating logic Rules with Everything Else, Seamlessly
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 678-695页
作者: Liu, Yanhong A. Stoller, Scott D. Tong, Yi Lin, Bo SUNY Stony Brook Stony Brook NY 11794 USA
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predicates in rules as set-valued variables ... 详细信息
来源: 评论
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of logic Programs
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 782-796页
作者: Rankooh, Masood Feyzbakhsh Janhunen, Tomi Tampere Univ Tampere Finland
We establish a novel relation between delete-free planning, an important task for the AI planning community also known as relaxed planning, and logic programming. We show that given a planning problem, all subsets of ... 详细信息
来源: 评论
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
收藏 引用
theory and practice of logic programming 2024年 第6期24卷 1078-1108页
作者: Amendola, Giovanni Mazzotta, Giuseppe Ricca, Francesco Berei, Tobias Univ Calabria Arcavacata Di Rende Italy Univ Appl Sci Upper Austria Campus Hagenberg Hagenberg Austria
Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reaso... 详细信息
来源: 评论
Human Conditional Reasoning in Answer Set programming
收藏 引用
theory and practice of logic programming 2024年 第1期24卷 157-192页
作者: Sakama, Chiaki Wakayama Univ 930 Sakaedani Wakayama 6408510 Japan
Given a conditional sentence "${\varphi}\Rightarrow \psi$" (if ${\varphi}$ then $\psi$) and respective facts, four different types of inferences are observed in human reasoning: Affirming the antecedent (AA)... 详细信息
来源: 评论
Toward A logical theory Of Fairness and Bias
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 865-883页
作者: Belle, Vaishak Univ Edinburgh Edinburgh Scotland Alan Turing Inst Edinburgh Scotland
Fairness in machine learning is of considerable interest in recent years owing to the propensity of algorithms trained on historical data to amplify and perpetuate historical biases. In this paper, we argue for a form... 详细信息
来源: 评论
Swift Markov logic for Probabilistic Reasoning on Knowledge Graphs
收藏 引用
theory and practice of logic programming 2023年 第3期23卷 507-534页
作者: Bellomarini, Luigi Laurenza, Eleonora Sallinger, Emanuel Sherkhonov, Evgeny Banca dItalia Rome Italy TU Wien Vienna Austria Univ Oxford Oxford England
We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs (KGs), satisfying the requirements of ontological reasoning: full recursion, powerful existential quantification, expression of indu... 详细信息
来源: 评论