咨询与建议

限定检索结果

文献类型

  • 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Bridging Representations of Laws, of Implementations and of Behaviours  28
Bridging Representations of Laws, of Implementations and of ...
收藏 引用
28th Annual international conference on Legal Knowledge and Information Systems (JURIX)
作者: Sileno, Giovanni Boer, Alexander Van Engers, Tom Univ Amsterdam Leibniz Ctr Law Amsterdam Netherlands
To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri net... 详细信息
来源: 评论
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 ...
来源: 评论
A Fast and Accurate Logarithm Accelerator for Scientific Applications  28
A Fast and Accurate Logarithm Accelerator for Scientific App...
收藏 引用
28th IEEE international conference on Application-specific Systems, Architectures and Processors (ASAP)
作者: Chen, Jing Liu, Xue McGill Univ Sch Comp Sci Montreal PQ Canada
Many scientific applications rely on evaluation of elementary functions. Nowadays, high-level programming languages provide their own elementary function libraries in software by using lookup table and/or polynomial a... 详细信息
来源: 评论