咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是71-80 订阅
排序:
13th international Symposium on Functional and logic programming, FLOPS 2016
13th International Symposium on Functional and Logic Program...
收藏 引用
13th international Symposium on Functional and logic programming, FLOPS 2016
the proceedings contain 15 papers. the special focus in this conference is on Functional and logic programming. the topics include: the hard-won lessons of the fifth generation computer project;from sets to bits in co...
来源: 评论
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
the proceedings contain 48 papers. the special focus in this conference is on logic programming and Nonmonotonic Reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets log...
来源: 评论
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming
收藏 引用
BIOSYSTEMS 2016年 149卷 139-153页
作者: Ostrowski, M. Pauleve, L. Schaub, T. Siegel, A. Guziolowski, C. Univ Potsdam Potsdam Germany INRIA Rennes France Univ Paris Sud LRI UMR 8623 CNRS Orsay France Univ Rennes 1 CNRS IRISA UMR 6074 Rennes France CNRS IRCCyN UMR 6597 Ecole Cent Nantes Nantes France
Boolean networks (and more general logic models) are useful frameworks to study signal transduction across multiple pathways. logic models can be learned from a prior knowledge network structure and multiplex phosphop... 详细信息
来源: 评论
CCA 2016 - 13th international conference on Computability and Complexity in Analysis - Proceedings
CCA 2016 - 13th International Conference on Computability an...
收藏 引用
13th international conference on Computability and Complexity in Analysis, CCA 2016
the proceedings contain 19 papers. the topics discussed include: the real numbers in homotopy type theory;undecidability of the spectral gap;choices that we face: the good, the bad and the recursive;variants of layerw...
来源: 评论
13th IFIP WG 1.3 international Workshop on Coalgebraic Methods in Computer Science, CMCS 2016 Colocated with Satellite Event of the Joint conference on theory and Practice of Software, ETAPS 2016
收藏 引用
13th IFIP WG 1.3 international Workshop on Coalgebraic Methods in Computer Science, CMCS 2016 Colocated with Satellite Event of the Joint conference on theory and Practice of Software, ETAPS 2016
the proceedings contain 13 papers. the special focus in this conference is on Coalgebraic Methods in Computer Science. the topics include: Fixed points of functors;compositional coinduction with sized types;lawvere ca...
来源: 评论
Scheduling Home Hospice Care with logic-Based Benders Decomposition  1
收藏 引用
13th international conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint programming (CPAIOR)
作者: Heching, Aliza Hooker, John N. Compassionate Care Hosp Grp New York NY USA Carnegie Mellon Univ Pittsburgh PA 15213 USA
We propose an exact optimization method for home hospice care staffing and scheduling, using logic-based Benders decomposition (LBBD). the objective is to match hospice care aides with patients and schedule visits to ... 详细信息
来源: 评论
13th international conference on Integration of AI and OR Techniques in Constraint programming, CPAIOR 2016
13th International Conference on Integration of AI and OR Te...
收藏 引用
13th international conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint programming, CPAIOR 2016
the proceedings contain 29 papers. the special focus in this conference is on Integration of AI and OR Techniques in Constraint programming. the topics include: On CNF encodings of decision diagrams;time-series constr...
来源: 评论
Modeling and Solving the Soft Constraints for Supply Chain Problems Using the Hybrid Approach  13th
收藏 引用
13th international conference on Distributed Computing and Artificial Intelligence (DCAI)
作者: Sitek, Pawel Kielce Univ Technol Dept Informat Syst Kielce Poland
Many real-life problems in Supply Chain (SC) are over-constrained. Insufficient resources and time requirements result in an inability to all constraints. In some cases, their fulfillment requires very intensive compu... 详细信息
来源: 评论
logic-Based Decomposition Methods for the Travelling Purchaser Problem  1
收藏 引用
13th international conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint programming (CPAIOR)
作者: Booth, Kyle E. C. Tran, Tony T. Beck, J. Christopher Univ Toronto Dept Mech & Ind Engn Toronto ON M5S 3G8 Canada
We present novel branch-and-check and logic-based Benders decomposition techniques for the Travelling Purchaser Problem, an important optimization problem with applications in vehicle routing, logistics, and warehouse... 详细信息
来源: 评论
Minaturized Safety PLC on a Chip for Industrial Control Applications  13th
收藏 引用
13th international conference on Distributed Computing and Artificial Intelligence (DCAI)
作者: Hayek, Ali Boercsoek, Josef Univ Kassel Dept Elect Engn & Comp Sci Chair Comp Architecture & Syst Programming Kassel Germany
In this paper a safety programmable logic controller as a single chip solution is presented. the presented control system is based on a certified application specific integrated circuit for safety-critical application... 详细信息
来源: 评论