咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 19 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 123 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 93 篇 工学
    • 92 篇 计算机科学与技术...
    • 76 篇 软件工程
    • 4 篇 控制科学与工程
    • 3 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 61 篇 理学
    • 57 篇 数学
    • 3 篇 系统科学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 医学
    • 1 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 22 篇 logic programmin...
  • 17 篇 answer set progr...
  • 9 篇 semantics
  • 6 篇 logic
  • 6 篇 computer languag...
  • 5 篇 programming
  • 5 篇 inductive logic ...
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 machine learning
  • 3 篇 verification
  • 2 篇 termination and ...
  • 2 篇 tools

机构

  • 4 篇 imdea software i...
  • 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 篇 sabanci univ fac...
  • 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.
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 erdem esra
  • 3 篇 chu geoffrey
  • 3 篇 aziz rehan abdul
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 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

语言

  • 122 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Inductive Logic Programming"
123 条 记 录,以下是51-60 订阅
排序:
An Instance Based Model for Scalable theta -Subsumption
An Instance Based Model for Scalable Theta -Subsumption
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: Hippolyte Léger Dominique Bouthinon Mustapha Lebbah Hanene Azzag Universite Paris 13 L.I.P.N UMR-CNRS 7030 Villetaneuse France
the θ-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed θ-subsumption proc... 详细信息
来源: 评论
29th international conference on Computer Aided Verification, CAV 2017
29th International Conference on Computer Aided Verification...
收藏 引用
29th international conference on Computer Aided Verification, CAV 2017
the proceedings contain 61 papers. the special focus in this conference is on Computer Aided Verification. the topics include: Verified compilation of space-efficient reversible circuits;ascertaining uncertainty for e...
来源: 评论
Epistemic Specifications with Probabilities
Epistemic Specifications with Probabilities
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: Shutao Zhang Zhizheng Zhang School of Computer Science and Engineering Southeast University Nanjin Jiangsu China
this paper develops a probabilistic-epistemic logic program language, PELP, by introducing probabilistic modal operators K w and PL into LP MLN programs, where w is a sub-interval of [0, 1]. Intuitively, a probabili... 详细信息
来源: 评论
Modeling and Solving the Multi-agent Pathfinding Problem in Picat
Modeling and Solving the Multi-agent Pathfinding Problem in ...
收藏 引用
international conference on Tools for Artificial Intelligence (ICTAI)
作者: Roman Barták Neng-Fa Zhou Roni Stern Eli Boyarski Pavel Surynek Charles University Praha Czech Republic CUNY Brooklyn College and Graduate Center New York USA Ben Gurion University of the Negev Beer Sheva Israel AIST Charles University Tokyo Praha Japan Czech Republic
the multi-agent pathfinding (MAPF) problem has attracted considerable attention because of its relation to practical applications. In this paper, we present a constraint-based declarative model for MAPF, together with... 详细信息
来源: 评论
Domain modeling for planning as logic programming  29
Domain modeling for planning as logic programming
收藏 引用
29th international Florida Artificial Intelligence Research Society conference, FLAIRS 2016
作者: Barták, Roman Vodrážka, Jindřich Charles University in Prague Faculty of Mathematics and Physics Malostranské nám. 25 Praha 1118 00 Czech Republic
Planning as programming is an approach to automated planning, where the planning domain model is expressed as a program in some (declarative) programming language. then the modeler can exploit all features of that lan... 详细信息
来源: 评论
An Efficient Method for Clock Skew Scheduling to reduce Peak Current  29
An Efficient Method for Clock Skew Scheduling to reduce Peak...
收藏 引用
29th international conference on VLSI DESIGN / 15th international conference on Embedded Systems (VLSID)
作者: Vijayakumar, Arunkumar Patil, Vinay C. Kundu, Sandip Univ Massachusetts Dept Elect & Comp Engn Amherst MA 01003 USA
Concurrent switching of flip-flops and logic gates produces a current surge in synchronous circuits resulting in power supply noise and integrity issues. It is well known that peak current caused by simultaneous switc... 详细信息
来源: 评论
A prototype development of a declarative approach for computer system security  29
A prototype development of a declarative approach for comput...
收藏 引用
29th international conference on Computer Applications in Industry and Engineering, CAINE 2016
作者: Bai, Yun Caprin, Edward Zhang, Yan Artificial Intelligence Research Group School of Computing Engineering and Mathematics Western Sydney University Australia
In information security, representation and reasoning of authorization policy has been a key research topic in this field especially in a sophisticated information sharing and exchange environment [6, 7, 9]. In such a... 详细信息
来源: 评论
Stable Model Counting and Its Application in Probabilistic logic programming  29
Stable Model Counting and Its Application in Probabilistic L...
收藏 引用
29th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) conference on Artificial Intelligence
作者: Aziz, Rehan Abdul Chu, Geoffrey Muise, Christian Stuckey, Peter Univ Melbourne Natl ICT Australia Victoria Lab Dept Comp & Informat Syst Melbourne Vic Australia
Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is ... 详细信息
来源: 评论
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 hav...
来源: 评论
Language fuzzing using constraint logic programming  14
Language fuzzing using constraint logic programming
收藏 引用
29th ACM/IEEE international conference on Automated Software Engineering, ASE 2014
作者: Dewey, Kyle Roesch, Jared Hardekopf, Ben University of California Santa Barbara United States
Fuzz testing builds confidence in compilers and interpreters. It is desirable for fuzzers to allow targeted generation of programs that showcase specific language features and behaviors. However, the predominant progr... 详细信息
来源: 评论