咨询与建议

限定检索结果

文献类型

  • 90 篇 会议
  • 21 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 116 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 85 篇 工学
    • 84 篇 计算机科学与技术...
    • 71 篇 软件工程
    • 3 篇 控制科学与工程
    • 2 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 60 篇 理学
    • 58 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 生物学
  • 2 篇 医学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 23 篇 logic programmin...
  • 18 篇 answer set progr...
  • 6 篇 logic
  • 6 篇 computer languag...
  • 6 篇 semantics
  • 6 篇 artificial intel...
  • 4 篇 programming
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 4 篇 inductive logic ...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 software enginee...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 mathematical log...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 logics and meani...

机构

  • 4 篇 imdea software i...
  • 3 篇 sabanci univ fac...
  • 2 篇 alan turing inst...
  • 2 篇 roskilde univ ro...
  • 2 篇 univ melbourne d...
  • 2 篇 univ piemonte or...
  • 2 篇 univ nova lisboa...
  • 2 篇 dept informat p-...
  • 2 篇 spanish council ...
  • 2 篇 katholieke univ ...
  • 2 篇 kobe univ nada k...
  • 2 篇 university of ox...
  • 2 篇 abb research lad...
  • 2 篇 univ alberta edm...
  • 2 篇 abb research ban...
  • 2 篇 univ potsdam d-1...
  • 2 篇 res org informat...
  • 2 篇 macquarie univ d...
  • 2 篇 univ so calif de...
  • 2 篇 suny stony brook...

作者

  • 4 篇 stuckey peter j.
  • 4 篇 schaub torsten
  • 4 篇 erdem esra
  • 3 篇 banbara mutsunor...
  • 3 篇 bartholomew mich...
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 3 篇 tamura naoyuki
  • 2 篇 uras tansel
  • 2 篇 giordano laura
  • 2 篇 dumancic sebasti...
  • 2 篇 soh takehide
  • 2 篇 maher michael j.
  • 2 篇 spiotta matteo
  • 2 篇 jorissen albert
  • 2 篇 janssens gerda

语言

  • 116 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Logic Programming ICLP"
117 条 记 录,以下是1-10 订阅
排序:
logic programming : 18th international conference, iclp 2002, Copenhagen, Denmark, July 29-August 1,
收藏 引用
2002年
作者: international conference on logic programming
来源: 内蒙古大学图书馆图书 评论
Editorial: 29th international conference on logic programming special issue
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 465-470页
作者: Lamma, Evelina Swift, Terrance Univ Ferrara Dept Engn I-44122 Ferrara Italy Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
the proceedings of the international conference on logic programming (iclp) have had several publishers, including MIT Press and Springer\'s Lecture Notes in Computer Science. Beginning in 2010, the proceedings ha... 详细信息
来源: 评论
29th international conference on Inductive logic programming, ILP 2019
29th International Conference on Inductive Logic Programming...
收藏 引用
29th international conference on Inductive logic programming, ILP 2019
the proceedings contain 11 papers. the special focus in this conference is on Inductive logic programming. the topics include: Weight Your Words: the Effect of Different Weighting Schemes on Wordification Performance;...
来源: 评论
Control logic Synthesis: Drawing the Rest of the OWL  24
Control Logic Synthesis: Drawing the Rest of the OWL
收藏 引用
Proceedings of the 29th ACM international conference on Architectural Support for programming Languages and Operating Systems, Volume 4
作者: Zachary D. Sisco Andrew David Alex Zechen Ma Yeganeh Aghamohammadi Boming Kong Benjamin Darnell Timothy Sherwood Ben Hardekopf Jonathan Balkind University of California Santa Barbara Santa Barbara United States of America University of California Santa Barbara Santa Barbara USA University of Illinois Urbana-Champaign Champaign Illinois United States of America
System-on-chip (SoC) design requires complex reasoning about the interactions between an architectural specification, the microarchitectural datapath (e.g., functional units), and the control logic (which coordinates ...
来源: 评论
HYDRA-RCRA 2022 - Joint Proceedings of the 1st international Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, co-located with the 16th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 2022
HYDRA-RCRA 2022 - Joint Proceedings of the 1st International...
收藏 引用
1st international Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, HYDRA-RCRA 2022
the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an appl...
来源: 评论
Editorial: 29th international conference on logic programming special issue (vol 13, pg 465, 2013)
收藏 引用
thEORY AND PRACTICE OF logic programming 2018年 第1期18卷 121-121页
作者: Lamma, Evelina Swift, Terrance
the links to the online only Technical Communications in Lamma and Swift (2013) are unfortunately broken. All of the Technical Communications can be found here: https://***/core/journals/theory-and-practice-of-logic-p...
来源: 评论
logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 737-752页
作者: Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Univ Calabria DIMES I-87030 Commenda Di Rende Italy
Recent years have witnessed an increasing interest in enhancing answer set solvers by allowing function symbols. Since the introduction of function symbols makes common inference tasks undecidable, research has focuse... 详细信息
来源: 评论
Fuzzy answer sets approximations
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 753-767页
作者: Alviano, Mario Penaloza, Rafael Univ Calabria Dept Math & Comp Sci I-87036 Arcavacata Di Rende CS Italy Tech Univ Dresden D-01062 Dresden Germany Ctr Adv Elect Dresden Dresden Germany
Fuzzy answer set programming (FASP) is a recent formalism for knowledge representation that enriches the declarativity of answer set programming by allowing propositions to be graded. To now, no implementations of FAS... 详细信息
来源: 评论
Business process verification with constraint temporal answer set programming
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 641-655页
作者: Giordano, Laura Martelli, Alberto Spiotta, Matteo Dupre, Daniele theseider Univ Piemonte Orientale DISIT Alessandria Italy Univ Turin Dipartimento Informat I-10124 Turin Italy
the paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP) with temporal logic and constraints. the framework allows to capture expressive fluent a...
来源: 评论
Failure tabled constraint logic programming by interpolation
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 593-607页
作者: Gange, Graeme Navas, Jorge A. Schachte, Peter Sondergaard, Harald Stuckey, Peter J. Univ Melbourne Dept Comp & Informat Syst Melbourne Vic 3010 Australia
We present a new execution strategy for constraint logic programs called Failure Tabled CLP. Similarly to Tabled CLP our strategy records certain derivations in order to prune further derivations. However, our method ...
来源: 评论