咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是381-390 订阅
排序:
Correct-schema-guided synthesis of steadfast programs  97
Correct-schema-guided synthesis of steadfast programs
收藏 引用
Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
作者: P. Flener Kung-Kiu Lau M. Ornaghi
It can be argued that for (semi-)automated software development, program schemas are indispensable, since they capture not only structured program design principles but also domain knowledge, both of which are of cruc... 详细信息
来源: 评论
Implementation of a fault-tolerant system for solving cases of numerical computation
Implementation of a fault-tolerant system for solving cases ...
收藏 引用
2013 international conference on Information,Business and Education Technology(ICIBET 2013)
作者: Cyril Dumont Fabrice Mourlin Algorithmic Complexity and Logic LaboratoryParis 12th university61 avenue du Général de Gaulle94010 Créteil CedexFrance
We have realized MCA framework (for Mobile Computing Architecture), allowing the resolution of cases of numerical calculation in a heterogeneous distributed environment. Its features are adaptability and reactivity. T... 详细信息
来源: 评论
Change Management in Multi-Viewpoint System Using ASP
Change Management in Multi-Viewpoint System Using ASP
收藏 引用
international Workshop on Enterprise Distributed Object Computing, EDOCW
作者: R. Eramo A. Pierantonio J.R. Romero A. Vallecillo Dipartimento di Informatica Università degli Studi di L'' Aquila Italy Department Informática y Análisis Numérico Universidad de Córdoba Spain Department Lenguajes y Ciencias de la Computación Universidad de Málaga Spain
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint focuses on a particular aspect of the s... 详细信息
来源: 评论
Robot based Challenges to Develop Disciplinary and Soft Competencies in Engineering Students  20
Robot based Challenges to Develop Disciplinary and Soft Comp...
收藏 引用
Proceedings of the 12th international conference on Education Technology and Computers
作者: Israel Zamora-Hernandez Miguel X. Rodriguez-Paz Jorge A. Gonzalez-Mendivil Tecnologico de Monterrey Tecnologico de Monterrey and WritingLab TecLabs Tecnologico de Monterrey Mexico Tecnologico de Monterrey Mexico
In this paper, we present the results on the developing of competencies in Engineering students during a week called “i-week” in our Educational Model in which students from different disciplines work together on a ... 详细信息
来源: 评论
MANCaLog: A logic for Multi-Attribute Network Cascades  13
MANCaLog: A Logic for Multi-Attribute Network Cascades
收藏 引用
international conference on Autonomous Agents and Multiagent Systems
作者: Paulo Shakarian Gerardo I. Simari Robert Schroeder U.S. Military Academy West Point NY USA University of Oxford Oxford United Kingdom Naval Postgraduate School Monterey CA USA
Cascading processes on a network have been studied in a variety of disciplines, including computer science, biology, sociology, and economics. Much existing work in this area is based on pre-existing models. However, ... 详细信息
来源: 评论