咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
Linear logic programming for Narrative Generation
Linear Logic Programming for Narrative Generation
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Martens, Chris Bosser, Anne-Gwenn Ferreira, Joao F. Cavazza, Marc Carnegie Mellon Univ Pittsburgh PA 15213 USA Univ Teesside Middlesbrough Cleveland England
In this paper, we explore the use of Linear logic programming for story generation. We use the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a numb... 详细信息
来源: 评论
A Novel Hybrid Optimization Procedure for Distribution Capacitor Placement with Varying Load Condition
A Novel Hybrid Optimization Procedure for Distribution Capac...
收藏 引用
12th World Multi-conference on Systemics, Cybernetics and Informatics/14th international conference on Information Systems Analysis and Synthesis
作者: Hosseinzadeh, N. Hesamzadeh, M. R. Seifi, A. R. Univ Cent Queensland Power Engn Grp Brisbane Qld 4701 Australia Shiraz Univ Dept Elect & Elect Engn Shiraz Iran
A combination of fuzzy logic, genetic algorithm and dynamic programming has been applied to optimize the problem of capacitor placement on distribution feeders. the cost function consists of three terms: the total cos... 详细信息
来源: 评论
TOWARDS A WHITE BOX TESTING MEthODOLOGY FOR SAFE SOFTWARE DEVELOPMENT  12
TOWARDS A WHITE BOX TESTING METHODOLOGY FOR SAFE SOFTWARE DE...
收藏 引用
12th international conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2003
作者: Vert, Gregory L. Dascalu, Sergiu M. Department of Computer Science University of Nevada RenoNV89523 United States
Developing robust, safe and security-critical software is of paramount importance for real-time applications. In order to obtain reliable software we believe that special attention should be paid to rigorous testing d... 详细信息
来源: 评论
inductive learning in shared neural multi-spaces  12
Inductive learning in shared neural multi-spaces
收藏 引用
12th international Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2017
作者: De Souza Mota, Edjard Howe, Jacob M. D’Avila Garcez, Artur S. City University of London LondonEC1V 0HB United Kingdom Universidade Federal do Amazonas Instituto de Computação Campus Setor Norte Coroado - Manaus - AMCEP: 69080-900 Brazil
the learning of rules from examples is of continuing interest to machine learning since it allows generalization from fewer training examples. inductive logic programming (ILP) generates hypothetical rules (clauses) f... 详细信息
来源: 评论
Computational issues in exploiting dependent and-parallelism in logic programming: Leftness detection in dynamic search trees
Computational issues in exploiting dependent and-parallelism...
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Wu, Y Pontelli, E Ranjan, D New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
We present efficient Pure Pointer Machine (PPM) algorithms to test for "leftness" in dynamic search trees and related problems. In particular, we show that the problem of testing if a node x is in the leftmo... 详细信息
来源: 评论
Matchmaking with Answer Set programming
Matchmaking with Answer Set Programming
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Gebser, Martin Glase, thomas Sabuncu, Orkunt Schaub, Torsten Univ Potsdam Potsdam Germany
Matchmaking is a form of scheduling that aims at bringing companies or people together that share common interests, services, or products in order to facilitate future business partnerships. We begin by furnishing a f... 详细信息
来源: 评论
Analytic tableaux for KLM preferential and cumulative logics
Analytic tableaux for KLM preferential and cumulative logics
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Giordano, L Gliozzi, V Olivetti, N Pozzato, GL Univ Piemonte Orientale A Avogadro Dipartimento Informat Alessandria Italy Univ Turin Dipartimento Informat I-10149 Turin Italy Univ Aix Marseille 3 CNRS UMR 6168 LSIS Marseille France Univ Turin Dipartimento Informat I-10149 Turin Italy
We present tableau calculi for some logics of default reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for preferential and cumulative logics. Our calculi are obtained by introduc... 详细信息
来源: 评论
programming in autoepistemic logic
Programming in autoepistemic logic
收藏 引用
Proceedings of the 12th international conference on Artificial Intelligence. Part 2 (of 2)
作者: Kuo, Kienchung
来源: 评论
Distribution-Aware Sampling of Answer Sets  12th
Distribution-Aware Sampling of Answer Sets
收藏 引用
12th international conference on Scalable Uncertainty Management (SUM)
作者: Nickles, Matthias Natl Univ Ireland Sch Engn & Informat Galway Ireland
Distribution-aware answer set sampling has a wide range of potential applications, for example in the area of probabilistic logic programming or for the computation of approximate solutions of combinatorial or search ... 详细信息
来源: 评论
12th international Workshop on Rewriting logic and its Applications, WRLA 2018
12th International Workshop on Rewriting Logic and its Appli...
收藏 引用
12th international Workshop on Rewriting logic and its Applications, WRLA 2018
the proceedings contain 14 papers. the special focus in this conference is on Rewriting logic and its Applications. the topics include: Proving ground confluence of equational specifications modulo axioms;uniform stro...
来源: 评论