咨询与建议

限定检索结果

文献类型

  • 161 篇 会议
  • 16 册 图书
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 133 篇 工学
    • 127 篇 计算机科学与技术...
    • 59 篇 软件工程
    • 14 篇 电气工程
    • 13 篇 控制科学与工程
    • 6 篇 机械工程
    • 5 篇 信息与通信工程
    • 4 篇 建筑学
    • 2 篇 交通运输工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 环境科学与工程(可...
    • 1 篇 安全科学与工程
  • 23 篇 理学
    • 18 篇 数学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 9 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 2 篇 图书情报与档案管...
  • 2 篇 艺术学
    • 2 篇 设计学(可授艺术学...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 56 篇 logic programmin...
  • 14 篇 mathematical log...
  • 12 篇 logics and meani...
  • 10 篇 artificial intel...
  • 9 篇 programming lang...
  • 8 篇 software enginee...
  • 7 篇 computer circuit...
  • 7 篇 formal logic
  • 6 篇 semantics
  • 5 篇 temporal logic
  • 4 篇 optimization
  • 4 篇 programming tech...
  • 4 篇 algorithm analys...
  • 4 篇 knowledge repres...
  • 3 篇 fuzzy logic
  • 3 篇 programmable log...
  • 3 篇 higher-order log...
  • 3 篇 programming
  • 3 篇 symbolic and alg...
  • 3 篇 computer communi...

机构

  • 3 篇 new mexico state...
  • 2 篇 tu wien austria
  • 2 篇 tech univ munich...
  • 2 篇 eth dept comp sc...
  • 2 篇 institute of log...
  • 2 篇 katholieke univ ...
  • 2 篇 univ massachuset...
  • 2 篇 imdea software i...
  • 2 篇 michigan state u...
  • 2 篇 univ hawaii dept...
  • 2 篇 suny stony brook...
  • 2 篇 temple univ dept...
  • 1 篇 univ calabria de...
  • 1 篇 national institu...
  • 1 篇 escola politécni...
  • 1 篇 laboratoire pps ...
  • 1 篇 new mexico state...
  • 1 篇 university of te...
  • 1 篇 univ aizu grad s...
  • 1 篇 department of in...

作者

  • 3 篇 eiter thomas
  • 2 篇 pontelli e
  • 2 篇 giovannetti tani...
  • 2 篇 leone nicola
  • 2 篇 avrunin gs
  • 2 篇 sakama chiaki
  • 2 篇 yamaguchi takehi...
  • 2 篇 mehta f
  • 2 篇 fink m
  • 2 篇 woltran stefan
  • 2 篇 martono niken pr...
  • 2 篇 eiter t
  • 2 篇 serebrenik a
  • 2 篇 sciavicco guido
  • 2 篇 ohwada hayato
  • 2 篇 faber wolfgang
  • 2 篇 abe keisuke
  • 2 篇 nipkow t
  • 2 篇 dillon lk
  • 2 篇 inoue katsumi

语言

  • 182 篇 英文
  • 1 篇 中文
检索条件"任意字段=19th International Conference on Logic Programming, ICLP 2003"
183 条 记 录,以下是81-90 订阅
排序:
Knowledge-Directed theory Revision
Knowledge-Directed Theory Revision
收藏 引用
19th international conference on Inductive logic programming
作者: Ali, Kamal Leung, Kevin Konik, Tolga Choi, Dongkyu Shapiro, Dan Stanford Univ Ctr Study Language & Informat Cognit Syst Lab Stanford CA 94305 USA
Using domain knowledge to speed up learning is widely accepted but theory revision of such knowledge continues to use general syntactic operators. Using such operators for theory revision of teleoreactive logic progra... 详细信息
来源: 评论
System-level infrastructure for boot-time testing and configuration of networks-on-chip with programmable routing logic
System-level infrastructure for boot-time testing and config...
收藏 引用
2011 IEEE/IFIP 19th international conference on VLSI and System-on-Chip, VLSI-SoC 2011
作者: Ghiribaldi, Alberto Ludovici, Daniele Favalli, Michele Bertozzi, Davide ENDIF University of Ferrara 44100 Ferrara Italy
Networks-on-chip need to survive to manufacturing faults in order to sustain yield. An effective testing and configuration strategy however implies two opposite requirements. On one hand, a fast and scalable built-in ... 详细信息
来源: 评论
Automated Deduction – CADE-19  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Franz Baader
this volume contains the papers presented at the 19th international conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. they are divided into the following categories:... 详细信息
来源: 评论
Disjunctive answer set programming via satisfiability
Disjunctive answer set programming via satisfiability
收藏 引用
3rd international Workshop on Answer Set programming: Advances in theory and Implementation, ASP 2005, Co-located Event with the 19th international Joint conference on Artificial Intelligence, IJCAI 2005
作者: Lierler, Yuliya Erlangen-Nürnberg Universität Germany
Using SAT solvers as inference engines in answer set programming systems showed to be a promising approach in building efficient systems. Nowadays SAT based answer set programming systems successfully work with nondis... 详细信息
来源: 评论
Towards rational closure for fuzzy logic: the case of propositional Gödel logic
Towards rational closure for fuzzy logic: The case of propos...
收藏 引用
19th international conference on logic for programming, Artificial Intelligence, and Reasoning, LPAR 2013
作者: Casini, Giovanni Straccia, Umberto Centre for Artificial Intelligence Research CSIR Meraka Institute UKZN South Africa Pisa Italy
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark and we are going to see whether such a construction can be adopted in the context of mathematical fuzzy logic, a so fa... 详细信息
来源: 评论
Effective prover for minimal inconsistency logic
Effective prover for minimal inconsistency logic
收藏 引用
conference on Artificial Intelligence in theory and Practice held at the 19th World Computer Congress
作者: Neto, Adolfo Gustavo Serra Seca Finger, Marcelo Univ Sao Paulo Dept Comp Sci Inst Math & Stat Sao Paulo Brazil
In this paper we present an effective prover for mbC, a minimal inconsistency logic. the mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosop... 详细信息
来源: 评论
Data Mining Algorithms Parallelization in logic programming Framework for Execution in Cluster  19th
Data Mining Algorithms Parallelization in Logic Programming ...
收藏 引用
19th international conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems (NEW2AN) / 12th conference on the Internet of things and Smart Spaces ruSMART (Are You Smart)
作者: Malov, Aleksey Rodionov, Sergey Shorov, Andrey St Petersburg Electrotech Univ LETI St Petersburg Russia
this article describes an approach to parallelizing of data mining algorithms in logical programming framework, for distributed data processing in cluster. As an example Naive Bayes algorithm implementation in Prolog ... 详细信息
来源: 评论
Typed Lambda Calculi and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Pierre-Louis Curien
this book constitutes the refereed proceedings of the 9th international conference on Typed Lambda Calculi and Applications, TLCA 2009, held in Brasilia, Brazil in July 2008 in conjunction with RTA 2007, the 19th Inte... 详细信息
来源: 评论
Data extraction from flash memory and reverse engineering using Xilinx 7 series FPGA boards  19
Data extraction from flash memory and reverse engineering us...
收藏 引用
19th international SoC Design conference (ISOCC) - SoC Technology Towards a New Era of Innovation
作者: Lee, Dongchan Lee, Sanghyun Cho, Mannhee Lee, Hyung-Min Kim, Youngmin Hongik Univ Sch Elect & Elect Eng Seoul South Korea Korea Univ Sch Elect Engn Seoul South Korea
In this paper, we introduce a general methodology of reverse engineering for Xilinx FPGA devices using flash memory for programming. Based on the structural analysis of the flash memory used for the most recent 7-Seri... 详细信息
来源: 评论
Improving separation of concerns in the development of scientific applications
Improving separation of concerns in the development of scien...
收藏 引用
19th international conference on Software Engineering and Knowledge Engineering, SEKE 2007
作者: Sadjadi, S.M. Martinez, J. Soldo, T. Atencio, L. Badia, R.M. Ejarque, J. School of Computing and Information Sciences Florida International University Miami FL United States Barcelona Supercomputing Center Barcelona Spain
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently take advantage of HPC facilities;a ski... 详细信息
来源: 评论