咨询与建议

限定检索结果

文献类型

  • 385 篇 会议
  • 15 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 288 篇 工学
    • 258 篇 计算机科学与技术...
    • 177 篇 软件工程
    • 44 篇 电气工程
    • 25 篇 信息与通信工程
    • 16 篇 控制科学与工程
    • 8 篇 生物医学工程(可授...
    • 6 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 5 篇 农业工程
    • 4 篇 仪器科学与技术
    • 4 篇 材料科学与工程(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 化学工程与技术
    • 3 篇 生物工程
    • 3 篇 安全科学与工程
  • 57 篇 理学
    • 43 篇 数学
    • 7 篇 生物学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
    • 2 篇 化学
  • 27 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 3 篇 工商管理
  • 9 篇 医学
    • 7 篇 临床医学
    • 5 篇 基础医学(可授医学...
    • 4 篇 药学(可授医学、理...
  • 5 篇 农学
    • 5 篇 作物学
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 法学

主题

  • 101 篇 logic programmin...
  • 25 篇 fuzzy logic
  • 21 篇 semantics
  • 17 篇 logic gates
  • 15 篇 computer circuit...
  • 13 篇 programming
  • 10 篇 logic
  • 9 篇 artificial intel...
  • 7 篇 programmable log...
  • 6 篇 application soft...
  • 6 篇 linear programmi...
  • 6 篇 computational mo...
  • 6 篇 testing
  • 5 篇 fuzzy sets
  • 5 篇 object oriented ...
  • 5 篇 prototypes
  • 5 篇 petri nets
  • 5 篇 control systems
  • 5 篇 dynamic programm...
  • 5 篇 mathematical mod...

机构

  • 3 篇 suny stony brook...
  • 2 篇 riken biomimet c...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 cornell univ dep...
  • 2 篇 national univers...
  • 2 篇 department of el...
  • 2 篇 icot research ce...
  • 2 篇 univ calif santa...
  • 2 篇 centro algoritmi...
  • 2 篇 univ potsdam ins...
  • 2 篇 nagoya univ fac ...
  • 2 篇 univ kentucky de...
  • 2 篇 univ calabria de...
  • 1 篇 al-azhar univers...
  • 1 篇 linkoping univ d...
  • 1 篇 universität des ...
  • 1 篇 istanbul tech un...
  • 1 篇 institut föur in...
  • 1 篇 lig lab saint ma...

作者

  • 5 篇 vicente henrique
  • 4 篇 heymans stijn
  • 3 篇 truszczynski mir...
  • 3 篇 toni francesca
  • 3 篇 furukawa koichi
  • 3 篇 neves josé
  • 3 篇 goebel randy
  • 3 篇 cabalar pedro
  • 3 篇 feier cristina
  • 3 篇 pearce david
  • 3 篇 vermeir dirk
  • 2 篇 dung phan minh
  • 2 篇 stuckey peter j.
  • 2 篇 maher m.j.
  • 2 篇 oikarinen emilia
  • 2 篇 hosoe shigeyuki
  • 2 篇 buettner kevin a...
  • 2 篇 yin yingjie
  • 2 篇 zhang rukai
  • 2 篇 yuan li yan

语言

  • 400 篇 英文
  • 3 篇 其他
检索条件"任意字段=3rd International Conference on Logic Programming, ICLP 1986"
403 条 记 录,以下是1-10 订阅
排序:
3rd international conference on logic programming, iclp 1986
收藏 引用
3rd international conference on logic programming, iclp 1986
The proceedings contain 60 papers. The special focus in this conference is on logic programming. The topics include: A sequential implementation of Parlog;A GHC abstract machine and instruction set;a Prolog processor ...
来源: 评论
Proceedings of the 3rd international Workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international conference on logic programming, iclp 2008
Proceedings of the 3rd International Workshop on Application...
收藏 引用
3rd international Workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international conference on logic programming, iclp 2008
The proceedings contain 7 papers. The topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logic programming with description logics...
来源: 评论
REPORT ON THE 3rd international-conference ON logic programming
收藏 引用
NEW GENERATION COMPUTING 1986年 第4期4卷 445-446页
作者: SATO, T ELECTROTECH LAB SAKURAIBARAKI 305JAPAN
来源: 评论
3rd international conference on logic programming and Nonmonotonic Reasoning, LPNMR 1995
3rd International Conference on Logic Programming and Nonmon...
收藏 引用
3rd international conference on logic programming and Nonmonotonic Reasoning, LPNMR 1995
The proceedings contain 29 papers. The special focus in this conference is on logic programming and Nonmonotonic Reasoning. The topics include: Complexity results for abductive logic programming;a terminological inter...
来源: 评论
3rd international conference on Algebraic and logic programming, 1992
3rd International Conference on Algebraic and Logic Programm...
收藏 引用
3rd international conference on Algebraic and logic programming, 1992
The proceedings contain 29 papers. The special focus in this conference is on Algebraic and logic programming. The topics include: Outline of an object-oriented calculus of higher type;high-level-replacement systems f...
来源: 评论
3rd international conference on logic and Argumentation, CLAR 2020
3rd International Conference on Logic and Argumentation, CLA...
收藏 引用
3rd international conference on logic and Argumentation, CLAR 2020
The proceedings contain 21 papers. The special focus in this conference is on logic and Argumentation. The topics include: A logic of Knowledge and Belief Based on Abstract Arguments;computer-Supported Analysis of Arg...
来源: 评论
BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, co-located with the 23rd international conference of the Italian Association for Artificial Intelligence, AIxIA 2024
BEWARE 2024 - Proceedings of the 3rd Workshop on Bias, Risk,...
收藏 引用
3rd Workshop on Bias, Risk, Ethical AI, Explainability and the Role of logic and logic programming, BEWARE 2024
The proceedings contain 12 papers. The topics discussed include: prior to trust: frequentist and Bayesian views of trust in AI;rethinking bias and fairness in AI through the lens of gender studies;gender biases in rob...
来源: 评论
6th international conference on Algebraic and logic programming, ALP 1997 and the 3rd international Workshop on Higher-Order Algebra, logic and Term Rewriting, HOA 1997
6th International Conference on Algebraic and Logic Programm...
收藏 引用
6th international conference on Algebraic and logic programming, ALP 1997
The proceedings contain 18 papers. The special focus in this conference is on Functional and logic programming. The topics include: Safe folding/unfolding with conditional narrowing;optimal non-deterministic functiona...
来源: 评论
3rd international conference on Artificial Intelligence logic and Applications, AILA 2023
3rd International Conference on Artificial Intelligence Logi...
收藏 引用
3rd international conference on Artificial Intelligence logic and Applications, AILA 2023
The proceedings contain 36 papers. The special focus in this conference is on Artificial Intelligence logic and Applications. The topics include: An Abstraction Neural Network Generator for Efficient Formal Verif...
来源: 评论
SPECIAL ISSUE ALGEBRAIC AND logic programming - SELECTED EXTENDED PAPERS FROM THE 3rd international-conference 1992 - FOREWOrd
收藏 引用
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 1994年 第3-4期5卷 129-129页
作者: KIRCHNER, H LEVI, G
来源: 评论