咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Decidability and Implementation of Parametrized logic Programs
Decidability and Implementation of Parametrized Logic Progra...
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Goncalves, Ricardo Alferes, Jose Julio Univ Nova Lisboa Fac Ciencias & Tecnol CENTRIA Dept Informat P-1200 Lisbon Portugal
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head o... 详细信息
来源: 评论
inductive datatypes in HOL - Lessons learned in Formal-logic Engineering  1
收藏 引用
12th international conference on theorem Proving in High Order logics (TPHOLS 99)
作者: Berghofer, S Wenzel, M Tech Univ Munich Inst Informat D-80290 Munich Germany
Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and most other implementations, Isabelle/HOL datatype... 详细信息
来源: 评论
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
来源: 评论
Proceedings of the 12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
Proceedings of the 12th International Conference on Computat...
收藏 引用
12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiograph...
来源: 评论
A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems
A constraint logic programming framework for the synthesis o...
收藏 引用
12th IEEE international conference on Emerging Technologies and Factory Automation
作者: Poulsen, Kare Harbo Pop, Paul Izosimov, Viacheslav Tech Univ Denmark Informat & Math Modelling Dept DK-2800 Lyngby Denmark Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden
We present a constraint logic programming (CLP) approach for synthesis of fault-tolerant hard real-time applications on. distributed heterogeneous architectures. We address time-triggered systems, where processes and ... 详细信息
来源: 评论
logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System
Logic-Based Techniques for Data Cleaning: An Application to ...
收藏 引用
12th international conference on logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Terracina, Giorgio Martello, Alessandra Leone, Nicola Univ Calabria I-87030 Commenda Di Rende Italy DLVSyst Srl Arcavacata Di Rende Italy
In this paper we present a technique based on logic programming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a... 详细信息
来源: 评论
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
来源: 评论
Collaborative Microgrids: Design and Dynamic Analysis using Multiagent Fuzzy-logic System  12
Collaborative Microgrids: Design and Dynamic Analysis using ...
收藏 引用
12th international Renewable Engineering conference (IREC)
作者: El Zerk, Abdallah Ouassaid, Mohammed Zidani, Youssef Mohammed V Univ Rabat Engn Smart & Sustainable Syst Res Ctr Mohammadia Sch Engineers Rabat Morocco Cadi Ayyad Univ Fac Sci & Technol Dept Elect Engn Marrakech Morocco
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using... 详细信息
来源: 评论