咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 385 篇 电子文献
  • 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
  • 16 篇 artificial intel...
  • 15 篇 mathematical log...
  • 14 篇 inductive logic ...
  • 12 篇 logics and meani...
  • 11 篇 software enginee...
  • 11 篇 logic
  • 11 篇 programming tech...
  • 9 篇 computer science
  • 8 篇 integer programm...
  • 8 篇 semantics
  • 7 篇 computer circuit...
  • 7 篇 linear programmi...
  • 7 篇 answer set progr...
  • 7 篇 dynamic programm...
  • 6 篇 languages
  • 6 篇 computer archite...

机构

  • 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

语言

  • 380 篇 英文
  • 3 篇 其他
  • 1 篇 西班牙文
  • 1 篇 中文
检索条件"任意字段=12th International Conference on Inductive Logic Programming"
385 条 记 录,以下是61-70 订阅
排序:
Combining Equilibrium logic and Dynamic logic
Combining Equilibrium Logic and Dynamic Logic
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: del Cerro, Luis Farinas Herzig, Andreas Su, Ezgi Iraz Univ Toulouse CNRS IRIT Toulouse France
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by... 详细信息
来源: 评论
Proceedings of the 12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
Proceedings of the 12th International Conference on Computat...
收藏 引用
12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiograph...
来源: 评论
Scaling Inference for Markov logic via Dual Decomposition
Scaling Inference for Markov Logic via Dual Decomposition
收藏 引用
12th IEEE international conference on Data Mining (ICDM)
作者: Niu, Feng Zhang, Ce Re, Christopher Shavlik, Jude Univ Wisconsin Dept Comp Sci Madison WI 53706 USA
Markov logic is a knowledge-representation language that allows one to specify large graphical models. However, the resulting large graphical models can make inference for Markov logic a computationally challenging pr... 详细信息
来源: 评论
logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System
Logic-Based Techniques for Data Cleaning: An Application to ...
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Terracina, Giorgio Martello, Alessandra Leone, Nicola Univ Calabria I-87030 Commenda Di Rende Italy DLVSyst Srl Arcavacata Di Rende Italy
In this paper we present a technique based on logic programming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a... 详细信息
来源: 评论
ICCSE 2017 - 12th international conference on Computer Science and Education
ICCSE 2017 - 12th International Conference on Computer Scien...
收藏 引用
12th international conference on Computer Science and Education, ICCSE 2017
the proceedings contain 153 papers. the topics discussed include: enhancing English vocabulary learning via computerized adaptive testing;knowledge system modeling in MOOC;knowledge system modeling in MOOC;synchronize...
来源: 评论
logic programming in the 1970s
Logic Programming in the 1970s
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Kowalski, Robert Imperial Coll London London England
logic programming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge in artificial intelligence. In those days, declarative representations were associated mainly w... 详细信息
来源: 评论
Collaborative Microgrids: Design and Dynamic Analysis using Multiagent Fuzzy-logic System  12
Collaborative Microgrids: Design and Dynamic Analysis using ...
收藏 引用
12th international Renewable Engineering conference (IREC)
作者: El Zerk, Abdallah Ouassaid, Mohammed Zidani, Youssef Mohammed V Univ Rabat Engn Smart & Sustainable Syst Res Ctr Mohammadia Sch Engineers Rabat Morocco Cadi Ayyad Univ Fac Sci & Technol Dept Elect Engn Marrakech Morocco
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using... 详细信息
来源: 评论
An empirical evaluation of bagging in inductive logic programming
An empirical evaluation of bagging in inductive logic progra...
收藏 引用
12th international conference, ILP 2002
作者: De Dutra, Inês Castro Page, David Costa, Vítor Santos Shavlik, Jude Department of Biostatistics University of Wisconsin Madison United States
Ensembles have proven useful for a variety of applications, with a variety of machine learning approaches. While Quinlan has applied boosting to FOIL, the widely-used approach of bagging has never been employed in ILP... 详细信息
来源: 评论
Sub-10V 4-Bit/Cell Schottky Barrier Nanowire Nonvolatile Memory
Sub-10V 4-Bit/Cell Schottky Barrier Nanowire Nonvolatile Mem...
收藏 引用
12th IEEE international conference on Nanotechnology (IEEE-NANO)
作者: Chang, Wei Shih, Chun-Hsing Luo, Yan-Xiang Shia, Ruei-Kai Wu, Wen-Fa Lien, Chenhsin Natl Tsing Hua Univ Inst Elect Engn Hsinchu 30013 Taiwan Natl Chi Nan Univ Dept Elect Engn Nantou 54561 Taiwan Natl Chi Nan Univ Dept Elect Engn Nantou 54561 Taiwan Natl Nano Device Lab Hsinchu 30078 Taiwan
this study reports experimentally a novel sub-10V 4-bit/cell nanowire silicon-oxide-nitride-oxide-silicon (SONOS) memory cell for use in nonvolatile NAND Flash memories. Applying metallic Schottky barrier source/drain... 详细信息
来源: 评论
A distributed multimedia knowledge based environment for modeling over the Internet  12
A distributed multimedia knowledge based environment for mod...
收藏 引用
12th IEEE international conference on Tools with Artificial Intelligence (ICTAI 2000)
作者: Ryan, SW Bansal, AK Kapoor, T Kent State Univ Dept Math & Comp Sci Kent OH 44242 USA
this paper describes a knowledge-based scalable multimedia environment for graph based modeling and the design of complex objects over the Internet. A complex object is modeled as a directed hierarchical graph with ea... 详细信息
来源: 评论