咨询与建议

限定检索结果

文献类型

  • 358 篇 会议
  • 7 篇 期刊文献
  • 3 册 图书

馆藏范围

  • 368 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 257 篇 工学
    • 238 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 24 篇 控制科学与工程
    • 15 篇 电气工程
    • 11 篇 信息与通信工程
    • 3 篇 仪器科学与技术
    • 3 篇 电子科学与技术(可...
    • 3 篇 石油与天然气工程
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 土木工程
    • 2 篇 生物医学工程(可授...
  • 53 篇 理学
    • 49 篇 数学
    • 4 篇 生物学
    • 4 篇 系统科学
    • 2 篇 物理学
    • 2 篇 化学
    • 2 篇 统计学(可授理学、...
  • 22 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 6 篇 工商管理
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 4 篇 教育学
    • 4 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 4 篇 农学
    • 4 篇 作物学
  • 2 篇 文学
    • 1 篇 中国语言文学
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 75 篇 logic programmin...
  • 19 篇 fuzzy logic
  • 18 篇 programming
  • 18 篇 logic gates
  • 14 篇 inductive logic ...
  • 11 篇 logic
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 artificial intel...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 wireless sensor ...
  • 5 篇 abstracts

机构

  • 3 篇 univ potsdam pot...
  • 3 篇 univ calabria di...
  • 2 篇 brandeis univ wa...
  • 2 篇 simon fraser uni...
  • 2 篇 katholieke univ ...
  • 2 篇 univ copenhagen ...
  • 2 篇 katholieke univ ...
  • 2 篇 ku leuven depart...
  • 2 篇 department infor...
  • 2 篇 vienna technol u...
  • 2 篇 univ castilla la...
  • 2 篇 carnegie mellon ...
  • 2 篇 univ aarhus daim...
  • 2 篇 at&t bell lab mu...
  • 2 篇 natl univ irelan...
  • 2 篇 natl inst inform...
  • 2 篇 univ castilla la...
  • 2 篇 univ nova lisboa...
  • 2 篇 australian natl ...
  • 2 篇 department of el...

作者

  • 5 篇 gebser martin
  • 5 篇 schaub torsten
  • 4 篇 inoue katsumi
  • 3 篇 nickles matthias
  • 3 篇 fink michael
  • 3 篇 schuller peter
  • 2 篇 mileo alessandra
  • 2 篇 mairson harry g.
  • 2 篇 goncalves ricard...
  • 2 篇 kung-kiu lau
  • 2 篇 soria jose
  • 2 篇 de raedt luc
  • 2 篇 boustia narhimen...
  • 2 篇 j.r. romero
  • 2 篇 a. vallecillo
  • 2 篇 woltran stefan
  • 2 篇 lifschitz vladim...
  • 2 篇 ferilli stefano
  • 2 篇 sighireanu mihae...
  • 2 篇 p. flener

语言

  • 363 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
368 条 记 录,以下是81-90 订阅
排序:
Knowledge Management and Triangulation logic in the Foresight Research and Analyses in Business Process Management  12th
Knowledge Management and Triangulation Logic in the Foresigh...
收藏 引用
12th international conference on Knowledge Management in Organizations (KMO) - Emerging Technology
作者: Jari, Kaivo-oja theresa, Lauraeus Univ Turku FFRC TSE Turku Finland Aalto Univ Helsinki Finland
the idea of the article is to integrate knowledge management thinking to triangulation logic. Triangulation logic can be seen as a quality control mechanism in the field of knowledge management. Triangulation logic ca... 详细信息
来源: 评论
ACM international conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
8th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2017
the proceedings contain 12 papers. the topics discussed include: modelling and formal verification of neuronal archetypes coupling;estimating respiration rate using an accelerometer sensor;formal validation of neural ...
来源: 评论
the enhancement mode AlGaN/GaN high electron mobility transistor based on charge storage
The enhancement mode AlGaN/GaN high electron mobility transi...
收藏 引用
international conference on ASIC
作者: Hui Wang Lingli Jiang Ning Wang Xinpeng Lin Hongyu Yu Shenzhen Key Laborary of The Third Generation Semi-conductor Shenzhen Guangdong China Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen Guangdong China
In this paper, we sums up our resent progress on the enhancement-mode (E-mode) AlGaN/GaN high electron mobility transistors (HEMTs) which are based on charge storage, including the split floating gates (FGs) HEMT and ... 详细信息
来源: 评论
Graphene nanodots with high-k dielectrics for flash memory applications
Graphene nanodots with high-k dielectrics for flash memory a...
收藏 引用
international conference on ASIC
作者: Kai-Ping Chang Han-Hsiang Tai Jer-Chyi Wang Chao-Sung Lai Department of Electronic Engineering Chang Gung University Taoyuan Taiwan Department of Electronic Engineering Ming Chi University of Technology New Taipei City Taiwan Department of Neurosurgery Chang Gung Memorial Hospital Taovuan Taiwan Department of Materials Engineering Ming Chi University of Technology New Taipei City Taiwan Department of Nephrology Chang Gung Memorial Hospital Taoyuan Taiwan
In this work, graphene nanodots have been fabricated and characterized as it has the potential for nanodevices application. Here we show non-volatile memory devices based on the capacitor structure by using graphene n... 详细信息
来源: 评论
Characterization of logic program revision as an extension of propositional revision
收藏 引用
thEORY AND PRACTICE OF logic programming 2016年 第1期16卷 111-138页
作者: Schwind, Nicolas Inoue, Katsumi Transdisciplinary Res Integrat Ctr Chiyoda Ku Tokyo 1018430 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
We address the problem of belief revision of logic programs (LPs), i.e., how to incorporate to a LP P a new LP Q. Based on the structure of SE interpretations, Delgrande et al. (2008. Proc. of the 11th international C... 详细信息
来源: 评论
An empirical study on robustness of UAV path planning algorithms considering position uncertainty
An empirical study on robustness of UAV path planning algori...
收藏 引用
international conference on Intelligent System and Knowledge Engineering, ISKE
作者: Minyang Kang Yang Liu Yijie Ren Yijing Zhao Zheng Zheng Science and Technology on Avionics Integration Laboratory Shanghai China Department of Automatic Control Beihang University Beijing China
UAV(Unmanned Aerial Vehicle) needs to accomplish its task with obstacle avoidance. However, uncertainties in the actual complex flight environment affect the application of UAV. In consideration of the error of UAV... 详细信息
来源: 评论
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic
Holistic deductive framework theorem proving based on standa...
收藏 引用
international conference on Intelligent System and Knowledge Engineering, ISKE
作者: Feng Cao Yang Xu Jian Zhong Guanfeng Wu National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China
Nowadays, famous and powerful first-order logic automated theorem proving almost use saturation which called given-clause algorithm as the deductive framework. the given-clause algorithm is a divisional framework whic... 详细信息
来源: 评论
An Exercise in Declarative Modeling for Relational Query Mining  1
收藏 引用
25th international conference on inductive logic programming (ILP)
作者: Paramonov, Sergey van Leeuwen, Matthijs Denecker, Marc De Raedt, Luc Katholieke Univ Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium
Motivated by the declarative modeling paradigm for data mining, we report on our experience in modeling and solving relational query and graph mining problems with the IDP system, a variation on the answer set program... 详细信息
来源: 评论
Solving Odd Even Sudoku Puzzles by Binary Integer Linear programming  12
Solving Odd Even Sudoku Puzzles by Binary Integer Linear Pro...
收藏 引用
12th international conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)
作者: Yu, Hui Tang, Yuchao Zong, Chunxiang Nanchang Univ Sch Informat Engn Nanchang 330031 Peoples R China Nanchang Univ Dept Math Nanchang 330031 Peoples R China Nanchang Univ High Performance Comp Lab Nanchang Peoples R China Nanchang Univ Dept Math Nanchang 330031 Peoples R China
Solving sudoku is a very challenging problem. It is not only a logic problem, but also can be seen as a mathematic problem. In this paper, we develop a binary integer linear programming (BILP) model for solving Odd/Ev... 详细信息
来源: 评论
Fuzzy logic and lexicological support of the creation of terminological dictionary of intermediate language in bilingual education  12th
Fuzzy logic and lexicological support of the creation of ter...
收藏 引用
12th international conference on Application of Fuzzy Systems and Soft Computing (ICAFS)
作者: Abdullayev, Tarlan Umarova, Niyar Jamalov, Zeynal Alekperov, A. Odlar Yurdu Univ Dept Comp Engn AZ-1008 Baku Azerbaijan Baku State Univ Dept Informat Technol & Programming AZ-1148 Baku Azerbaijan Azerbaijan State Econ Univ AZ-1001 Baku Azerbaijan
the paper is formulated and tested a fuzzy approach to the formation of a lexicological dictionary of intermediate language in bilingual education. To estimate the degree of assimilation of the new term it is selected... 详细信息
来源: 评论