咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
A truly concurrent semantics for a simple parallel programming language  13th
收藏 引用
8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)
作者: Gastin, P Mislove, M Univ Paris 07 LIAFA F-75251 Paris 05 France Tulane Univ Dept Math New Orleans LA 70118 USA
this paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, paxallelism and choice. We present a simple programming langua... 详细信息
来源: 评论
Improving Multi-adjoint logic Programs by Unfolding Fuzzy Connective Definitions  13
收藏 引用
13th international Work-conference on Artificial Neural Networks (IWANN)
作者: Morcillo, Pedro J. Moreno, Gines Univ Castilla La Mancha Dept Comp Syst Albacete 02071 Spain
Declarative programming has been classically used for solving computational problems regarding AI, knowledge representation and so on. During the last decade, Soft-Computing has emerged as a new application area speci... 详细信息
来源: 评论
SAT solving for argument filterings
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Codish, Michael Schneider-Kamp, Peter Lagoon, Vitaly thiemann, Rene Giesl, Juergen Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel Rhein Westfal TH Aachen LuFG Informat 2 D-5100 Aachen Germany Univ Melbourne Dept Comp Sci & Software Engn Melbourne Vic Australia
this paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. this facilitates the application of SAT solvers for termination analysis of term rewrite systems based ... 详细信息
来源: 评论
An Alternative to SAT-Based Approaches for Bit-Vectors
An Alternative to SAT-Based Approaches for Bit-Vectors
收藏 引用
16th international conference on Tools and Algorithms for the Construction and Analysis of Systems held at the 13th Joint European conferences on theory and Practice of Software
作者: Bardin, Sebastien Herrmann, Philippe Perroud, Florian CEA LIST Software Safety Lab F-91191 Gif Sur Yvette France
the theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solvers for this theory are based on a bit-... 详细信息
来源: 评论
Diagnostic reasoning for robotics using action languages  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Erdem, Esra Patoglu, Volkan Saribatur, Zeynep Gozen Sabanci University Istanbul Turkey Vienna University of Technology Vienna Austria
We introduce a novel diagnostic reasoning method for robotic systems with multiple robots, to find the causes of observed discrepancies relevant for plan execution. Our method proposes (i) a systematic modification of... 详细信息
来源: 评论
Flexible planning logic for technology planning
收藏 引用
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY 1998年 第1-3期76卷 76-81页
作者: Spath, D Agostini, A Univ Karlsruhe Inst Werkzuegmaschinen & Betriebstech D-76128 Karlsruhe Germany
the ever-rising expectations of customers regarding quality and diversity of products require new products to be launched with a minimum of upheaval and consequently rapid, defect-free and economical processes. these ... 详细信息
来源: 评论
Constructing Camin-Sokal phylogenies via answer set programming
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Kavanagh, Jonathan Mitchell, David Ternovska, Eugenia Manuch, Jan Zhao, Xiaohong Gupta, Arvind Simon Fraser Univ Burnaby BC V5A 1S6 Canada
Constructing parsimonious phylogenetic trees from species data is a central problem in phylogenetics, and has diverse applications, even outside biology. Many variations of the problem, including the cladistic Camin-S... 详细信息
来源: 评论
On the connection between the phase transition of the covering test and the learning success rate in ILP
On the connection between the phase transition of the coveri...
收藏 引用
16th international conference of inductive logic programming
作者: Alphonse, Erick Osmani, Aomar Univ Paris 13 LIPN CNRS UMR 7030 Paris France
It is well-known that heuristic search in ILP is prone to plateau phenomena. An explanation can be given after the work of Giordana and Saitta: the ILP covering test is NP-complete and therefore exhibits a sharp phase... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Stable models in generalized possibilistic logic
Stable models in generalized possibilistic logic
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Dubois, Didier Prade, Henri Schockaert, Steven Université Paul Sabatier CNRS IRIT Toulouse France Cardiff University School of Computer Science and Informatics Cardiff United Kingdom
Possibilistic logic is a well-known logic for reasoning under uncertainty, which is based on the idea that the epistemic state of an agent can be modeled by assigning to each possible world a degree of possibility, ta... 详细信息
来源: 评论