咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Prolog computation model BPM and its debugger PROEDIT2  5th
Prolog computation model BPM and its debugger PROEDIT2
收藏 引用
5th conference on logic programming, 1986
作者: Morishita, Shinichi Numao, Masayuki IBM Tokyo Research Laboratory 5-19 Sanban-cho Chiyoda-ku Tokyo102 Japan
this paper presents a debugger for Prolog ‘PROEDIT2’, In order to express the complex execution mechanism of Prolog, a new execution model for Prolog ‘BPM’ is also proposed. PROEDIT2 shows the execution of Prolog ... 详细信息
来源: 评论
ALGORIthMS FOR PARALLEL ADDITION AND PARALLEL POLYNOMIAL EVALUATION.
Conference Proceedings - Annual Symposium on Computer Archit...
收藏 引用
conference Proceedings - Annual Symposium on Computer Architecture 1981年 256-263页
作者: Papachristou, Christos A.
Two related algorithms for implementing parallel n-bit binary addition and evaluating n-th degree polynomials, respectively, are presented. the approach taken makes use of an iterative construction, the computation tr... 详细信息
来源: 评论
Proof theory for hybrid(ised) logics
收藏 引用
SCIENCE OF COMPUTER programming 2016年 126卷 73-93页
作者: Neves, Renato Madeira, Alexandre Martins, Manuel A. Barbosa, Luis S. HASLab INESC TEC Braga Portugal Univ Minho P-4719 Braga Portugal Univ Aveiro CIDMA Dept Math P-3800 Aveiro Portugal
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a s... 详细信息
来源: 评论
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 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 ... 详细信息
来源: 评论
logic-based Benders decomposition to solve the permutation flowshop scheduling problem with time lags
Logic-based Benders decomposition to solve the permutation f...
收藏 引用
5th International conference on Modeling, Simulation and Applied Optimization (ICMSAO)
作者: Hamdi, Imen Loukil, Taicir Fac Econ Sci & Management Dept Quantitat Methods Sfax Tunisia
In this paper, we consider the problem of scheduling n jobs in an m-machine permutation flowshop with time lags between consecutive operations of each job. the processing order of jobs is the same for each machine. th... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Unrestricted procedure calls in Hoare's logic  78
Unrestricted procedure calls in Hoare's logic
收藏 引用
5th ACM SIGACT-SIGPLAN Symposium on Principles of programming Languages, POPL 1978
作者: Cartwright, Robert Oppen, Derek Computer Science Department Cornell University IthacaNY14853 United States Computer Science Department Stanford University StanfordCA94305 United States
this paper presents a new version of Hoare's logic including generalized procedure call and assignment rules which correctly handle aliased variables. Formal justifications are given for the new rules. © 1986... 详细信息
来源: 评论
Some Results on Order-Consistent logic Programs
Some Results on Order-Consistent Logic Programs
收藏 引用
5th International conference on Fuzzy Systems and Knowledge Discovery
作者: Wang, Yisong Ma, Xinqiang Guizhou Univ Coll Comp Sci & Technol Guiyang 550003 Peoples R China Chongqing Univ Arts & Sci Chongqing Peoples R China
logic programming is a prominent approach for knowledge representation and reasoning. Answer set semantics of logic. programs provides a promising constraint programming paradigm. Consistency is a significant issue in... 详细信息
来源: 评论
RESTRICTING logic GRAMMARS  5
RESTRICTING LOGIC GRAMMARS
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Stabler, Edward P. Quintus Computer Systems 2345 Yale St. Palo AltoCA94306 United States
A parser formalism for natural languages that is so restricted as to rule out the definition of linguistic structures that do not occur in any natural language can make the task of grammar construction easier, whether... 详细信息
来源: 评论