咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1541-1550 订阅
排序:
Compositional verification in rewriting logic
arXiv
收藏 引用
arXiv 2023年
作者: Martín, Óscar Verdejo, Alberto Martí-Oliet, Narciso Facultad de Informática Universidad Complutense de Madrid Madrid Spain
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present pap... 详细信息
来源: 评论
On the generalization of learned constraints for ASP solving in temporal domains
arXiv
收藏 引用
arXiv 2024年
作者: Romero, Javier Schaub, Torsten Strauch, Klaus University of Potsdam Germany
The representation of a temporal problem in 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 via an action or temporal... 详细信息
来源: 评论
A concurrent constraint programming interpretation of access permissions
arXiv
收藏 引用
arXiv 2018年
作者: Olarte, Carlos Pimentel, Elaine Rueda, Camilo ECT Universidade Federal Rio Grande do Norte Brazil DMAT Universidade Federal Rio Grande do Norte Brazil DECC Pontificia Universidad Javeriana Cali Colombia
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a ... 详细信息
来源: 评论
Temporal minimal-World semantics for sparse ABoxes
arXiv
收藏 引用
arXiv 2021年
作者: Borgwardt, Stefan Forkel, Walter Kovtunova, Alisa Chair for Automata Theory Technische Universität Dresden Germany
Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exist only few ontology-based approaches... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Constraining interference in an object-based design method  4th
收藏 引用
4th International Joint Conference on the theory and practice of Software Development, TAPSOFT 1993
作者: Jones, C.B. Department of Computer Science Manchester University M13 9PL United Kingdom
This paper is the first of a series which are intended to contribute to tractable development methods for concurrent programs by exploring ways in which object-based language concepts can be used to provide a composit... 详细信息
来源: 评论
Operating room (Re)scheduling with bed management via ASP
arXiv
收藏 引用
arXiv 2021年
作者: Dodaro, Carmine Galatà, Giuseppe Khan, Muhammad Kamran Maratea, Marco Porro, Ivan University of Calabria Italy SurgiQ srl Italy University of Genoa Italy
The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, lengths and priority scores of each planned surgery, operating room session ... 详细信息
来源: 评论
Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented programming Language
收藏 引用
Electronic Notes in Theoretical Computer Science 2002年 第5期70卷 108-125页
作者: Rafael H. Bordini Álvaro F. Moreira Departamento de Informática Teórica (INT) Instituto de Informática (II) Universidade Federal do Rio Grande do Sul (UFRGS) CP 15064 91501-970 Porto Alegre RS Brazil Departamento de Informática (DEIN) Centro de Ciências Exatas e Teccnologia (CCET) Universidade de Caxias do Sul (UCS) 95070-560 Caxias do Sul RS Brazil
In this paper, we consider each of the nine principles of BDI logics as defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a computa...
来源: 评论
Constraint answer set programming without grounding
arXiv
收藏 引用
arXiv 2018年
作者: Arias, Joaquin Carro, Manuel Salazar, Elmer Marple, Kyle Gupta, Gopal IMDEA Software Institute Universidad Politécnica de Madrid University of Texas Dallas United States
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them,... 详细信息
来源: 评论
A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
arXiv
收藏 引用
arXiv 2019年
作者: Calimeri, Francesco Cauteruccio, Francesco Cinelli, Luca Marzullo, Aldo Stamile, Claudio Terracina, Giorgio Durand-Dubief, Françoise Sappey-Marinier, Dominique DEMACS University of Calabria Italy CREATIS CNRS UMR 5220 INSERM U1206 Université de Lyon Université Lyon 1 INSA-Lyon Villeurbanne France Hôpital Neurologique Service de Neurologie A Hospices Civils de Lyon Bron France CERMEP - Imagerie du Vivant Université de Lyon Bron France
Deductive formalisms have been strongly developed in recent years;among them, Answer Set programming (ASP) gained some momentum, and has been lately fruitfully employed in many real-world scenarios. Nonetheless, in sp... 详细信息
来源: 评论