咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
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... 详细信息
来源: 评论
OOASP: Connecting object-oriented and logic programming  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Falkner, Andreas Ryabokon, Anna Schenner, Gottfried Shchekotykhin, Kostyantyn Siemens AG Österreich Vienna Austria Alpen-Adria-Universität Klagenfurt Klagenfurt Austria
Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers analyze requirements to the future system using some modeling language – are... 详细信息
来源: 评论
LIFT-UP: Lifted first-order planning under uncertainty
LIFT-UP: Lifted first-order planning under uncertainty
收藏 引用
6th international Workshop on the Implementation of logics, IWIL 2006 - Held at the 13th international conference on logic for programming, Artificial Intelligence and Reasoning
作者: Hölldobler, Steffen Skvortsova, Olga International Center for Computational Logic Technische Universität Dresden Dresden Germany
We present a new approach for solving first-order Markov decision processes combining first-order state abstraction and heuristic search. In contrast to existing systems, which start with propositionalizing the decisi... 详细信息
来源: 评论
Implementing Preferences with asprin  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Brewka, Gerhard Delgrande, James Romero, Javier Schaub, Torsten INRIA Rennes Rennes France Simon Fraser University Burnaby Canada Universität Leipzig Leipzig Germany Universität Potsdam Potsdam Germany IIIS Griffith University Brisbane Australia
asprin offers a framework for expressing and evaluating combinations of quantitative and qualitative preferences among the stable models of a logic program. In this paper, we demonstrate the generality and flexibility... 详细信息
来源: 评论
logic programming and Nonmonotonic Reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Francesco Calimeri Giovambattista Ianni Miroslaw Truszczynski
this volume contains the refereed proceedings of the 13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa... 详细信息
来源: 评论
inductive logic programming  2005
收藏 引用
丛书名: Lecture Notes in Computer Science
2005年
作者: Stefan Kramer Bernhard Pfahringer
来源: 评论
Shift design with answer set programming  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Abseher, Michael Gebser, Martin Musliu, Nysret Schaub, Torsten Woltran, Stefan TU Wien Vienna Austria Aalto University HIIT Espoo Finland University of Potsdam Potsdam Germany INRIA Rennes Rennes France
Answer Set programming (ASP) is a powerful declarative programming paradigm that has been successfully applied to many different domains. Recently, ASP has also proved successful for hard optimization problems like co... 详细信息
来源: 评论
Multiple preprocessing for systematic SAT solvers
Multiple preprocessing for systematic SAT solvers
收藏 引用
6th international Workshop on the Implementation of logics, IWIL 2006 - Held at the 13th international conference on logic for programming, Artificial Intelligence and Reasoning
作者: Anbulagan Slaney, John Logic and Computation Program National ICT Australia Ltd. Australia Computer Sciences Laboratory Australian National University Australia
High-performance SAT solvers based on systematic search generally use either conflict driven clause learning (CDCL) or lookahead techniques to gain efficiency. Both styles of reasoning can gain from a preprocessing ph... 详细信息
来源: 评论
Similarity-Based Equality with Lazy Evaluation
Similarity-Based Equality with Lazy Evaluation
收藏 引用
13th international conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
作者: Moreno, Gines U Castilla La Mancha Dept Comp Syst Albacete 02071 Spain
thanks to the high expressive power and the rule-based nature of declarative languages, their influences are growing in the fields of AI, knowledge representation, and so on. On the other hand, since the notion of &qu... 详细信息
来源: 评论
the formal specification and implementation of a modest first-order temporal logic  13th
收藏 引用
13th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000)
作者: Sachdev, S Trudel, A Nortel Networks Stn C Ottawa ON K1Y 4H7 Canada Acadia Univ Jodrey Sch Comp Sci Wolfville NS B0P 1X0 Canada
We present a, formally specified first order temporal logic. We give its syntax, semantics, and describe its implementation using the Eclipse constraint logic programming language. the main feature of the implementati... 详细信息
来源: 评论