咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Deontic logic programs
Deontic logic programs
收藏 引用
12th international conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
作者: Gonçalves, Ricardo Alteres, José Júlio CENTRIA Dep. Informática Faculdade Ciências e Tecnologia Universidade Nova de Lisboa Portugal
Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation ... 详细信息
来源: 评论
Explaining clusters with inductive logic programming and linked data  12
Explaining clusters with inductive logic programming and lin...
收藏 引用
12th international Semantic Web conference, ISWC 2013
作者: Tiddi, Ilaria D'Aquin, Mathieu Motta, Enrico Knowledge Media Institute Open University United Kingdom
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. the obtained patterns require an interpretation that is usually achieved using some background kno... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Extended Knowledge Graphs: A Conceptual Study  12
Extended Knowledge Graphs: A Conceptual Study
收藏 引用
12th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 12th international conference on Knowledge Engineering and Ontology Development (KEOD)
作者: Adrian, Weronika T. Adrian, Marek Kluza, Krzysztof Stachura-Terlecka, Bernadetta Ligeza, Antoni AGH Univ Sci & Technol Al A Mickiewicza 30 PL-30059 Krakow Poland
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their f... 详细信息
来源: 评论
Fuzzy Linear programming for Capacity Planning in Optical Networks
Fuzzy Linear Programming for Capacity Planning in Optical Ne...
收藏 引用
12th international conference on Transparent Optical Networks (ICTON)
作者: Kavian, Yousef S. Rejeb, Ridha Strobel, Otto Shahid Chamran Univ Fac Engn Ahvaz Iran Inst Adv Engn & Res Aachen Germany Esslingen Univ Appl Sci Esslingen am Neckar Germany
Capacity planning is a challenging issue for designing next generation optical core networks. this paper presents a fuzzy linear programming (FLP) approach for capacity planning in optical networks under long-term dem... 详细信息
来源: 评论
Graphical development of software for programmable logic controllers
Graphical development of software for programmable logic con...
收藏 引用
12th international Power Electronics and Motion Control conference
作者: Folch, Jose Roger Perez, Juan Pineda, Manuel Puche, Ruben Univ Politecn Valencia Dept Elect Engn E-46071 Valencia Spain
Graphical languages are standard in the field of computer programming. Complex software development is best handled by graphically connecting pre-built, fully tested and highly specialized software components, instead... 详细信息
来源: 评论
PageRank, ProPPR, and Stochastic logic Programs  1
收藏 引用
24th international conference on inductive logic programming (ILP)
作者: Van Daele, Dries Kimmig, Angelika De Raedt, Luc Katholieke Univ Leuven Dept Comp Sci Leuven Belgium
A key feature of ProPPR, a recent probabilistic logic language inspired by stochastic logic programs (SLPs), is its use of personalized PageRank for efficient inference. We adopt this view of probabilistic inference a... 详细信息
来源: 评论
Innovative Approaches in Teaching programming: A Systematic Literature Review  12
Innovative Approaches in Teaching Programming: A Systematic ...
收藏 引用
12th international conference on Computer Supported Education (CSEDU)
作者: Santos, Simone C. Tedesco, Patricia Azevedo Borba, Matheus Brito, Matheus Univ Fed Pernambuco Ctr Informat Rua Jornalista Anibal Fernandes S-NCidade Univ BR-50740560 Recife PE Brazil
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program.... 详细信息
来源: 评论
Declarative programming for artificial intelligence applications  07
Declarative programming for artificial intelligence applicat...
收藏 引用
12th ACM SIGPLAN international conference on Functional programming
作者: Lloyd, John W. Australian Natl Univ Coll Engn & Comp Sci Canberra ACT Australia
In this talk, I will consider some possible extensions to existing functional programming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First... 详细信息
来源: 评论
Plugging Numeric Similarity in First-Order logic Horn Clauses Comparison
Plugging Numeric Similarity in First-Order Logic Horn Clause...
收藏 引用
12th international conference of the Italian-Association-for-Artificial-Intelligence on Advances in Artificial Intelligence
作者: Ferilli, S. Basile, T. M. A. Di Mauro, N. Esposito, F. Univ Bari Dipartimento Informat I-70121 Bari Italy
Horn clause logic is a powerful representation language exploited in logic programming as a computer programming framework and in inductive logic programming as a formalism for expressing examples and learned theories... 详细信息
来源: 评论