咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
CHOOSING DIRECTIONS FOR RULES  5
CHOOSING DIRECTIONS FOR RULES
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Treitel, Richard Genesereth, Michael R. Logic Group Knowledge Sytems Laboratory Computer Science Dept. Stanford University United States
In "expert systems"and other applications of logic programming, the issue arises of whether to use rules for forward or backward inference, i.e. whether deduction should be driven by the facts available to t... 详细信息
来源: 评论
Transformations of logic programs related to causality and planning  5th
收藏 引用
5th International conference on logic programming and Nonmonotonic Reasoning (LPNMR 99)
作者: Erdem, E Lifschitz, V Univ Texas Dept Comp Sci Austin TX 78712 USA
We prove two properties of logic programs under the answer set semantics that may be useful in connection with applications of logic programming to representing causality and to planning. One theorem is about the use ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
DOMAINS IN logic programming  5
DOMAINS IN LOGIC PROGRAMMING
收藏 引用
5th National conference on Artificial Intelligence, AAAI 1986
作者: Van Hentenryck, P. Dincbas, M. Arabellast 17 Munich 81D-8000 Germany
When confronted with constraint satisfaction problems (CSP). the "generate & test" strategy of Prolog is particulary inefficient. Also, control mechanisms defined for logic programming languages fall sho... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Detailed design of reinforced concrete buildings using logic programming
收藏 引用
ADVANCES IN ENGINEERING SOFTWARE 1996年 第2-3期25卷 161-176页
作者: Koumousis, VK Arsenis, SJ Vasiloglou, VB Institute of Structural Analysis & Aseismic Research National Technical University of Athens Zografou Campus 157 73 Athens Greece
A procedure is proposed leading to an optimal detailed design of reinforced concrete members. the general scheme followed is that of a multi-criterion design optimization. the method synthesizes the information from t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Proceedings of the 5th Generation Computer Systems conference (FGCS '92)
Proceedings of the 5th Generation Computer Systems Conferenc...
收藏 引用
Proceedings of the 5th Generation Computer Systems conference (FGCS '92)
this conference proceedings contains 10 papers. Topics covered include: compositional semantics for logic programs;closed-world assumptions to well-founded semantics;logic program synthesis;realizability interpretatio... 详细信息
来源: 评论
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... 详细信息
来源: 评论