咨询与建议

限定检索结果

文献类型

  • 182 篇 会议
  • 14 册 图书
  • 11 篇 期刊文献

馆藏范围

  • 206 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 149 篇 工学
    • 138 篇 计算机科学与技术...
    • 63 篇 软件工程
    • 35 篇 电气工程
    • 13 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 化学工程与技术
    • 2 篇 交通运输工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 安全科学与工程
  • 27 篇 理学
    • 21 篇 数学
    • 5 篇 生物学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
  • 8 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 文学
    • 1 篇 外国语言文学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 49 篇 logic programmin...
  • 13 篇 fuzzy logic
  • 12 篇 mathematical log...
  • 11 篇 programming
  • 11 篇 artificial intel...
  • 10 篇 formal logic
  • 8 篇 programming lang...
  • 7 篇 software enginee...
  • 7 篇 logics and meani...
  • 6 篇 programming tech...
  • 6 篇 probabilistic lo...
  • 5 篇 computer science
  • 5 篇 logic gates
  • 5 篇 semantics
  • 4 篇 programming prof...
  • 4 篇 constraint logic...
  • 4 篇 application soft...
  • 4 篇 kripke logical r...
  • 4 篇 mathematical mod...
  • 4 篇 algorithm analys...

机构

  • 3 篇 univ kentucky de...
  • 2 篇 industrial softw...
  • 2 篇 max planck inst ...
  • 2 篇 vienna univ tech...
  • 2 篇 univ cyprus dept...
  • 2 篇 institute of log...
  • 2 篇 ben gurion univ ...
  • 2 篇 imdea software i...
  • 2 篇 international in...
  • 2 篇 aarhus univ dk-8...
  • 2 篇 wakayama univ de...
  • 2 篇 michigan state u...
  • 2 篇 kings coll londo...
  • 1 篇 mpi informat d-6...
  • 1 篇 transmeta corpor...
  • 1 篇 inria
  • 1 篇 ist austria klos...
  • 1 篇 kielce univ tech...
  • 1 篇 vig impex craiov...
  • 1 篇 department of ma...

作者

  • 4 篇 eiter thomas
  • 3 篇 truszczynski mir...
  • 3 篇 dimopoulos y
  • 2 篇 egly uwe
  • 2 篇 sarna-starosta b...
  • 2 篇 stepanova daria
  • 2 篇 woltran stefan
  • 2 篇 dillon laura k.
  • 2 篇 birkedal lars
  • 2 篇 chlipala adam
  • 2 篇 andrei voronkov
  • 2 篇 dreyer derek
  • 2 篇 turon aaron
  • 2 篇 brewka gerhard
  • 2 篇 kyaw myat thu
  • 2 篇 myo thet naung
  • 2 篇 brafman ri
  • 2 篇 stirewalt r. e. ...
  • 2 篇 krishnaswami nee...
  • 1 篇 miller r

语言

  • 202 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"任意字段=18th International Conference on Logic Programming, ICLP 2002"
