咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 329 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是121-130 订阅
排序:
Doctoral consortium extended abstract: Planning with concurrent transaction logic  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Basseda, Reza Stony Brook University Stony BrookNY11794 United States
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (... 详细信息
来源: 评论
13th international conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014
13th International Conference on Intelligent Software Method...
收藏 引用
13th international conference on New Trends in Intelligent Software Methodology Tools and Techniques, SoMeT 2014
the proceedings contain 27 papers. the special focus in this conference is on Artificial Intelligence Techniques in Software Engineering, Requirement Engineering, Intelligent Software Systems Design and Arts in Intera...
来源: 评论
Digital forensics evidence analysis: An answer set programming approach for generating investigation hypotheses  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Costantini, Stefania De Gasperis, Giovanni Olivieri, Raffaele Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica Universitá degli Studi dell’Aquila Via Vetoio 1 L’Aquila67100 Italy Viale di Tor di Quinto 119 Rome00191 Italy
the results of the evidence analysis phase in Digital Forensics (DF) provide objective data which however require further elaboration by the investigators: in fact, they must contextualize analysis results within an i... 详细信息
来源: 评论
Aspartame: Solving constraint satisfaction problems with answer set programming  1
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Banbara, Mutsunori Gebser, Martin Inoue, Katsumi Ostrowski, Max Peano, Andrea Schaub, Torsten Soh, Takehide Tamura, Naoyuki Weise, Matthias Aalto University HIIT Greater Helsinki Finland INRIA Rennes Rennes France Kobe University Kobe Japan NII Tokyo Tokyo Japan University of Ferrara Ferrara Italy University of Potsdam Potsdam Germany
Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective by the award-winning sugar system. We here develop an alternative approach based on ASP th... 详细信息
来源: 评论
13th international conference on Software Engineering and Formal Methods, SEFM 2015 Collocated with ATSE, HOFM, MoKMaSD, and VERY SCART
13th International Conference on Software Engineering and Fo...
收藏 引用
13th international conference on Software Engineering and Formal Methods, SEFM 2015
the proceedings contain 25 papers. the special focus in this conference is on ATSE 2015 and HOFM 2015. the topics include: Learning-based testing of distributed microservice architectures;the synergy between user expe...
来源: 评论
ASPMT(QS): Non-monotonic spatial reasoning with answer set programming modulo theories  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Walęga, Przemyslaw Andrzej Bhatt, Mehul Schultz, Carl Institute of Philosophy University of Warsaw Warsaw Poland Department of Computer Science University of Bremen Bremen Germany
the systematic modelling of dynamic spatial systems [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic informati... 详细信息
来源: 评论
13th international Work-conference on Artificial Neural Networks, IWANN 2015
13th International Work-Conference on Artificial Neural Netw...
收藏 引用
13th international Work-conference on Artificial Neural Networks, IWANN 2015
the proceedings contain 58 papers. the special focus in this conference is on Pattern Recognition, Embedded Intelligent Systems, Expert Systems, Advances in Computational Intelligence and Applications of Computational...
来源: 评论
A Predictable Transactional Memory Architecture with Selective Conflict Resolution for Mixed-Criticality Support in MPSoCs
A Predictable Transactional Memory Architecture with Selecti...
收藏 引用
IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC
作者: Zaher Owda Roman Obermaisser University of Siegen Germany
Transactional memories can radically simplify the programming of mixed-criticality systems by offering atomicity, consistency and isolation guarantees between subsystems of different criticality. A major objective in ... 详细信息
来源: 评论
Designing and programming “Gameland” web portal focusing on serious games
Designing and programming “Gameland” web portal focusing o...
收藏 引用
international conference on Emerging eLearning Technologies and Applications (ICETA)
作者: M. Hosťovecký L. Lipovský D. Tóthová University of Ss. Cyril and Methodius / Department of Applied Informatics and Math Trnava Slovakia University of Ss. Cyril and Methodius/Department of Applied Informatics and Math Trnava Slovakia Slovak University of Agricultural in Nitra/Centre of Information Technologies Nitra Slovakia
the main purpose of the present paper was to design and develop a web portal that would store intelligent educational games aiming to eliminate cognitive shortcomings in elementary and secondary school pupils. the des... 详细信息
来源: 评论
Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones  13
Systematic Analysis and Detection of Misconfiguration Vulner...
收藏 引用
13th IEEE international conference on Trust Security and Privacy in Computing and Communications (TrustCom)
作者: Han, Zhihui Cheng, Liang Zhang, Yang Zeng, Shuke Deng, Yi Sun, Xiaoshan Chinese Acad Sci Inst Software Trusted Comp & Informat Assurance Lab Beijing 100864 Peoples R China
Android is a modern and popular software platform for smartphones. To manage information and features on smartphones, Android employs intent-based mechanism for interapplication or intra-application communication and ... 详细信息
来源: 评论