咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Satisfiability checking for PC(ID)
Satisfiability checking for PC(ID)
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Mariën, M Mitra, R Denecker, M Bruynooghe, M Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
the logic FO(ID) extends classical first order logic with inductive definitions. this paper studies the satisifiability problem for PC(ID), its propositional fragment. We develop a framework for model generation in th... 详细信息
来源: 评论
Compact representation of knowledge bases in ILP  12
Compact representation of knowledge bases in ILP
收藏 引用
12th international conference on inductive logic programming
作者: Struyf, J Ramon, J Blockeel, H Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium
Many inductive systems, including ILP systems, learn from a knowledge base that is structured around examples. In practical situations this example-centered representation can cause a lot of redundancy. For instance, ... 详细信息
来源: 评论
An assumptive logic programming methodology for parsing  12
An assumptive logic programming methodology for parsing
收藏 引用
12th IEEE international conference on Tools with Artificial Intelligence (ICTAI 2000)
作者: Voll, K Yeh, T Dahl, V Simon Fraser Univ Sch Comp Sci Logic & Funct Programming Grp Burnaby BC V5A 1S6 Canada
We show how several novel tools in logic programming for AI (namely continuation-based linear and timeless assumptions, and datalog grammars) can assist us in producing terse treatments of difficult language processin... 详细信息
来源: 评论
Determinate literals in inductive logic programming
Determinate literals in inductive logic programming
收藏 引用
Proceedings of the 12th international conference on Artificial Intelligence. Part 2 (of 2)
作者: Quinlan, J.R.
来源: 评论
Learning logic Programs through Divide, Constrain, and Conquer  36
Learning Logic Programs Through Divide, Constrain, and Conqu...
收藏 引用
36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence
作者: Cropper, Andrew Univ Oxford Oxford England
We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and su... 详细信息
来源: 评论
Mining frequent logical sequences with SPIRIT-LoG  12
Mining frequent logical sequences with SPIRIT-L<SUP>o</SUP>G
收藏 引用
12th international conference on inductive logic programming
作者: Masson, C Jacquenet, F Inst Natl Sci Appl LISI F-69621 Villeurbanne France Univ St Etienne EURISE F-42023 St Etienne 2 France
Sequence mining is an active research field of data mining because algorithms designed in that domain lead to various valuable applications. To increase efficiency of basic sequence mining algorithms, generally based ... 详细信息
来源: 评论
logicCrowd: a Declarative programming Platform for Mobile Crowdsourcing
<i>LogicCrowd</i>: a Declarative Programming Platform for Mo...
收藏 引用
12th IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
作者: Phuttharak, Jurairat Loke, Seng W. La Trobe Univ Dept Comp Sci & Comp Engn Bundoora Vic 3086 Australia
We present an attempt to engage social media networks, bringing the crowdsourcing model into mobile environments. We introduce logic Crowd, a declarative programming paradigm for mobile crowdsourcing applications, dev... 详细信息
来源: 评论
Building a Knowledge Base System for an Integration of logic programming and Classical logic
Building a Knowledge Base System for an Integration of Logic...
收藏 引用
24th international conference on logic programming (ICLP)
作者: Denecker, Marc Vennekens, Joost Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
this paper presents a Knowledge Base prospect for FO(ID), in extension of classical logic with inductive definitions. this logic is a natural integration of classical logic and logic programming based on the view of a... 详细信息
来源: 评论
Neuro-Symbolic inductive logic programming with logical Neural Networks  36
Neuro-Symbolic Inductive Logic Programming with Logical Neur...
收藏 引用
36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence
作者: Sen, Prithviraj de Carvalho, Breno W. S. R. Riegel, Ryan Gray, Alexander IBM Res Armonk NY 10504 USA
Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with different... 详细信息
来源: 评论
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... 详细信息
来源: 评论