咨询与建议

限定检索结果

文献类型

  • 883 篇 期刊文献
  • 590 篇 会议
  • 103 册 图书
  • 18 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 928 篇 理学
    • 901 篇 数学
    • 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...
  • 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...

机构

  • 39 篇 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...

作者

  • 48 篇 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,539 篇 英文
  • 30 篇 其他
  • 26 篇 中文
检索条件"任意字段=Theory and Practice of Logic Programming"
1595 条 记 录,以下是301-310 订阅
排序:
Answer-Set programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
arXiv
收藏 引用
arXiv 2022年
作者: Eiter, Thomas Geibinger, Tobias Musliu, Nysret Oetsch, Johannes Skočovský, Peter Stepanova, Daria Austria Bosch Center for AI Robert Bosch Campus 1 RenningenD-71272 Germany
We deal with a challenging scheduling problem on parallel machines with sequence-dependent setup times and release dates from a real-world application of semiconductor work-shop production. There, jobs can only be pro... 详细信息
来源: 评论
Introduction to the 35th International Conference on logic programming Special Issue
收藏 引用
theory and practice of logic programming 2019年 第5-6期19卷 630-635页
作者: Erdem, Esra Formisano, Andrea Vidal, German Yang, Fangkai Sabanci Univ Istanbul Turkey Univ Perugia Perugia Italy Univ Politecn Valencia VRAIN MiST Valencia Spain NVIDIA Corp Santa Clara CA USA
This volume contains the regular papers of the 35th International Conference on logic programming (ICLP 2019), held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019.
来源: 评论
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
收藏 引用
theory and practice of logic programming 2020年 第5期20卷 799-814页
作者: Taupe, Richard Weinzierl, Antonius Friedrich, Gerhard Siemens AG Osterreich Graz Austria Alpen Adria Univ Klagenfurt Austria TU Wien Vienna Univ Technol Vienna Austria
Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises learned nogoods for re-use to speed-... 详细信息
来源: 评论
Refined core relaxation for core-guided MaxSAT solving  27
Refined core relaxation for core-guided MaxSAT solving
收藏 引用
27th International Conference on Principles and practice of Constraint programming, CP 2021
作者: Ihalainen, Hannes Berg, Jeremias Järvisalo, Matti HIIT Department of Computer Science University of Helsinki Finland
Maximum satisfiability (MaxSAT) is a viable approach to solving NP-hard optimization problems. In the realm of core-guided MaxSAT solving - one of the most effective MaxSAT solving paradigms today - algorithmic varian... 详细信息
来源: 评论
A qualitative theory of cognitive attitudes and their change
arXiv
收藏 引用
arXiv 2021年
作者: Lorini, Emiliano IRIT-CNRS Toulouse University France
We present a general logical framework for reasoning about agents’ cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative... 详细信息
来源: 评论
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set programming
收藏 引用
theory and practice of logic programming 2020年 第5期20卷 687-702页
作者: Baryannis, George Tachmazidis, Ilias Batsakis, Sotiris Antoniou, Grigoris Alviano, Mario Univ Huddersfield Huddersfield W Yorkshire England Univ Calabria Commenda Di Rende Italy
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been ... 详细信息
来源: 评论
Using logic programming for theory representation and scientific inference *
收藏 引用
NEW IDEAS IN PSYCHOLOGY 2021年 61卷
作者: Rohner, Jean-Christophe Kjellerstrand, Hakan Lund Univ Dept Psychol Lund Sweden
The aim of this paper is to show that logic programming is a powerful tool for representing scientific theories and for scientific inference. In a logic program it is possible to encode the qualitative and quantitativ... 详细信息
来源: 评论
Incremental maintenance of overgrounded logic programs with tailored simplifications
Incremental maintenance of overgrounded logic programs with ...
收藏 引用
36th International Conference on logic programming (ICLP)
作者: Ianni, Giovambattista Pacenza, Francesco Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di 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... 详细信息
来源: 评论
Computer says no: Verdict explainability for runtime monitors using a local proof system
收藏 引用
JOURNAL OF logicAL AND ALGEBRAIC METHODS IN programming 2021年 119卷
作者: Francalanza, Adrian Cini, Clare Univ Malta CS ICT MSD-2080 Msida Malta Ricston Ltd GF Agius De Soldanis St BKR-4850 Birkirkara Malta
Monitors in Runtime Verification are often constructed as black boxes: they provide verdicts on whether a property is satisfied or violated by the executing system under scrutiny, without much explanation as to why th... 详细信息
来源: 评论
Building Information Modeling Using Constraint logic programming
arXiv
收藏 引用
arXiv 2022年
作者: Arias, Joaquín Törmä, Seppo Carro, Manuel Gupta, Gopal CETINIA Universidad Rey Juan Carlos Madrid Spain VisuaLynk Oy Espoo Finland Universidad Politécnica de Madrid Spain IMDEA Software Institute Pozuelo Spain University of Texas at Dallas Richardson United States
Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just ... 详细信息
来源: 评论