咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 329 篇 电子文献
  • 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 ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 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

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是111-120 订阅
排序:
Multi-level algorithm selection for ASP  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Maratea, Marco Pulina, Luca Ricca, Francesco DIBRIS Univ. degli Studi di Genova Viale F. Causa 15 Genova16145 Italy POLCOMING Univ. degli Studi di Sassari Viale Mancini 5 Sassari07100 Italy Dip. di Matematica ed Informatica Univ. della Calabria Via P. Bucci Rende87030 Italy
Automated algorithm selection techniques have been applied successfully to Answer Set programming (ASP) solvers. ASP computation includes two levels of computation: variable substitution, called grounding, and proposi... 详细信息
来源: 评论
Non-wellfounded trees in homotopy type theory  13
Non-wellfounded trees in homotopy type theory
收藏 引用
13th international conference on Typed Lambda Calculi and Applications, TLCA 2015
作者: Ahrens, Benedikt Capriotti, Paolo Spadotti, Régis Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Toulouse France Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type theory. the conjecture says that in the presence of inductive types, coinductive typ... 详细信息
来源: 评论
Solving disjunctive fuzzy answer set programs  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Mushthofa, Mushthofa Schockaert, Steven De Cock, Martine Department of Applied Mathematics Computer Science and Statistics Ghent University Ghent Belgium School of Computer Science and Informatics Cardiff University Cardiff United Kingdom Department of Computer Science Bogor Agricultural University Bogor Indonesia Center for Data Science University of Washington Tacoma Tacoma United States
Fuzzy Answer Set programming (FASP) is an extension of the popular Answer Set programming (ASP) paradigm which is tailored for continuous domains. Despite the existence of several prototype implementations, none of th... 详细信息
来源: 评论
Enablers and inhibitors in causal justifications of logic programs  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Cabalar, Pedro Fandinno, Jorge Department of Computer Science University of Corunna A Corunna Spain
In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated a justification represented as an algebraic expression. this expression cont... 详细信息
来源: 评论
Answer set programming modulo acyclicity  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Bomanson, Jori Gebser, Martin Janhunen, Tomi Kaufmann, Benjamin Schaub, Torsten Aalto University HIIT Espoo Finland University of Potsdam Potsdam Germany INRIA Rennes Rennes France
Acyclicity constraints are prevalent in knowledge representation and, in particular, applications where acyclic data structures such as DAGs and trees play a role. Recently, such constraints have been considered in th... 详细信息
来源: 评论
Compacting boolean formulae for inference in probabilistic logic programming  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Mantadelis, theofrastos Shterionov, Dimitar Janssens, Gerda CRACS and INESC TEC University of Porto Rua do Campo Alegre 1021/1055 Porto4169-007 Portugal Department of Computer Science KU Leuven Celestijnenlaan 200A Heverlee2402 3001 Belgium
Knowledge compilation converts Boolean formulae for which some inference tasks are computationally expensive into a representation where the same tasks are tractable. ProbLog is a state-of-the-art Probabilistic logic ... 详细信息
来源: 评论
Automating the Development of Metabolic Network Models  13th
Automating the Development of Metabolic Network Models
收藏 引用
13th international conference on Computational Methods in Systems Biology (CMSB)
作者: Rozanski, Robert Bragaglia, Stefano Ray, Oliver King, Ross Univ Manchester Sch Comp Sci Manchester M13 9PL Lancs England Univ Bristol Dept Comp Sci Bristol BS8 1TH Avon England
Although substantial progress has been made in the automation of many areas of systems biology, from data processing and model building to experimentation, comparatively little work has been done on integrated systems... 详细信息
来源: 评论
ASP solving for expanding universes  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Gebser, Martin Janhunen, Tomi Jost, Holger Kaminski, Roland Schaub, Torsten Aalto University HIIT Espoo Finland INRIA Rennes Rennes France University of Potsdam Potsdam Germany
Over the last years, Answer Set programming has significantly extended its range of applicability, and moved beyond solving static problems to dynamic ones, even in online environments. However, its nonmonotonic natur... 详细信息
来源: 评论
On PLCs Control Program Hardware Implementation Selected Problems of Mapping and Scheduling  13
On PLCs Control Program Hardware Implementation Selected Pro...
收藏 引用
13th IFAC and IEEE conference on Programmable Devices and Embedded Systems
作者: Milik, Adam Silesian Univ Technol Gliwice Inst Elect Gliwice Poland
the paper shows the FPGA dedicated method of mapping a PLC program written according to the IEC61131-3 standard. there is described complete synthesis process from the program description to hardware implementation th... 详细信息
来源: 评论
Combining heuristics for configuration problems using answer set programming  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Gebser, Martin Ryabokon, Anna Schenner, Gottfried HIIT Aalto University Espoo Finland University of Potsdam Potsdam Germany Alpen-Adria-Universität Klagenfurt Klagenfurt Austria Siemens AG Österreich Vienna Austria
this paper describes an abstract problem derived from a combination of Siemens product configuration problems encountered in practice. Often isolated parts of configuration problems can be solved by mapping them to we... 详细信息
来源: 评论