咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Extended Floyd-Hoare logic over Relational Nominative Data  13th
Extended Floyd-Hoare Logic over Relational Nominative Data
收藏 引用
13th international conference on Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI)
作者: Nikitchenko, Mykola Ivanov, Ievgen Kornilowicz, Artur Kryvolap, Andrii Taras Shevchenko Natl Univ Kyiv 64-13 Volodymyrska St UA-01601 Kiev Ukraine Univ Bialystok Inst Informat Ciolkowskiego 1M PL-15245 Bialystok Poland
the classical Floyd-Hoare logic is defined for the case of total pre- and postconditions and partial programs (i.e. programs can be undefined on some input data, but conditions must be defined on all data). In this pa... 详细信息
来源: 评论
An Instance Based Model for Scalable θ-Subsumption
收藏 引用
international JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 2018年 第7期27卷
作者: Leger, Hippolyte Bouthinon, Dominique Lebbah, Mustapha Azzag, Hanene Univ Paris 13 LIPN UMR CNRS 7030 99 Ave Jean Baptiste Clement F-93430 Villetaneuse France
the theta-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. Last year, we have created a distributed theta-subsumptio... 详细信息
来源: 评论
the Sixth Answer Set programming Competition
收藏 引用
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2017年 第1期60卷 41-95页
作者: Gebser, Martin Maratea, Marco Ricca, Francesco Univ Potsdam IfICS August Bebel Str 89 D-14482 Potsdam Germany Univ Genoa DIBRIS Viale F Causa 15 I-16145 Genoa Italy Univ Calabria DeMaCS Viale P BucciCubo 31B I-87036 Arcavacata Di Rende 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 problem-solving technologies, such as SAT/... 详细信息
来源: 评论
Towards Certified Meta-programming with Typed TEMPLATE-COQ  1
收藏 引用
9th international conference on Interactive theorem Proving (ITP) Held as Part of the Federated logic conference (FloC)
作者: Anand, Abhishek Boulier, Simon Cohen, Cyril Sozeau, Matthieu Tabareau, Nicolas Cornell Univ Ithaca NY 14850 USA Inria Nantes Gallinette Project Team Rennes France Univ Cote Azur INRIA Nice France Inria Paris Pi R2 Project Team Paris France IRIF Paris France
TEMPLATE-COQ (https://***/template-coq) is a plugin for COQ, originally implemented by Malecha [18], which provides a reifier for COQ terms and global declarations , as represented in the COQ kernel, as well as a deno... 详细信息
来源: 评论
Development of Methods and Algorithms Based on Object-Oriented logic programming for Video Monitoring of Laboratory Rodents  13
Development of Methods and Algorithms Based on Object-Orient...
收藏 引用
13th international conference on Signal-Image Technology and Internet-Based Systems (SITIS)
作者: Morozov, Alexei A. Sushkova, Olga S. Vaniya, Sandipkumar M. RAS Kotelnikov Inst Radio Engn & Elect Mokhovaya 11-7 Moscow 125009 Russia Cent Salt & Marine Chem Res Inst Gijubhai Badheka Marg Bhavnagar 364002 Gujarat India
the problem of video monitoring of laboratory rodents by the means of object-oriented logic programming is considered. the videos are produced in neurophysiological experiments on the study of convulsive electrical ac... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A new model for single machine scheduling with uncertain processing time
收藏 引用
JOURNAL OF INTELLIGENT MANUFACTURING 2017年 第3期28卷 717-725页
作者: Hu, Kai Zhang, Xingfang Gen, Mitsuo Jo, Jungbok Liaocheng Univ Sch Math Sci Liaocheng 252059 Peoples R China Tokyo Univ Sci Tokyo Japan Japan & Fuzzy Log Syst Inst Iizuka Fukuoka Japan Dongseo Univ Div Comp & Informat Engn Busan South Korea
Uncertain single machine scheduling problem for batches of jobs is an important issue for manufacturing systems. In this paper, we use uncertainty theory to study the single machine scheduling problem with deadlines w... 详细信息
来源: 评论
inductive logic programming meets relational databases: Efficient learning of markov logic networks  1
收藏 引用
26th international conference on inductive logic programming, ILP 2016
作者: Malec, Marcin Khot, Tushar Nagy, James Blask, Erik Natarajan, Sriraam Indiana University Bloomington BloomingtonIN United States Allen Institute of AI Seattle United States Air Force Research Laboratory Riverside United States
Statistical Relational Learning (SRL) approaches have been developed to learn in presence of noisy relational data by combining probability theory with first order logic. While powerful, most learning approaches for t... 详细信息
来源: 评论
DETECTING ANOMALOUS PROGRAMMABLE logic CONTROLLER EVENTS USING MACHINE LEARNING  13th
DETECTING ANOMALOUS PROGRAMMABLE LOGIC CONTROLLER EVENTS USI...
收藏 引用
13th IFIP WG 11.9 international conference on Digital Forensics
作者: Yau, Ken Chow, Kam-Pui Univ Hong Kong Comp Sci Hong Kong Peoples R China
Industrial control system failures can be hazardous to human lives and the environment. Programmable logic controllers are major components of industrial control systems that are used across the critical infrastructur... 详细信息
来源: 评论
An approach to formalization of an extension of floyd-hoare logic  13
An approach to formalization of an extension of floyd-hoare ...
收藏 引用
13th international conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017
作者: Kornilowicz, Artur Kryvolap, Andrii Nikitchenko, Mykola Ivanov, Ievgen Institute of Informatics University of Bialystok Ciolkowskiego 1M Bialystok15-245 Poland Taras Shevchenko National University of Kyiv 64/13 Volodymyrska Street Kyiv01601 Ukraine
the classical Floyd-Hoare logic is defined for the case of total pre- and postconditions and partial programs (i.e. programs can be undefined on some input data, but conditions must be defined on all data). In this pa... 详细信息
来源: 评论