咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Extensible Metatheory Mechanization via Family Polymorphism
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年 第PLDI期7卷 1608-1632页
作者: Jin, Ende Amin, Nada Zhang, Yizhou Univ Waterloo Cheriton Sch Comp Sci Waterloo ON Canada Harvard Univ Paulson Sch Engn & Appl Sci Cambridge MA USA
With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs. This paper presents a novel... 详细信息
来源: 评论
Thirty years of Epistemic Specifications
收藏 引用
theory and practice of logic programming 2022年 第6期22卷 1043-1083页
作者: Fandinno, Jorge Faber, Wolfgang Gelfond, Michael Univ Nebraska Omaha Omaha NE 68182 USA Univ Potsdam Potsdam Germany Alpen Adria Univ Klagenfurt Klagenfurt Austria Texas Tech Univ Lubbock TX 79409 USA
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it... 详细信息
来源: 评论
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
收藏 引用
theory and practice of logic programming 2022年 第5期22卷 658-677页
作者: Wang, Huaduo Shakerin, Farhad Gupta, Gopal Univ Texas Dallas Richardson TX 75083 USA
FOLD-RM is an automated inductive learning algorithm for learning default rules for mixed (numerical and categorical) data. It generates an (explainable) answer set programming (ASP) rule set for multi-category classi... 详细信息
来源: 评论
Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 696-714页
作者: Dodampegama, Hasra Sridharan, Mohan Univ Birmingham Sch Comp Sci Intelligent Robot Lab Birmingham England
Ad hoc teamwork (AHT) refers to the problem of enabling an agent to collaborate with teammates without prior coordination. State of the art methods in AHT are data-driven, using a large labeled dataset of prior observ... 详细信息
来源: 评论
Efficient Knowledge Compilation Beyond Weighted Model Counting
收藏 引用
theory and practice of logic programming 2022年 第4期22卷 505-522页
作者: KIESEL, R. A. F. A. E. L. TOTIS, P. I. E. T. R. O. KIMMIG, A. N. G. E. L. I. K. A. TU Wien Vienna Austria Katholieke Univ Leuven Leuven Belgium
Quantitative extensions of logic programming often require the solution of so called second level inference tasks, that is, problems that involve a third operation, such as maximization or normalization, on top of add... 详细信息
来源: 评论
Abstract Environment Trimming
收藏 引用
theory and practice of logic programming 2024年 第4期24卷 863-884页
作者: Jurjo-rivas, Daniel Morales, Jose F. Lopez-garcia, Pedro Hermenegildo, Manuel, V Univ Politecn Madrid UPM IMDEA Software Inst Madrid Spain IMDEA Software Inst Spanish Council Sci Res Madrid Spain
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such prop... 详细信息
来源: 评论
ValAsp: A Tool for Data Validation in Answer Set programming
收藏 引用
theory and practice of logic programming 2023年 第5期23卷 965-985页
作者: Alviano, Mario Dodaro, Carmine Zamayla, Arnel Univ Calabria Dept Math & Comp Sci Via P BucciCubo 30B I-87036 Arcavacata Di Rende CS Italy
The development of complex software requires tools promoting fail-fast approaches, so that bugs and unexpected behavior can be quickly identified and fixed. Tools for data validation may save the day of computer progr... 详细信息
来源: 评论
Analysis and Transformation of Constrained Horn Clauses for Program Verification
收藏 引用
theory and practice of logic programming 2022年 第6期22卷 974-1042页
作者: De Angelis, Emanuele Fioravanti, Fabio Gallagher, John P. Hermenegildo, Manuel, V Pettorossi, Alberto Proietti, Maurizio IASI CNR Rome Italy Univ G DAnnunzio DEC Chieti Italy Roskilde Univ Roskilde Denmark IMDEA Software Inst Madrid Spain Univ Politecn Madrid UPM Madrid Spain Univ RomeTor Vergata DICII Rome Italy
This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP) to the problem of verifying software systems. We present specializati... 详细信息
来源: 评论
Early Validation of High-Level System Requirements with Event Calculus and Answer Set programming
收藏 引用
theory and practice of logic programming 2024年 第4期24卷 844-862页
作者: Vasicek, Ondrej Arias, Joaquin Fiedor, Jan Gupta, Gopal Hall, Brendal Krena, Bohuslav Larson, Brian Varanasi, Sarat chandra Vojnar, Tomas Brno Univ Technol Fac Informat Technol Brno Czech Republic Univ Rey Juan Carlos Mostoles Spain Honeywell Int SRO Brno Czech Republic UT Dallas Comp Sci Dept Richardson TX USA Ardent Innovat Labs Eden Prairie MN USA Multitude Corp St Paul MN USA GE Aerosp Res Niskayuna NY USA Masaryk Univ Fac Informat Brno Czech Republic
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances of specification errors propagating i... 详细信息
来源: 评论
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
收藏 引用
theory and practice of logic programming 2024年 第4期24卷 805-824页
作者: Murugesan, Anitha Wong, Isaac Arias, Joaquin Stroud, Robert Varadarajan, Srivatsan Salazar, Elmer Gupta, Gopal Bloomfield, Robin Rushby, John Honeywell Aerosp Plymouth MN 55441 USA Univ Rey Juan Carlos CETINIA Madrid Spain Adelard Part NCC Grp London England Univ Texas Dallas Dallas TX USA City Univ London London England SRI Int Menlo Pk CA USA
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and c... 详细信息
来源: 评论