咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是241-250 订阅
排序:
A portable compiler: theory and practice  78
A portable compiler: Theory and practice
收藏 引用
5th ACM SIGACT-SIGPLAN Symposium on Principles of programming Languages, POPL 1978
作者: Johnson, S.C. Bell Laboratories Murray HillNJ07974 United States
A compiler for the C language has recently been constructed which is now compiling C for about half a dozen machines. the compiler was influenced in various ways by recent theoretical developments. this paper gives an... 详细信息
来源: 评论
Learning to Act Optimally in Partially Observable Markov Decision Processes Using Hybrid Probabilistic logic Programs
收藏 引用
5th International conference on Scalable Uncertainty Management (SUM 2011)
作者: Saad, Emad Gulf Univ Sci & Technol Dept Comp Sci Mishref Kuwait
We present a probabilistic logic programming framework to reinforcement learning, by integrating reinforcement learning, in POMDP environments, with normal hybrid probabilistic logic programs with probabilistic answer... 详细信息
来源: 评论
Proedit — a screen oriented Prolog programming environment  4th
收藏 引用
4th International conference on logic programming, 1985
作者: Numao, M. Maruyama, H. Science Institute IBM Japan Ltd. 5-19 Sanbancho Chiyoda-ku Tokyo102 Japan
A screen oriented programming environment for Prolog was designed and implemented. To visualize the control flow of the execution of a Prolog program, A new execution model is proposed, which is based on the box model... 详细信息
来源: 评论
ANN and Fuzzy logic applied to control of disturbances in mechatronics system  5th
收藏 引用
5th Fuzzy Days International conference on Computational Intelligence, CI 1997
作者: Matuszek, Tadeusz S. Grymek, Szymon Technical University of Gdansk GdanskPL- 80-952 Poland
In this work a purpose of the ANN and Fuzzy logic for integrated logic control of disturbances in mechatronics system has been considered. the main task of this study was to investigate whether electronic logic design... 详细信息
来源: 评论
SYNTELTM: KNOWLEDGE PROGRARMING USING FUNCTIONAL REPRESENTATIONS  5
SYNTELTM: KNOWLEDGE PROGRARMING USING FUNCTIONAL REPRESENTAT...
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Reboh, Rene Risch, Tore Syntelligence Inc. 1000 Hamlin Court PO Box 3620 SunnyvaleCA94088 United States
SYNTELTMis a novel knowledge representation language that provides traditional features of expert system shells within a pure functional programming paradigm. However, it differs sharply from existing functional langu... 详细信息
来源: 评论
Algebraic semantics for functional logic programming with polymorphic order-sorted types  5th
Algebraic semantics for functional logic programming with po...
收藏 引用
5th International conference on Algebraic and logic programming, ALP 1996
作者: Almendros-Jiménez, J.M. Gavilanes-Franco, A. Gil-Luezas, A. Dpto. Inforras y Automs UCM Av. Complutense s/n MadridE-28040 Spain
In this paper we present the semantics of a functional logic language with parametric and order-sorted polymorphism. Typed programs consist of a polymorphic signature and a set of constructor-based conditional rewriti... 详细信息
来源: 评论
Composite distributive lattices as annotation domains for mediators  5th
Composite distributive lattices as annotation domains for me...
收藏 引用
5th International conference on Artificial Intelligence and Symbolic Computation (AISC 2000)
作者: Calmet, J Kullmann, P Taneda, M Univ Karlsruhe IAKS D-76128 Karlsruhe Germany
In a mediator system based on annotated logics it is a suitable requirement to allow annotations from different lattices in one program on a per-predicate basis. these lattices however may be related through common su... 详细信息
来源: 评论
Java program verification via a Hoare logic with abrupt termination  3rd
收藏 引用
3rd International conference on Fundamental Approaches to Software Engineering (FACE 2000) at the European conference on theory and Practice of Software (ETAPS 2000)
作者: Huisman, M Jacobs, B Catholic Univ Nijmegen Inst Comp Sci NL-6525 ED Nijmegen Netherlands
this paper formalises a semantics for statements and expressions (in sequential imperative languages) which includes non-termination, normal termination and abrupt termination (e.g. because of an exception, break, ret... 详细信息
来源: 评论
Parallel generalized LR parser based on logic programming  8th
收藏 引用
8th conference on logic programming, 1989
作者: Numazaki, Hiroaki Tamura, Naoyosthi Tanaka, Hozumi Tokyo Institute of Technology 2-12-1 Oookayama Megro-Ku Tokyo152 Japan Yokohama National University 2-12-1 Oookayama Megro-Ku Tokyo152 Japan Tokyo Institute of Technology 2-12-1 Oookayama Megro-Ku Tokyo152 Japan
Tomita’s algorithm [Tomita 85] which treats context free grammars makes use of the breadth-first strategy to handle conflicts occurring in a LR parsing table. Considering the compatibility of a breadth-first strategy... 详细信息
来源: 评论
Viterbi calculation for a constrained hidden Markov model
Viterbi calculation for a constrained hidden Markov model
收藏 引用
Cinquiemes Journees Francophones de Programmation par Contraintes, JFPC 2009 - 5th French Speaking conference on Constraint programming, JFPC 2009
作者: Petit, Matthieu Christiansen, Henning Research Group PLIS : Programming Logic and Intelligent Systems Department of Communication Roskilde University P.O Box 260 DK-4000 Roskilde Denmark
A hidden Markov model (HMM) is a statistical model in which the system being modeled is assumed to be a Markov process with hidden states. this model has been widely used in speech recognition and biological sequence ... 详细信息
来源: 评论