咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
University timetable quality optimization using multi-objective integer programming  12
University timetable quality optimization using multi-object...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Holm, Dennis Sørensen, Matias Stidsen, thomas Vesterbrogade 48 København1620 Denmark Produktionstorvet Bygning 424 rum 230 Kgs. Lyngby2800 Denmark
Studying real-life data of a large Danish university, we present an Integer programming model which can be utilized to perform the complete room allocation for a semester. A course at this university has traditionally... 详细信息
来源: 评论
PATAT 2018 - Proceedings of the 12th international conference on the Practice and theory of Automated Timetabling
PATAT 2018 - Proceedings of the 12th International Conferenc...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
the proceedings contain 40 papers. the topics discussed include: an integer programming approach for the physician rostering problem;constraint reformulation for nurse rostering problems;a unified nurse rostering mode...
来源: 评论
Computing logic programming semantics in linear algebra  12th
Computing logic programming semantics in linear algebra
收藏 引用
12th Multi-disciplinary international conference on Artificial Intelligence, MIWAI 2018
作者: Nguyen, Hien D. Sakama, Chiaki Sato, Taisuke Inoue, Katsumi University of Information Technology VNU-HCM Ho Chi Minh City Viet Nam Wakayama University Wakayama Japan AI Research Center AIST Tokyo Japan Tokyo Japan
logic programming is a logic-based programming paradigm, and provides languages for declarative problem solving and symbolic reasoning. In this paper, we develop new algorithms for computing logic programming semantic... 详细信息
来源: 评论
An integer programming formulation for the music school timetabling problem  12
An integer programming formulation for the music school time...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Ásgeirsson, E.I. Gunnarsdóttir, P. School of Science and Engineering ICE-TCS Reykjavik University Iceland School of Science and Engineering Reykjavik University Iceland
Research on educational timetabling has focused mostly on highschool timetabling, university timetabling and examination timetabling. We introduce a new problem, the music school timetabling problem which is a hybrid ... 详细信息
来源: 评论
Constraint programming modeling for the task scheduling problem with data storage at MPSoCs  12
Constraint programming modeling for the task scheduling prob...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Valouxis, Christos Gogos, Christos Alefragis, Panayiotis theodoridis, George Voros, Nikolaos University of Patras Greece Technological Educational Institute of Epirus Greece Technological Educational Institute of Western Greece Greece
Multi Processor System on Chips are expected to exhibit increased performance when extra memory chips exist close to their processing units. Given an architecture of such a system, equipped with private fast memories ... 详细信息
来源: 评论
Default logic and Bounded Treewidth  1
收藏 引用
12th international conference on Language and Automata theory and Applications (LATA)
作者: Fichte, Johannes K. Hecher, Markus Schindler, Irina Tech Univ Wien Vienna Austria Leibniz Univ Hannover Hannover Germany
In this paper, we study Reiter's propositional default logic when the treewidth of a certain graph representation (semi-primal graph) of the input theory is bounded. We establish a dynamic programming algorithm on... 详细信息
来源: 评论
An A∗ algorithm for solving a prize-collecting sequencing problem with one common and multiple secondary resources and time windows  12
An A∗ algorithm for solving a prize-collecting sequencing p...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Horn, Matthias Raidl, Günther R. Rönnberg, Elina Institute of Logic and Computation TU Wien Austria Department of Mathematics Linköping University Sweden
In the considered sequencing problem, a subset of a given set of jobs is to the be scheduled. A scheduled job has to execute without preemption and during this time, the job needs both a common resource for a part of ... 详细信息
来源: 评论
Situated Game Level Editing in Augmented Reality  18
Situated Game Level Editing in Augmented Reality
收藏 引用
12th international conference on Tangible, Embedded, and Embodied Interaction (TEI)
作者: Ng, Gary Shin, Joon Gi Plopski, Alexander Sandor, Christian Saakes, Daniel Korea Adv Inst Sci & Technol Ind Design Daejeon South Korea Nara Inst Sci & Technol Ikoma Japan
Level editors let end-users create custom levels and content within a given video game. In this paper, we explore the concept and design of Augmented reality game level editors. these new types of editors are not only... 详细信息
来源: 评论
An integer programming approach for the physician rostering problem  12
An integer programming approach for the physician rostering ...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Wickert, Toni I. Neto, Alberto F. Kummer Buriol, Luciana S. Porto Alegre Brazil KU Leuven Department of Computer Science CODeS and Imec Gebroeders De Smetstraat 1 Gent9000 Belgium
Nurse and physician rostering problems seek to find an optimal way to assign nurses and physicians to shifts respecting a set of hard and soft constraints. If a single hard constraint is violated, the solution is cons... 详细信息
来源: 评论
A Genetic Algorithm-based ILP Incremental System  12
A Genetic Algorithm-based ILP Incremental System
收藏 引用
12th international Scientific and Technical conference on Computer Sciences and Information Technologies (CSIT)
作者: Al-Jamimi, Hamdi A. Ahmed, Moataz King Fahd Univ Petr & Minerals Informat & Comp Sci Dept Dhahran 31261 Saudi Arabia
inductive learning has been employed successfully in various domains, however the inductive logic programming (ILP) systems focused on non-incremental learning tasks where independent sets of data are provided incoher... 详细信息
来源: 评论