咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 22 篇 logic programmin...
  • 18 篇 answer set progr...
  • 6 篇 logic
  • 6 篇 computer languag...
  • 6 篇 semantics
  • 6 篇 artificial intel...
  • 5 篇 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 篇 verification

机构

  • 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 篇 erdem esra
  • 3 篇 banbara mutsunor...
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 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

语言

  • 114 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Logic Programming ICLP"
115 条 记 录,以下是71-80 订阅
Formal Techniques for Distributed Systems - Joint 11th IFIP WG 6.1 international conference, FMOODS 2009 and 29th IFIP WG 6.1 international conference, FORTE 2009, Proceedings
Formal Techniques for Distributed Systems - Joint 11th IFIP ...
收藏 引用
11th international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th international conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009
the proceedings contain 19 papers. the topics discussed include: the Orc programming language;keep it small, keep it real: efficient run-time verification of web service compositions;approximated context-sensitive ana...
来源: 评论
Automated Deduction – CADE 29  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Brigitte Pientka Cesare Tinelli
this open access book constitutes the proceedings of the 29th international conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023.
来源: 评论
Rapid Restart Hill Climbing for Learning Description logic Concepts  1
收藏 引用
29th international conference on Inductive logic programming
作者: Hua, Yingbing Hein, Bjoern Karlsruhe Inst Technol D-76131 Karlsruhe Germany Karlsruhe Univ Appl Sci D-76131 Karlsruhe Germany
Recent advances in learning description logic (DL) concepts usually employ a downward refinement operator for space traversing and hypotheses construction. However, theoretical research proved that ideal refinement op... 详细信息
来源: 评论
ACL2s: "the ACL2 sedan"  07
ACL2s: "The ACL2 sedan"
收藏 引用
29th international conference on Software Engineering (ICSE 2007)
作者: Dillinger, Peter C. Manolios, Panagiotis Vroon, Daron Moore, J. Strother Georgia Inst Technol Coll Comp Atlanta GA 30332 USA Univ Texas Dept Comp Sci Austin TX 78712 USA
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race car, and it has been used to prove some... 详细信息
来源: 评论
A formal approach for cautious reasoning in answer set programming (extended abstract)  29
A formal approach for cautious reasoning in answer set progr...
收藏 引用
29th international Joint conference on Artificial Intelligence, IJCAI 2020
作者: Amendola, Giovanni Dodaro, Carmine Maratea, Marco DeMaCS University of Calabria Italy DIBRIS University of Genoa Italy
the issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo theories, Answer Set programming (ASP), and Constraint ASP... 详细信息
来源: 评论
Evaluation of string constraint solvers in the context of Symbolic execution  14
Evaluation of string constraint solvers in the context of Sy...
收藏 引用
29th ACM/IEEE international conference on Automated Software Engineering, ASE 2014
作者: Kausler, Scott Sherman, Elena Boise State University Department of Computer Science BoiseID83725 United States
Symbolic execution tools query constraint solvers for tasks such as determining the feasibility of program paths. therefore, the effectiveness of such tools depends on their constraint solvers. Most modern constraint ... 详细信息
来源: 评论
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)  1
收藏 引用
29th international conference on Automated Deduction (CADE)
作者: Frohn, Florian Giesl, Juergen Rhein Westfal TH Aachen LuFG Informat 2 Aachen Germany
We recently proposed Acceleration Driven Clause Learning (ADCL), a novel calculus to analyze satisfiability of Constrained Horn Clauses (CHCs). Here, we adapt ADCL to transition systems and introduce ADCL-NT, a varian... 详细信息
来源: 评论
logic programming in a fragment of intuitionistic temporal linear logic  17
收藏 引用
17th international conference on logic programming, iclp 2001
作者: Banbara, Mutsunori Kang, Kyoung-Sun Hirai, Takaharu Tamura, Naoyuki Department of Mathematics Nara National College of Technology 22 Yata Yamatokoriyama639-1080 Japan Department of Computer Engineering Pusan University of Foreign Studies 55-1 Uam-dong Nam-gu Pusan608-738 Korea Republic of Graduate School of Science and Technology Kobe University 1-1 Rokkodai Nada Kobe657-8501 Japan Department of Computer and Systems Engineering Kobe University 1-1 Rokkodai Nada Kobe657-8501 Japan
Recent development of logic programming languages based on linear logic suggests a successful direction to extend logic programming to be more expressive and more efficient. the treatment of formulasas- resources give... 详细信息
来源: 评论
Synthesizing Imperative Code from Answer Set programming Specifications  29th
Synthesizing Imperative Code from Answer Set Programming Spe...
收藏 引用
29th international conference on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Varanasi, Sarat Chandra Salazar, Elmer Mittal, Neeraj Gupta, Gopal Univ Texas Dallas Dept Comp Sci Richardson TX 75083 USA
We consider the problem of obtaining an implementation of an algorithm from its specification. We assume that these specifications are written in answer set programming (ASP). ASP is an ideal formalism for writing spe... 详细信息
来源: 评论
SociaLite: Datalog Extensions for Efficient Social Network Analysis
SociaLite: Datalog Extensions for Efficient Social Network A...
收藏 引用
29th IEEE international conference on Data Engineering (ICDE)
作者: Seo, Jiwon Guo, Stephen Lam, Monica S. Stanford Univ Comp Syst Lab Stanford CA 94305 USA
With the rise of social networks, large-scale graph analysis becomes increasingly important. Because SQL lacks the expressiveness and performance needed for graph algorithms, lower-level, general-purpose languages are... 详细信息
来源: 评论