咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是181-190 订阅
排序:
Memory Leaks Detection in Java by Bi-abductive Inference
Memory Leaks Detection in Java by Bi-abductive Inference
收藏 引用
13th international conference on Foundations of Software Science and Computational Structures/Joint European conferences on theory and Practice of Software
作者: Distefano, Dino Filipovic, Ivana Queen Mary Univ London London England
this paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. the algorithm is based on separation logic and exploits the concept of bi-abductive inference for identifying th... 详细信息
来源: 评论
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-... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Exact Algorithms and Complexity  1
收藏 引用
13th international conference on theory and Applications of Satisfiability Testing
作者: Paturi, Ramamohan Univ Calif San Diego Dept Comp Sci & Engn La Jolla CA 92093 USA
Over the past couple of decades, a series of exact exponential-time algorithms have been developed with improved run times for a number of problems including IndependentSet, k-SAT, and k-colorability using a variety o... 详细信息
来源: 评论
Model Driven Engineering Languages and Systems - 13th international conference, MODELS 2010, Proceedings
Model Driven Engineering Languages and Systems - 13th Intern...
收藏 引用
13th international conference on Model Driven Engineering Languages and Systems, MODELS 2010
the proceedings contain 56 papers. the topics discussed include: a unified approach to modeling and programming;generic meta-modeling with concepts, templates and mixing layers;an observer-based notion of model inheri...
来源: 评论
Model Driven Engineering Languages and Systems - 13th international conference, MODELS 2010, Proceedings
Model Driven Engineering Languages and Systems - 13th Intern...
收藏 引用
13th international conference on Model Driven Engineering Languages and Systems, MODELS 2010
the proceedings contain 56 papers. the topics discussed include: a unified approach to modeling and programming;generic meta-modeling with concepts, templates and mixing layers;an observer-based notion of model inheri...
来源: 评论
Improving Unsatisfiability-Based Algorithms for Boolean Optimization  1
收藏 引用
13th international conference on theory and Applications of Satisfiability Testing
作者: Manquinho, Vasco Martins, Ruben Lynce, Ines Univ Tecn Lisboa IST INESC ID Lisbon Portugal
Recently, several unsatisfiability-based algorithms have been proposed for Maximum Satisfiability (MaxSAT) and other Boolean Optimization problems. these algorithms are based on being able to iteratively identify and ... 详细信息
来源: 评论
Towards a logical Model of Induction from Examples and Communication
Towards a Logical Model of Induction from Examples and Commu...
收藏 引用
13th international conference of the Catalan-Association-for-Artificial-Intelligence (CCIA)
作者: Ontanon, Santiago Dellunde, Pilar Godo, Lluis Plaza, Enric CSIC Spanish Council Sci Res IIIA Artificial Intelligence Res Inst Campus UAB Bellaterra 08193 Catalonia Spain CSIC IIIA Artificial Intelligence Res Inst Madrid Spain Univ Autonoma Barcelona E-08193 Barcelona Spain
this paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypot... 详细信息
来源: 评论
A decision-theoretic approach to developing robust collision avoidance logic
A decision-theoretic approach to developing robust collision...
收藏 引用
international conference on Intelligent Transportation
作者: Mykel J. Kochenderfer James P. Chryssanthacopoulos Lincoln Laboratory Massachusetts Institute of Technology Lexington MA USA
All large transport aircraft are required to be equipped with a collision avoidance system that instructs pilots how to maneuver to avoid collision with other aircraft. the uncertainty in the behavior of the intruding... 详细信息
来源: 评论
A Deductive System for FO(ID) Based on Least Fixpoint logic
收藏 引用
10th international conference on logic programming and Nonmonotonic Reasoning
作者: Hou, Ping Denecker, Marc Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
the logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. the goal of this paper is to extend Gentzen's sequeut calculus to obtain a deduc... 详细信息
来源: 评论