咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 344 篇 电子文献
  • 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 ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 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

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是111-120 订阅
排序:
LearnSec: A Framework for Full Text Analysis  13th
LearnSec: A Framework for Full Text Analysis
收藏 引用
13th international conference on Hybrid Artificial Intelligent Systems (HAIS)
作者: Goncalves, Carlos Iglesias, E. L. Borrajo, L. Camacho, Rui Seara Vieira, A. Goncalves, Celia Talma Univ Vigo Higher Tech Sch Comp Engn Campus Univ Lagoas S-N Orense 32004 Spain FEUP U Porto Rua Dr Roberto Frias S-N P-4200465 Porto Portugal LIAAD INESC TEC Porto Portugal ISCAP P Porto Rua Jaime Lopes Amorim S-N P-4465004 Sao Mamede de Infesta Portugal U Porto LIACC Porto Portugal
Large corpus of scientific research papers have been available for a long time. However, most of those corpus store only the title and the abstract of the paper. For some domains this information may not be enough to ... 详细信息
来源: 评论
Branching-time temporal logic extended with qualitative presburger constraints
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Bozzelli, Laura Gascon, Regis CNRS LSV Cachan France ENS Cachan Cachan France
Recently, LTL extended with atomic formulas built over a constraint language interpreting variables in Z has been shown to have a decidable satisfiability and model-checking problem. this language allows to compare th... 详细信息
来源: 评论
Design of Chinese Learning App for international Students based on User Satisfaction  6
Design of Chinese Learning App for International Students ba...
收藏 引用
6th international conference on Smart Grid and Electrical Automation (ICSGEA)
作者: Wang, Chao Dalian Polytech Univ Dalian 116034 Peoples R China
the existing Chinese learning app has the problem of imperfect logic programming model, which leads to the low compatibility of app. this paper designs a Chinese learning app for international students based on user s... 详细信息
来源: 评论
A local system for intuitionistic logic
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Tiu, Alwen Australian Natl Univ Canberra ACT Australia
this paper presents systems for first-order intuitionistic logic and several of its extensions in which all the propositional rules are local, in the sense that, in applying the rules of the system, one needs only a f... 详细信息
来源: 评论
Algebraic Methodology and Software Technology - 13th international conference, AMAST 2010, Revised Selected Papers
Algebraic Methodology and Software Technology - 13th Interna...
收藏 引用
13th international conference on Algebraic Methodology and Software Technology, AMAST 2010
the proceedings contain 15 papers. the topics discussed include: structural analysis for stochastic process algebra models;verification of common interprocedural compiler optimizations using visibly pushdown Kleene al...
来源: 评论
Goal-directed methods for Lukasiewicz logic
收藏 引用
18th international Workshop on Computer Science logic/13th Annual conference of the European-Association-for-Computer-Science-logic
作者: Metcalfe, G Olivetti, N Gabbay, D Kings Coll London Dept Comp Sci London WC2R 2LS England Univ Turin Dept Comp Sci I-10149 Turin Italy
In this paper we present goal-directed deduction methods for Lukasiewicz infinite-valued logic L, giving logic programming style algorithms which both have a logical interpretation and provide a suitable basis for imp... 详细信息
来源: 评论
CPP 2024 - Proceedings of the 13th ACM SIGPLAN international conference on Certified Programs and Proofs, Co-located with: POPL 2024
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International...
收藏 引用
13th ACM SIGPLAN international conference on Certified Programs and Proofs, CPP 2024, in affiliation with the annual Symposium on Principles of programming, Languages, ,POPL 2024
the proceedings contain 20 papers. the topics discussed include: UTC time, formally verified;VCFloat2: floating-point error analysis in coq;the last yard: foundational end-to-end verification of high-speed cryptograph...
来源: 评论
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and logic programming
Cooperation of Algebraic Constraint Domains in Higher-Order ...
收藏 引用
13th international conference on Algebraic Methodology and Software Technology
作者: del Vado Virseda, Rafael Univ Complutense Madrid Dpto Sistemas Informat & Computac E-28040 Madrid Spain
this paper presents a theoretical framework for the integration of the cooperative constraint solving of several algebraic domains into higher-order functional and logic programming on A-abstractions, using an instanc... 详细信息
来源: 评论
A comparison of reasoning techniques for querying large description logic ABoxes
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Motik, Boris Sattler, Ulrike Univ Manchester Manchester Lancs England
Many modern applications of description logics (DLs) require answering queries over large data quantities, structured according to relatively simple ontologies. For such applications, we conjectured that reusing ideas... 详细信息
来源: 评论
A new FMS simulator with object-oriented-programming techniques
收藏 引用
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY 1998年 第1-3期76卷 238-245页
作者: Li, XN Yuan, HB Huang, XY Cheung, EHM Nanjing Univ Sci & Technol Sch Mfg Engn Nanjing Peoples R China City Univ Hong Kong Dept Mfg Engn Kowloon Hong Kong
With the advance of research, design and operation of flexible manufacturing systems (FMS), new requirements have been presented for FMS simulators. these new requirements are high modelling efficiency, high model val... 详细信息
来源: 评论