咨询与建议

限定检索结果

文献类型

  • 95 篇 会议
  • 7 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 70 篇 工学
    • 67 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 7 篇 电气工程
    • 4 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 生物医学工程(可授...
  • 24 篇 理学
    • 24 篇 数学
    • 1 篇 统计学(可授理学、...
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 法学
    • 2 篇 法学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 公共卫生与预防医...

主题

  • 25 篇 logic gates
  • 20 篇 logic programmin...
  • 9 篇 silicon
  • 5 篇 capacitance
  • 5 篇 answer set progr...
  • 4 篇 delays
  • 4 篇 mathematical log...
  • 4 篇 algorithm design...
  • 4 篇 programming tech...
  • 4 篇 hardware
  • 4 篇 logics and meani...
  • 3 篇 registers
  • 3 篇 stream reasoning
  • 3 篇 films
  • 3 篇 vectors
  • 3 篇 linear programmi...
  • 3 篇 overgrounding
  • 3 篇 probabilistic lo...
  • 3 篇 electric fields
  • 3 篇 grounding

机构

  • 3 篇 univ calabria de...
  • 2 篇 department of ph...
  • 2 篇 abb research lad...
  • 2 篇 dipartimento di ...
  • 2 篇 univ new s wales...
  • 2 篇 department of mi...
  • 2 篇 institute of sol...
  • 1 篇 univ paris cnrs ...
  • 1 篇 wesleyan univers...
  • 1 篇 science and tech...
  • 1 篇 tyndall national...
  • 1 篇 department of co...
  • 1 篇 univ porto dep c...
  • 1 篇 univ calabria de...
  • 1 篇 the pennsylvania...
  • 1 篇 vienna universit...
  • 1 篇 katholieke univ ...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ nova lisboa...
  • 1 篇 univ rennes inri...

作者

  • 4 篇 zangari jessica
  • 3 篇 ianni giovambatt...
  • 3 篇 pacenza francesc...
  • 2 篇 i. pappas
  • 2 篇 maher michael j.
  • 2 篇 dovier agostino
  • 2 篇 peter j. stuckey
  • 2 篇 gennady i. zebre...
  • 2 篇 calimeri frances...
  • 2 篇 n. novkovski
  • 2 篇 perri simona
  • 1 篇 sun yanchun
  • 1 篇 ali khayri a. m.
  • 1 篇 karlsson roland
  • 1 篇 mileo alessandra
  • 1 篇 bhattacharya sam...
  • 1 篇 sileno giovanni
  • 1 篇 kaminski r.
  • 1 篇 chun-hung chen
  • 1 篇 polleres axel

语言

  • 104 篇 英文
  • 2 篇 其他
检索条件"任意字段=28th International Conference on Logic Programming, ICLP 2012"
106 条 记 录,以下是31-40 订阅
排序:
Relative expressiveness of defeasible logics II
收藏 引用
thEORY AND PRACTICE OF logic programming 2013年 第4-5期13卷 579-592页
作者: Maher, Michael J. Univ New S Wales Sch Engn & Informat Technol Canberra ACT 2600 Australia
Maher (2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we s... 详细信息
来源: 评论
Backdoors to normality for disjunctive logic programs  5
Backdoors to normality for disjunctive logic programs
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th international conference on logic programming, iclp 2012
作者: Fichte, Johannes Klaus Szeider, Stefan Vienna University of Technology Austria
Over the last two decades, propositional satisfiability (Sat) has become one of the most successful and widely applied techniques for the solution of NP-complete problems. the aim of this paper is to investigate theor... 详细信息
来源: 评论
Answer Set programming for Single-Player Games in General Game Playing
Answer Set Programming for Single-Player Games in General Ga...
收藏 引用
25th international conference on logic programming (iclp)
作者: thielscher, Michael Tech Univ Dresden Dept Comp Sci Dresden Germany
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human intervention. In this paper, we show... 详细信息
来源: 评论
Geometric programming Formulation for Gate Sizing with Pipelining Constraints  28
Geometric Programming Formulation for Gate Sizing with Pipel...
收藏 引用
28th international conference on VLSI Design (VLSID) / 14th international conference on Embedded Systems
作者: Naidu, Srinath R. Int Inst Informat Technol Bangalore 560100 Karnataka India
We propose a novel framework to solve the combined retiming/gate sizing problem in the context of optimization of acyclic pipelines. the adjustment of sizes to gates in a combinational circuit is a continuous problem,... 详细信息
来源: 评论
Relative expressiveness of defeasible logics II
Relative expressiveness of defeasible logics II
收藏 引用
29th international conference on logic programming iclp
作者: Maher, Michael J. Univ New S Wales Sch Engn & Informat Technol Canberra ACT 2600 Australia
Maher (2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we s... 详细信息
来源: 评论
28th international Workshop on Functional and Constraint logic programming, WFLP 2020
28th International Workshop on Functional and Constraint Log...
收藏 引用
28th international Workshop on Functional and Constraint logic programming, WFLP 2020
the proceedings contain 8 papers. the special focus in this conference is on Functional and Constraint logic programming. the topics include: On the Performance of Bytecode Interpreters in Prolog;memoized Pull-Tabbing...
来源: 评论
the Fusemate logic programming System  28th
The Fusemate Logic Programming System
收藏 引用
28th international conference on Automated Deduction (CADE)
作者: Baumgartner, Peter Data61 CSIRO Canberra ACT Australia Australian Natl Univ Canberra ACT Australia
Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregat... 详细信息
来源: 评论
Multi-Query Stream Processing on FPGAs
Multi-Query Stream Processing on FPGAs
收藏 引用
28th IEEE international conference on Data Engineering (ICDE)
作者: Sadoghi, Mohammad Javed, Rija Tarafdar, Naif Singh, Harsh Palaniappan, Rohan Jacobsen, Hans-Arno Univ Toronto Middleware Syst Res Grp Msrg Org Toronto ON M5S 1A1 Canada
We present an efficient multi-query event stream platform to support query processing over high-frequency event streams. Our platform is built over reconfigurable hardware -- FPGAs -- to achieve line-rate multi-query ... 详细信息
来源: 评论
Incremental maintenance of overgrounded logic programs with tailored simplifications
收藏 引用
thEORY AND PRACTICE OF logic programming 2020年 第5期20卷 719-734页
作者: Ianni, Giovambattista Pacenza, Francesco Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
the repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative gene... 详细信息
来源: 评论
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional logic  28
An ASP Approach to Generate Minimal Countermodels in Intuiti...
收藏 引用
28th international Joint conference on Artificial Intelligence
作者: Fiorentini, Camillo Univ Milan Dept Comp Sci Milan Italy
Intuitionistic Propositional logic is complete w.r.t. Kripke semantics: if a formula is not intuitionistically valid, then there exists a finite Kripke model falsifying it. the problem of obtaining concise models has ...
来源: 评论