咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是71-80 订阅
排序:
Which first-order logic clauses can be learned using genetic algorithms?
Which first-order logic clauses can be learned using genetic...
收藏 引用
13th international conference on inductive logic programming, ILP 2003
作者: Mărginean, Flaviu Adrian Department of Computer Science The University of York Heslington YorkYO10 5DD United Kingdom
In this paper we present and prove both negative and positive theoretical results concerning the representation and evaluation of first order logic clauses using genetic algorithms. Over the last few years, a few appr... 详细信息
来源: 评论
the design of the sixth answer set programming competition  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Gebser, Martin Maratea, Marco Ricca, Francesco Helsinki Institute for Information Technology HIIT Aalto University Espoo Finland DIBRIS Università di Genova Genova Italy Dipartimento di Matematica e Informatica Università della Calabria Rende Cs Italy
Answer Set programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely-related problemsolving technologies, such as SAT/S... 详细信息
来源: 评论
13th international conference on theorem Proving in Higher Order logics, TPHOLs 2000
13th International Conference on Theorem Proving in Higher O...
收藏 引用
13th international conference on theorem Proving in Higher Order logics, TPHOLs 2000
the proceedings contain 33 papers. the special focus in this conference is on theorem Proving in Higher Order logics. the topics include: Fix-point equations for well-founded recursion in type theory;programming and c...
来源: 评论
the discovery of frequent patterns with logic and constraint programming
The discovery of frequent patterns with logic and constraint...
收藏 引用
13th WSEAS international conference on Mathematical Methods, Computational Techniques and Intelligent Systems, MAMECTIS'11, 10th WSEAS international conference on Non-Linear Analysis, Non-Linear Systems and Chaos, NOLASC'11, CONTROL'11, WAMUS'11
作者: Kerdprasop, Nittaya Kerdprasop, Kittisak Data Engineering Research Unit School of Computer Engineering Suranaree University of Technology 111 University Avenue Nakhon Ratchasima 30000 Thailand
the basic goal of data mining is to discover patterns occurring in the databases, such as associations, classification models, sequential patterns, and so on. In this paper we focus on the problem of frequent pattern ... 详细信息
来源: 评论
Model Based Task programming for Secure Multimodal Human-Robot Interaction  13
Model Based Task Programming for Secure Multimodal Human-Rob...
收藏 引用
13th international conference on Control Automation Robotics & Vision (ICARCV)
作者: Lin, Liyong Su, Rong Tju, Hendra Suratno Lee, Gerald Seet Gim Nanyang Technol Univ Sch Elect & Elect Engn Singapore Singapore Nanyang Technol Univ Sch Mech & Aerosp Engn Singapore Singapore
this note presents a preliminary study on a high-level model based task programming framework for secure multimodal human-robot interaction in industrial context. the case study of robotic polishing tasks, in particul... 详细信息
来源: 评论
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation  13
收藏 引用
13th international conference on Artificial Intelligence in Education (AIED 2007)
作者: Matsuda, Noboru Cohen, William W. Sewall, Jonathan Lacerda, Gustavo Koedinger, Kenneth R. Carnegie Mellon Univ Human Comp Interact Inst Pittsburgh PA 15213 USA
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to help an author build a cognitive model w... 详细信息
来源: 评论
12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020
12th International Conference on Verified Software, VSTTE 20...
收藏 引用
12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020
the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Of...
来源: 评论
Representing defaults and negative information without negation-as-failure
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Fillottrani, Pablo R. Simari, Guillermo R. Univ Nacl Sur Dept Comp Sci & Engn Av Alem 1253 RA-8000 Bahia Blanca Buenos Aires Argentina
In logic programs, negation-as-failure has been used both for representing negative information and for providing default non-monotonic inference. In this paper we argue that this twofold role is not only unnecessary ... 详细信息
来源: 评论
AURA: A programming Language for Authorization and Audit
AURA: A Programming Language for Authorization and Audit
收藏 引用
13th ACM SIGPLAN international conference on Functional programming
作者: Jia, Limin Vaughan, Jeffrey A. Mazurak, Karl Zhao, Jianzhou Zarko, Luke Schorr, Joseph Zdancewic, Steve Univ Penn Philadelphia PA 19104 USA
this paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic constructs (e.g., principals and access ... 详细信息
来源: 评论
A new model for scalable Θ-subsumption  26
A new model for scalable Θ-subsumption
收藏 引用
26th international conference on inductive logic programming (Short Papers), ILP 2016
作者: Leger, Hippolyte Bouthinon, Dominique Lebbah, Mustapha Azzag, Hanane Universite Paris 13 Sorbonne Paris Cite L.I.P.N UMR-CNRS 7030 VilletaneuseF-93430 France
the Θ-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. So we introduce a new Θ-subsumption algorithm based on an A... 详细信息
来源: 评论