咨询与建议

限定检索结果

文献类型

  • 2,450 篇 会议
  • 99 册 图书
  • 85 篇 期刊文献

馆藏范围

  • 2,634 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,646 篇 工学
    • 1,291 篇 计算机科学与技术...
    • 656 篇 软件工程
    • 366 篇 电气工程
    • 251 篇 控制科学与工程
    • 109 篇 信息与通信工程
    • 105 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 20 篇 土木工程
    • 20 篇 安全科学与工程
  • 402 篇 理学
    • 300 篇 数学
    • 60 篇 系统科学
    • 53 篇 物理学
    • 46 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 237 篇 管理学
    • 177 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 27 篇 法学
    • 19 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 probabilistic lo...
  • 58 篇 software enginee...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 47 篇 software
  • 45 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 41 篇 logic
  • 41 篇 hardware

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...
  • 4 篇 duan zhenhua

语言

  • 2,573 篇 英文
  • 37 篇 其他
  • 18 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2634 条 记 录,以下是61-70 订阅
排序:
Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime
Learning Value Functions for Same-Day Delivery Problems in...
收藏 引用
19th international conference on Computer Aided Systems theory, EUROCAST 2024
作者: Frohner, Nikolaus Raidl, Günther R. Institute of Logic and Computation Vienna TU Wien Austria
Same-day delivery problems are a class of stochastic decision making problems concerned with delivering orders placed dynamically by stochastic customers on the same day given a fleet of vehicles. We consider a varian...
来源: 评论
DNA Computing and Molecular programming - 19th international conference, DNA 2013, Proceedings
DNA Computing and Molecular Programming - 19th International...
收藏 引用
19th international conference on DNA Computing and Molecular programming, DNA 2013
the proceedings contain 15 papers. the topics discussed include: extending DNA-sticker arithmetic to arbitrary size using staples;parallel computation using active self-assembly;DNA walker circuits: computational pote...
来源: 评论
Proceedings - 2009 FPL 09: 19th international conference on Field Programmable logic and Applications, FPL 2009: Preface
FPL 09: 19th International Conference on Field Programmable ...
收藏 引用
FPL 09: 19th international conference on Field Programmable logic and Applications 2009年 iii-iv页
作者: Daněk, Martin Nelson, Brent
来源: 评论
ExOpaque: A framework to explain opaque machine learning models using Inductive logic programming
ExOpaque: A framework to explain opaque machine learning mod...
收藏 引用
19th IEEE international conference on Tools with Artificial Intelligence
作者: Guo, Yunsong Selman, Bart Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
In this paper we developed an Inductive logic programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning model, to describe the behavior of the o... 详细信息
来源: 评论
High-level programming of Coarse-Grained Reconfigurable Architectures
High-level Programming of Coarse-Grained Reconfigurable Arch...
收藏 引用
19th international conference on Field Programmable logic and Applications
作者: Zain-ul-Abdin Halmstad Univ CERES Halmstad Sweden
来源: 评论
Coping with exceptions in multiclass ILP problems using possibilistic logic
Coping with exceptions in multiclass ILP problems using poss...
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Serrurier, Mathieu Prade, Henri IRIT UPS F-31062 Toulouse France
the handling of exceptions in multiclass problems is a tricky issue in inductive logic programming (ILP). In this paper we propose a new formalization of the ILP problem which accounts for default reasoning, and is en... 详细信息
来源: 评论
Incorporating a folding rule into inductive logic programming
Incorporating a folding rule into inductive logic programmin...
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Rosenblueth, David A. Univ Nacl Autonoma Mexico Inst Invest Matemat Aplicadas & Sistemas Mexico City 01000 DF Mexico
Many inductive logic programming systems have operators reorganizing the program so far inferred, such as the intra-construction operator of CIGOL. At the same time, there is a similar reorganizing operator, called th... 详细信息
来源: 评论
Strong Equivalence for logic Programs with Preferences
Strong Equivalence for Logic Programs with Preferences
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Faber, Wolfgang Konczak, Kathrin Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
Recently, strong equivalence for Answer Set programming has been studied intensively, and was shown to be beneficial for modular programming and automated optimization. In this paper we define the novel notion of stro... 详细信息
来源: 评论
the Zebra Puzzle and Getting to Know Your Tools  19
The Zebra Puzzle and Getting to Know Your Tools
收藏 引用
19th IEEE international conference on Intelligent Engineering Systems (INES)
作者: Gregor, Michal Zabovska, Katarina Smatanik, Vladimir Univ Zilina Dept Control & Informat Syst Univ 8215-1 Zilina 01026 Slovakia Univ Zilina Fac Management Sci & Informat Zilina 01026 Slovakia
this papers deals with modelling of the zebra puzzle (also known as Einstein's riddle) in Prolog, the logical programming language. It shows how to construct a rudimentary representation of the puzzle in Prolog an... 详细信息
来源: 评论
Equivalence in Abductive logic
Equivalence in Abductive Logic
收藏 引用
19th international Joint conference on Artificial Intelligence (IJCAI 05)
作者: Inoue, Katsumi Sakama, Chiaki Res Org Informat & Syst Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
We consider the problem of identifying equivalence of two knowledge bases which are capable of abductive reasoning. Here, a knowledge base is written in either first-order logic or nonmonotonic logic programming. In t... 详细信息
来源: 评论