咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
Road Curb Detection using 3D Lidar and Integral Laser Points for Intelligent Vehicles
Road Curb Detection using 3D Lidar and Integral Laser Points...
收藏 引用
6th international conference on Soft Computing and Intelligent Systems (SCIS) / 13th international Symposium on Advanced Intelligence Systems (ISIS)
作者: Yao, Wentao Deng, Zhidong Zhou, Lipu Tsinghua Univ Dept Comp Sci & Technol Tsinghua Key Natl Lab Informat Sci & Technol State Key Lab Intelligent Technol & Syst Beijing 100084 Peoples R China
Road curb detection and tracking is essential for the autonomous driving of intelligent vehicles on highways and urban roads. In this paper, we present a fast and robust road curb detection algorithm using 3D lidar da... 详细信息
来源: 评论
Worst-case optimal reasoning with forest logic programs
Worst-case optimal reasoning with forest logic programs
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Feier, Cristina Institute of Information Systems Vienna University of Technology Favoritenstrasse 11 A-1040 Vienna Austria
the paper introduces a worst-case optimal tableau algorithm for reasoning with Forest logic Programs, a decidable fragment of Open Answer Set programming. FoLPs are a useful device for tight integration of the Descrip... 详细信息
来源: 评论
Automating Induction with an SMT Solver
收藏 引用
13th international conference on Verification, Model Checking, and Abstract Interpretation
作者: Leino, K. Rustan M. Microsoft Res Redmond WA USA
Mechanical proof assistants have always had support for inductive proofs. Sometimes an alternative to proof assistants. satisfiability modulo theories (SMT) solvers bring the hope of a higher degree of automation. How... 详细信息
来源: 评论
Answer set programming via mixed integer programming
Answer set programming via mixed integer programming
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Liu, Guohua Janhunen, Tomi Niemelä, Ilkka Aalto University School of Science Department of Information and Computer Science Finland
Answer set programming is a programming paradigm where a given problem is formalized as a logic program whose answer sets correspond to the solutions to the problem. In this paper, we link answer set programming with ... 详细信息
来源: 评论
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. ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Specifying and reasoning with underspecified knowledge bases using answer set programming
Specifying and reasoning with underspecified knowledge bases...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Chaudhri, Vinay K. Son, Tran Cao AI Center SRI International Mento Park CA United States Computer Science Department New Mexico State University Las Cruces NM United States
A large and complex knowledge base that models some aspect of the real world can rarely be fully specified. Two examples of such underspecification are that (i) some of the cardinality constraints are omitted;(ii) som... 详细信息
来源: 评论
Automated verification of epistemic properties for general game playing
Automated verification of epistemic properties for general g...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Haufe, Sebastian thielscher, Michael Department of Computer Science Dresden University of Technology Germany School of Computer Science and Engineering University of New South Wales Australia
Automatically deriving properties of new games is one of the fundamental challenges for general game-playing systems, whose task is to learn to play any previously unknown game solely by being given the rules of that ... 详细信息
来源: 评论
Stream reasoning with answer set programming: Preliminary report
Stream reasoning with answer set programming: Preliminary re...
收藏 引用
13th international conference on the Principles of Knowledge Representation and Reasoning, KR 2012
作者: Gebser, M. Grote, T. Kaminski, R. Obermeier, P. Sabuncu, O. Schaub, T. Universität Potsdam Germany DERI Galway Ireland Simon Fraser University Canada Griffith University Australia
the advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. While existing data-stream management systems allow for high-throughput stream process... 详细信息
来源: 评论