咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Selected Papers from the 5th International Joint conference on Rules and Reasoning (RuleML+RR 2021)
收藏 引用
thEORY AND PRACTICE OF logic programming 2024年 第2期24卷 310-312页
作者: Moschoyiannis, Sotiris Penaloza, Rafael Univ Surrey Dept Comp Sci Guildford GU2 7XH England Univ Milano Bicocca Bicocca Italy
来源: 评论
On parallel programming methodology in GHC: Experience in programming a proof procedure of temporal logic  5th
On parallel programming methodology in GHC: Experience in pr...
收藏 引用
5th conference on logic programming, 1986
作者: Takahashi, Kazuko Kanamori, Tadashi Central Research Laboratory Mitsubishi Electric Corporation Japan
Parallel programming methodology in GHC is discussed based on our experience in programming a proof procedure of temporal logic. It is said that GHC can express basic constructs of parallel processing such as communic... 详细信息
来源: 评论
Maximizing the Number of threshold logic Functions Using Resistive Memory
收藏 引用
IEEE TRANSACTIONS ON NANOTECHNOLOGY 2018年 第5期17卷 897-905页
作者: Mozaffari, Seyed Nima Tragoudas, Spyros Southern Illinois Univ Dept Elect & Comp Engn Carbondale IL 62901 USA
Anewmethod to implement threshold logic functions using memristors is presented. this method benefits from the high range of memristor's resistivity, which is used to define different weight values, and reduces si... 详细信息
来源: 评论
SOUND AND COMPLETE PARTIAL DEDUCTION WIth UNFOLDING BASED ON WELL-FOUNDED MEASURES
收藏 引用
thEORETICAL COMPUTER SCIENCE 1994年 第1-2期122卷 97-117页
作者: MARTENS, B DESCHREYE, D HORVAth, T Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200 A B-3001 Heverlee Belgium
We present a procedure for partial deduction of logic programs, based on an automatic unfolding algorithm which guarantees the construction of sensibly and strongly expanded, finite SLD-trees. We prove that the partia... 详细信息
来源: 评论
SUBSTITUTION - A FORMAL MEthODS CASE-STUDY USING MONADS AND TRANSFORMATIONS
收藏 引用
SCIENCE OF COMPUTER programming 1994年 第2-3期23卷 287-311页
作者: BELLEGARDE, F HOOK, J OREGON GRAD INST SCI & TECHNOL PACIFIC SOFTWARE RES CTRPORTLANDOR 97291
the specification and derivation of substitution for the de Bruijn representation of h-terms is used to illustrate programming with a function-sequence monad. the resulting program is improved by interactive program t... 详细信息
来源: 评论
Markov Decision Processes Specified by Probabilistic logic programming: Representation and Solution  5
Markov Decision Processes Specified by Probabilistic Logic P...
收藏 引用
5th Brazilian conference on Intelligent Systems (BRACIS)
作者: Bueno, thiago P. Maua, Denis D. de Barros, Leliane N. Cozman, Fabio G. Univ Sao Paulo Inst Matemat & Estat Rua Matao 1010 Sao Paulo SP Brazil Univ Sao Paulo Escola Politecn Av Prof Mello Moraes 2231 Sao Paulo SP Brazil
Probabilistic logic programming combines logic and probability, so as to obtain a rich modeling language. In this work, we extend PROBLOG, a popular probabilistic logic programming language, with new constructs that a... 详细信息
来源: 评论
A foundation of reasoning by analogy: Analogical union of logic programs  5th
A foundation of reasoning by analogy: Analogical union of lo...
收藏 引用
5th conference on logic programming, 1986
作者: Haraguchi, Makoto Arikawa, Setsuo Research Institute of Fundamental Information Science Kyushu University 33 Fukuoka812 Japan
this paper presents a theoretical foundation of reasoning by analogy between logic programs. We give a formal definition of reasoning by analogy in terms of logic programming. We also introduce a notion of analogical ... 详细信息
来源: 评论
Revision programming
收藏 引用
thEORETICAL COMPUTER SCIENCE 1998年 第2期190卷 241-277页
作者: Marek, VW Truszczynski, M Univ Kentucky Dept Comp Sci Lexington KY 40546 USA
In this paper we introduce revision programming - a logic-based framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraint...
来源: 评论
A FEATURE CONSTRAINT SYSTEM FOR logic programming WIth ENTAILMENT
收藏 引用
thEORETICAL COMPUTER SCIENCE 1994年 第1-2期122卷 263-283页
作者: AITKACI, H PODELSKI, A SMOLKA, G UNIV SAARLAND DEUTSCH FORSCHUNGSZENTRUM KUNSTLICHE INTELLIGENZ W-6600 SAARBRUCKEN 11 GERMANY
We introduce a constraint system called FT. this system offers a theoretical and practical alternative to the usual Herbrand system of constraints over constructor trees. Like Herbrand, FT provides a universal data st... 详细信息
来源: 评论
A comparison of sceptical NAF-free logic programming approaches  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Antoniou, G Maher, MJ Billington Governatori, G Griffith Univ CIT Nathan Qld 4111 Australia
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and ... 详细信息
来源: 评论