咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是551-560 订阅
Clingo goes linear constraints over reals and integers
Clingo goes linear constraints over reals and integers
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Janhunen, Tomi Kaminski, Roland Ostrowski, Max Schellhorn, Sebastian Wanko, Philipp Schaub, Torsten Aalto Univ Aalto Finland Univ Potsdam Potsdam Germany INRIA Rennes Rennes France
The recent series 5 of the Answer Set programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constr... 详细信息
来源: 评论
On relation between constraint answer set programming and satisfiability modulo theories
收藏 引用
theory and practice of logic programming 2017年 第4期17卷 559-590页
作者: Lierler, Yuliya Susman, Benjamin Univ Nebraska Omaha Dept Comp Sci Omaha NE 68182 USA
Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiability modulo theories. Yet... 详细信息
来源: 评论
Productive corecursion in logic programming
Productive corecursion in logic programming
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and practice of Constraint programming / 20th International Conference on theory and Applications of Satisfiability Testing
作者: Komendantskaya, Ekaterina Li, Yue Heriot Watt Univ Edinburgh Midlothian Scotland
logic programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/ coinductive soundness of formulae is a challenging t... 详细信息
来源: 评论
Hybrid conditional planning using answer set programming
收藏 引用
theory and practice of logic programming 2017年 第5-6期17卷 1027-1047页
作者: Yalciner, Ibrahim Faruk Nouman, Ahmed Patoglu, Volkan Erdem, Esra Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
We introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics applications. HCP-ASP relies on modeling actuation actions and sensing actions in an expressi... 详细信息
来源: 评论
From logic programming and Non-monotonic Reasoning to Computational Argumentation and Beyond  14th
From Logic Programming and Non-monotonic Reasoning to Comput...
收藏 引用
14th International Conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Toni, Francesca Imperial Coll London London England
Argumentation has gained popularity in AI in recent years to support several activities and forms of reasoning. This talk will trace back the logic programming and non-monotonic reasoning origins of two well-known arg... 详细信息
来源: 评论
Clingcon: The next generation
收藏 引用
theory and practice of logic programming 2017年 第4期17卷 408-461页
作者: Banbara, Mutsunori Kaufmann, Benjamin Ostrowski, Max Schaub, Torsten Kobe Univ Kobe Hyogo Japan Univ Potsdam Potsdam Germany INRIA Rennes Rennes France Simon Fraser Univ Burnaby BC Canada Griffith Univ Nathan Qld Australia
We present the third generation of the constraint answer set system clingcon, combining Answer Set programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach t... 详细信息
来源: 评论
Material programming
收藏 引用
Interactions 2017年 第3期24卷 36-41页
作者: Vallgarda, Anna Boer, Laurens Tsaknaki, Vasiliki Svanas, Dag IT University of Copenhagen Denmark KTH Royal Institute of Technology Sweden Norwegian University of Science and Technology Norway
Material programming is a proposal for how we are going to practice interaction design in the future, when grapheme transistors make genuine computational composites possible. Material programming is an embodied form ... 详细信息
来源: 评论
Efficiently coupling the I-DLV grounder with ASP solvers
arXiv
收藏 引用
arXiv 2018年
作者: Calimeri, Francesco Fuscà, Davide Perri, Simona Zangari, Jessica Dodaro, Carmine Department of Mathematics and Computer Science University of Calabria Italy Department of Informatics Bioengineering Robotics and Systems Engineering University of Genova Italy
We present I-DLV+MS, a new Answer Set programming (ASP) system that integrates an efficient grounder, namely I-DLV, with an automatic selector that inductively chooses a solver: depending on some inherent features of ... 详细信息
来源: 评论
An application of ASP theories of intentions to understanding restaurant scenarios: Insights and narrative corpus
arXiv
收藏 引用
arXiv 2018年
作者: Zhang, Qinglin Benton, Chris Inclezan, Daniela Miami University College of Engineering and Computing OxfordOH45056 United States
This paper presents a practical application of Answer Set programming to the understanding of narratives about restaurants. While this task was investigated in depth by Erik Mueller, exceptional scenarios remained a s... 详细信息
来源: 评论
Debugging non-ground ASP programs: Technique and graphical tools
arXiv
收藏 引用
arXiv 2018年
作者: Dodaro, Carmine Gasteiger, Philip Reale, Kristian Ricca, Francesco Schekotihin, Konstantin DIBRIS University of Genova Italy Alpen-Adria-Universität Klagenfurt Austria Department of Mathematics and Computer Science University of Calabria Italy
Answer Set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, er... 详细信息
来源: 评论