咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是151-160 订阅
排序:
Probabilistic logic programming under maximum entropy
Probabilistic logic programming under maximum entropy
收藏 引用
5th European conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999
作者: Lukasiewicz, thomas Kern-Isberner, Gabriele Institut für Informatik Universität Gießn Arndtstraß 2 GießnD-35392 Germany Fachbereich Informatik FernUniversität Hagen P.O. Box 940 HagenD-58084 Germany
In this paper, we focus on the combination of probabilistic logic programming with the principle of maximum entropy. We start by dening probabilistic queries to probabilistic logic programs and their answer substituti... 详细信息
来源: 评论
On the role of negation in choice logic programs  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: De Vos, M Vermeir, D Free Univ Brussels Dept Comp Sci B-1050 Brussels Belgium
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally model decision problems where, depending ... 详细信息
来源: 评论
Proceedings of the AAAI conference on Artificial Intelligence, AAAI 1986
Proceedings of the AAAI Conference on Artificial Intelligenc...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
the proceedings contain 188 papers. the topics discussed include: a software and hardware environment for developing ai applications on parallel processors;merging objects and logic programming: relational semantics;c...
来源: 评论
Evolutionary design of combinational logic circuits using an improved gene expression-based clonal selection algorithm
Evolutionary design of combinational logic circuits using an...
收藏 引用
5th International conference on Natural Computation, ICNC 2009
作者: Gan, Zhaohui Shang, Tao Shi, Gang Jiang, Min Engineering Research Center of Metallurgical Automation and Measurement Technology Ministry of Education Wuhan 430081 Hubei China School of Information Science and Technology Wuhan University of Science and Technology Wuhan 430081 Hubei China College of Computer Science Wuhan University of Science and Technology Wuhan 430081 Hubei China
In this paper, an improved gene expression-based clonal selection algorithm (IGE-CSA) is proposed, which is aimed at solving synthesis problems of combinational logic circuits. the encoding of gene expression programm... 详细信息
来源: 评论
Proceedings of the AAAI conference on Artificial Intelligence, AAAI 1986
Proceedings of the AAAI Conference on Artificial Intelligenc...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
the proceedings contain 188 papers. the topics discussed include: a software and hardware environment for developing ai applications on parallel processors;merging objects and logic programming: relational semantics;c...
来源: 评论
5th International Symposium on Functional and logic programming, FLOPS 2001
收藏 引用
5th International Symposium on Functional and logic programming, FLOPS 2001
the proceedings contain 24 papers. the special focus in this conference is on Functional programming and logic programming. the topics include: A scalable architecture for proof-carrying code;parameterized logic progr...
来源: 评论
Grammar representation and parsing in a data-driven logic programming environment
Grammar representation and parsing in a data-driven logic pr...
收藏 引用
Proceedings of the 5th International conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92)
作者: Sinapova, L. Markov, Z.
来源: 评论
A proof strategy based on a dual representation  5th
收藏 引用
5th International conference on Artificial Intelligence and Symbolic Computation (AISC 2000)
作者: Bittencourt, G Tonin, I Univ Fed Santa Catarina Dept Automacao & Sistemas BR-88040900 Florianopolis SC Brazil
In this paper we describe a first-order logic inference strategy based on information extracted from both conjunctive and disjunctive normal forms. We claim that the search problem for a proof can benefit from this fu... 详细信息
来源: 评论
Saturated semantics for coalgebraic logic programming
Saturated semantics for coalgebraic logic programming
收藏 引用
5th International conference on Algebra and Coalgebra in Computer Science, CALCO 2013
作者: Bonchi, Filippo Zanasi, Fabio U. de Lyon CNRS INRIA UCBL ENS Lyon France
A series of recent papers introduces a coalgebraic semantics for logic programming, where the behavior of a goal is represented by a parallel model of computation called coinductive tree. this semantics fails to be co... 详细信息
来源: 评论
Proceedings - 2015 5th International conference on e-Learning, ECONF 2015
Proceedings - 2015 5th International Conference on e-Learnin...
收藏 引用
5th International conference on e-Learning, ECONF 2015
the proceedings contain 74 papers. the topics discussed include: ElectroLab: electronic laboratory system;evaluation of a numerical model using COMSOL multi-physics package;interactive design modules for logic design ...
来源: 评论