咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是161-170 订阅
排序:
Context-sensitive multivariant assertion checking in modular programs
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Pietrzak, Pawel Correas, Jesus Puebla, German Hermenegildo, Manuel V. Tech Univ Madrid Sch Comp Sci UPM Madrid Spain Univ Complutense Madrid Sch Comp Sci Madrid Spain Univ New Mexico CS Dept Albuquerque NM 87131 USA Univ New Mexico ECE Dept Albuquerque NM 87131 USA
We propose a modular, assertion-based system for verification and debugging of large logic programs, together with several interesting models for checking assertions statically in modular programs, each with different... 详细信息
来源: 评论
Doctoral consortium extended abstract: Nonmonotonic qualitative spatial reasoning  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Walęga, Przemyslaw Andrzej University of Warsaw Institute of Philosophy Warsaw Poland
My work on PhD thesis consists in nonmonotonic reasoning about spatial relations and how they change in time. Although there are several approaches concerning this topic, to the best of my knowledge, there is no gener... 详细信息
来源: 评论
Constraint-based error diagnosis in logic programming
Constraint-based error diagnosis in logic programming
收藏 引用
13th international conference on Computers in Education, ICCE 2005
作者: Le, Nguyen-thinh Menzel, Wolfgang Department of Informatics University of Hamburg Germany
Using the constraint-based modeling approach, we have developed a diagnostic component, which is able to identify errors made by learners of a logic programming language when implementing a given task specification. I... 详细信息
来源: 评论
Modelling semi-structured documents with hedges for deduction and induction  11
收藏 引用
11th international conference on inductive logic programming, ILP 2001
作者: Yamamoto, Akihiro Ito, Kimihito Ishino, Akira Arimura, Hiroki MemeMedia Laboratory Hokkaido University N 13 W 8 Sapporo060-8628 Japan Graduate School of Information Science and Electrical Engineering Kyushu University Hakozaki 6-10-1 Fukuoka812-8581 Japan Japan
Semi-structured documents are now commonly used for exchanging information. the aim of this research is to apply deductive and inductive reasoning to semi-structured documents. From our observation that first-order te... 详细信息
来源: 评论
13th international Symposium on Practical Aspects of Declarative Languages, PADL 2011
收藏 引用
13th international Symposium on Practical Aspects of Declarative Languages, PADL 2011
the proceedings contain 20 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: Using constraints for intrusion detection: the NeMODe system;A declarative ...
来源: 评论
Characterising and explaining inconsistency in logic programs  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Schulz, Claudia Satoh, Ken Toni, Francesca Department of Computing Imperial College London LondonSW7 2AZ United Kingdom National Institute of Informatics Tokyo101-8430 Japan
A logic program under the answer set semantics can be inconsistent because its only answer set is the set of all literals, or because it does not have any answer sets. In both cases, the reason for the inconsistency m... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Relational and Algebraic Methods in Computer Science - 13th international conference, RAMiCS 2012, Proceedings
Relational and Algebraic Methods in Computer Science - 13th ...
收藏 引用
13th international conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012
the proceedings contain 23 papers. the topics discussed include: transitive separation logic;unifying lazy and strict computations;foundations of coloring algebra with consequences for feature-oriented programming;tow...
来源: 评论
Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation
Solving puzzles described in english by automated translatio...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Baral, Chitta Dzifcak, Juraj School of Computing Informatics and DSE Arizona State University United States
We present a system capable of automatically solving combinatorial logic puzzles given in (simplified) English. It uses an ontology to represent the puzzles in ASP which is applicable to a large set of logic puzzles. ... 详细信息
来源: 评论
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation  13
Querying Labelled Data with Scenario Programs for Sim-to-Rea...
收藏 引用
13th ACM/IEEE international conference on Cyber-Physical Systems (ICCPS )
作者: Kim, Edward Shenoy, Jay Junges, Sebastian Fremont, Daniel J. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. Univ Calif Berkeley Berkeley CA 94720 USA Radboud Univ Nijmegen Nijmegen Netherlands Univ Calif Santa Cruz Santa Cruz CA 95064 USA
Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently. substantial research has focused on searching for failure scenarios in simulatio... 详细信息
来源: 评论