咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Approximate dynamic programming for patient admission scheduling  12
Approximate dynamic programming for patient admission schedu...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: De Oliveira Silva, thiago Augusto Vancroonenburg, Wim Berghe, Greet Vanden Departamento de Engenharia de Produgao Institute- de Ciencias Exatas e Aplicadas Universidade Federal de Ouro Preto Brazil Department of Computer Science CODeS and Imec KU Leuven Ghent Technology Campus Gebroeders De Smetstraat 1 Gent9000 Belgium
来源: 评论
Pac-learning nondeterminate clauses
Pac-learning nondeterminate clauses
收藏 引用
Proceedings of the 12th National conference on Artificial Intelligence. Part 1 (of 2)
作者: Cohen, William W. AT&T Bell Lab Murray Hill United States
Several practical inductive logic programming systems efficiently learn 'determinate' clauses of constant depth. Recently it has been shown that while nonrecursive constant-depth determinate clauses are pac-le... 详细信息
来源: 评论
Real-life decision support for the locomotive assignment problem with heterogeneous consists  12
Real-life decision support for the locomotive assignment pro...
收藏 引用
12th international conference on the Practice and theory of Automated Timetabling, PATAT 2018
作者: Scheffler, Martin Neufeld, Janis S. Holscher, Michael Department of Business Administration and Economics TU Dresden Dresden01069 Germany
来源: 评论
the Dramatic True Story of the Frame Default
收藏 引用
JOURNAL OF PHILOSOPHICAL logic 2015年 第2期44卷 163-176页
作者: Lifschitz, Vladimir Univ Texas Austin Dept Comp Sci Austin TX 78712 USA
this is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his "frame default" remained untested and suspect. But developments in some seemingly unre... 详细信息
来源: 评论
Towards vague query answering in logic programming for logic-based information retrieval
Towards vague query answering in logic programming for logic...
收藏 引用
12th World Congress of the international-Fuzzy-Systems-Association
作者: Straccia, Umberto ISTI CNR Pisa Italy
We address a novel issue for logic programming, namely the problem of evaluating ranked top-k queries. the problem occurs for instance, when we allow queries such as '' find cheap hotels close to the conferenc... 详细信息
来源: 评论
Constructing Service Clusters Based on Service Space
收藏 引用
international JOURNAL OF PARALLEL programming 2017年 第4期45卷 982-1000页
作者: Du, Yuyue Wang, Lu Qi, Man Shandong Univ Sci & Technol Coll Informat Sci & Engn Qingdao 266590 Shandong Peoples R China Canterbury Christ Church Univ Dept Comp Canterbury CT1 1QU Kent England
With the development of Web services, the quantity of services in clusters has increased rapidly, and the time complexity of service clustering becomes higher. To solve this problem, a new construction method of servi... 详细信息
来源: 评论
Dynamic Delegation based on Temporal and Nonmonotonic Description logic  12
Dynamic Delegation based on Temporal and Nonmonotonic Descri...
收藏 引用
12th IEEE international conference on programming and Systems (ISPS)
作者: Bettaz, Ouarda Boustia, Narhimene Mokhtari, Aicha Ecole Normale Super Kouba Comp Sci Dept FEI RIIMA Lab Algiers Algeria Saad Dahlab Univ Blida Comp Sci Dept FEI RIIMA Lab Blida Algeria USTHB Comp Sci Dept FEI RIIMA Lab Algiers Algeria
Access control provides the mean of restricting the access to a computer system by checking whether a legitimate user has the rights to perform certain actions on the resources. therefore it should rely on flexible ad... 详细信息
来源: 评论
Negation as a Resource: A Novel View on Answer Set Semantics
Negation as a Resource: A Novel View on Answer Set Semantics
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Costantini, Stefania Formisano, Andrea Univ Aquila DISIM I-67100 Laquila Italy Univ Perugia DMI Perugia Italy
In recent work, we provided a formulation of ASP programs in terms of linear logic theories. Based on this work, in this paper we propose and discuss a modified Answer Set Semantics, "Resource-based Answer Set Se... 详细信息
来源: 评论
programming cognitive agents in defeasible logic
Programming cognitive agents in defeasible logic
收藏 引用
12th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Dastani, M Governatori, G Rotolo, A van der Torre, L Univ Utrecht Intelligent Syst Grp Utrecht Netherlands Univ Queensland Sch ITEE St Lucia Qld Australia Univ Bologna CIRSFID Bologna Italy CWI NL-1009 AB Amsterdam Netherlands Delft Univ Technol Delft Netherlands
Defeasible logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference p... 详细信息
来源: 评论
Recovering software specifications with inductive logic programming
Recovering software specifications with inductive logic prog...
收藏 引用
Proceedings of the 12th National conference on Artificial Intelligence. Part 1 (of 2)
作者: Cohen, William W. AT&T Bell Lab Murray Hill United States
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Datalog specifications of a certain type... 详细信息
来源: 评论