咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
A Machine Learning guided Rewriting Approach for ASP logic Programs  36
A Machine Learning guided Rewriting Approach for ASP Logic P...
收藏 引用
36th international conference on logic programming (iclp)
作者: Mastria, Elena Zangari, Jessica Perri, Simona Calimeri, Francesco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
Answer Set programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some advanced expertise is required, in g... 详细信息
来源: 评论
Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference  1
收藏 引用
28th international conference on Inductive logic programming (ILP)
作者: Nickles, Matthias Natl Univ Ireland Sch Engn & Informat Galway Ireland
this paper proposes multi-model optimization through SAT witness or answer set sampling, with common probabilistic reasoning tasks as primary use cases (including deduction-style probabilistic inference and hypothesis... 详细信息
来源: 评论
ChatGPT for PLC/DCS Control logic Generation  28
ChatGPT for PLC/DCS Control Logic Generation
收藏 引用
28th IEEE international conference on Emerging Technologies and Factory Automation, ETFA 2023
作者: Koziolek, Heiko Gruener, Sten Ashiwal, Virendra ABB Research Ladenburg Germany
Large language models (LLMs) providing generative AI have become popular to support software engineers in creating, summarizing, optimizing, and documenting source code. It is still unknown how LLMs can support contro... 详细信息
来源: 评论
Computational logic — CL 2000  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey
these are the proceedings of the First international conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. the theme of the conference covered all aspec... 详细信息
来源: 评论
2SAT based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids  28
2SAT based Infeasibility Resolution during Design Rule Corre...
收藏 引用
28th international conference on VLSI Design (VLSID) / 14th international conference on Embedded Systems
作者: Salodkar, Nitin Rajagopalan, Subramanian Bhattacharya, Sambuddha Batterywala, Shabbir Samsung Res Inst Bangalore Karnataka India Synopsys India Pvt Ltd Bangalore Karnataka India
Traditionally, automatic design rule correction (DRC) problem is modeled as a linear program with technology rules and design intents modeled as difference constraints under a minimum perturbation objective. However, ... 详细信息
来源: 评论
logic-Based Program Synthesis and Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Fred Mesnard Peter J. Stuckey
this book constitutes the thoroughly refereed post-conference proceedings of the 28th international Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in Septe... 详细信息
来源: 评论
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal logic  28th
Operational Semantics and Program Verification Using Many-So...
收藏 引用
28th international conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
作者: Leustean, Ioana Moanga, Natalia Serbanuta, Traian Florin Univ Bucharest Fac Math & Comp Sci Str Academiei 14 Bucharest 010014 Romania
We propose a general framework to allow: (a) specifying the operational semantics of a programming language;and (b) stating and proving properties about program correctness. Our framework is based on a many-sorted sys... 详细信息
来源: 评论
Model checking communication protocols  28th
收藏 引用
28th international conference on Current Trends in theory and Practice of Informatics, SOFSEM 2001
作者: Argón, Pablo Delzanno, Giorgio Mukhopadhyay, Supratik Podelski, Andreas IRCyN 1 rue de la Noë BP 92101 Nantes44321 France Max-Planck-Institut für Informatik Im Stadtwald Saarbrücken66123 Germany
Brand and Zafiropulo [1] introduced the model of communicating finite-state machines to represent a distributed system connected with FIFO channels. Several different communication protocols can be specified with this... 详细信息
来源: 评论
Proceedings of the 28th IEEE international conference on Software Maintenance, ICSM 2012
Proceedings of the 28th IEEE International Conference on Sof...
收藏 引用
28th IEEE international conference on Software Maintenance, ICSM 2012
the proceedings contain 82 papers. the topics discussed include: an industrial case study of Coman's automated task detection algorithm: what worked, what didn't, and why;Vasco: a visual approach to explore ob...
来源: 评论
GPU-accelerated hypothesis cover set testing for learning in logic  28
GPU-accelerated hypothesis cover set testing for learning in...
收藏 引用
Up-and-Coming and Short Papers of the 28th international conference on Inductive logic programming, UCS-ILP 2018
作者: Algahtani, Eyad Kazakov, Dimitar University of York Heslington YorkYO10 5GH United Kingdom
ILP learners are commonly implemented to consider sequentially each training example for each of the hypotheses tested. Computing the cover set of a hypothesis in this way is costly, and introduces a major bottleneck ... 详细信息
来源: 评论