207 条 记 录,以下是131-140 订阅
排序:
Implementation and Application of Functional Languages: 18th international Symposium, IFL 2006 Revised Selected Papers
收藏 引用
18th international Symposium on Implementation and Application of Functional Languages, IFL 2006
the proceedings contain 15 papers. the topics discussed include: on optimising shape-generic array programs using symbolic structural information;index vector elimination-making index vectors affordable;functional-bas... 详细信息
来源: 评论
Extended semantics and optimization algorithms for CP-networks
收藏 引用
COMPUTATIONAL INTELLIGENCE 2004年 第2期20卷 218-245页
作者: Brafman, RI Dimopoulos, Y Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel Univ Cyprus Dept Comp Sci Nicosia Cyprus
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. Ceteris paribus (CP)-nets were designed to make the process of preference elicitation simpler and mor... 详细信息
来源: 评论
Forecasting US NASDAQ Stock Index Values using Hybrid Forecasting Systems  18
Forecasting US NASDAQ Stock Index Values using Hybrid Foreca...
收藏 引用
18th international conference on Computer and Information Technology (ICCIT)
作者: Banik, Shipra Khan, A. F. M. Khodadad Independent Univ Sch Engn & Comp Sci Dhaka Bangladesh
Capability to predict precise future stock values is the most important factor in financial market to make profit. Because of virtual trading, now a day this market has turn into one of the hot targets where any perso... 详细信息
来源: 评论
Tight Integration of Rule-Based Tools in Game Development  18th
Tight Integration of Rule-Based Tools in Game Development
收藏 引用
18th international conference of the Italian-Association-for-Artificial-Intelligence (AIIA)
作者: Angilica, Denise Ianni, Giovambattista Pacenza, Francesco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
In the wider perspective of narrowing down some of the gaps that prevent the adoption of declarative logic programming within highly dynamically changing environments, we focus in this paper on the context of integrat... 详细信息
来源: 评论
18th international Colloqulum on Automata, Languages, and programming, ICALP 1991
收藏 引用
18th international Colloqulum on Automata, Languages, and programming, ICALP 1991
the proceedings contain 60 papers. the special focus in this conference is on Automata. the topics include: On the semantics of logic programs (invited lecture);logic programming with recurrence domains;extensional em...
来源: 评论
Answer-Set programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling  18
Answer-Set Programming for Lexicographical Makespan Optimisa...
收藏 引用
18th international conference on Principles of Knowledge Representation and Reasoning, KR 2021
作者: Eiter, thomas Geibinger, Tobias Musliu, Nysret Oetsch, Johannes Skočovský, Peter Stepanova, Daria Institute for Logic and Computation TU Wien Favoritenstraße 9-11 ViennaA-1040 Austria CD-Lab Artis TU Wien Robert Bosch Campus 1 Renningen D-71272 Germany Bosch Center for AI Robert Bosch Campus 1 Renningen D-71272 Germany
We deal with a challenging scheduling problem on parallel-machines with sequence-dependent setup times and release dates from a real-world application of semiconductor workshop production. there, jobs can only be proc... 详细信息
来源: 评论
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution)
HSF(C): A Software Verifier Based on Horn Clauses (Competiti...
收藏 引用
18th international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
作者: Grebenshchikov, Sergey Gupta, Ashutosh Lopes, Nuno P. Popeea, Corneliu Rybalchenko, Andrey Tech Univ Munich D-80290 Munich Germany IST Austria Klosterneuburg Austria INESC ID IST TU Lisbon Lisbon Portugal
HSF(C) is a tool that automates verification of safety and liveness properties for C programs. this paper describes the verification approach taken by HSF(C) and provides instructions on how to install and use the tool.
来源: 评论
Shostak light  18th
收藏 引用
18th international conference on Automated Deduction, CADE 2002
作者: Ganzinger, Harald MPI Informatik SaarbrückenD-66123 Germany
We represent the essentialingredien ts of Shostak’s procedure at a high level of abstraction, and as a refinement of the Nelson-Oppen procedure. We analyze completeness issues of the method based on a general notion ... 详细信息
来源: 评论
Strengthening of Feasibility Cuts in logic-Based Benders Decomposition  1
收藏 引用
18th international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research (CPAIOR)
作者: Karlsson, Emil Ronnberg, Elina Linkoping Univ Dept Math S-58183 Linkoping Sweden Saab AB S-58188 Linkoping Sweden
As for any decomposition method, the computational performance of a logic-based Benders decomposition (LBBD) scheme relies on the quality of the feedback information. therefore, an important acceleration technique in ... 详细信息
来源: 评论
Formal Methods and Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Kazuhiro Ogata Mark Lawford Shaoying Liu
this book constitutes the refereed proceedings of the 18th international conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. the 27 revised full papers presented together wit... 详细信息
来源: 评论