咨询与建议

限定检索结果

文献类型

  • 492 篇 会议
  • 29 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 382 篇 工学
    • 347 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 12 篇 linear programmi...
  • 11 篇 formal logic
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 functional progr...
  • 8 篇 algebra
  • 8 篇 web services
  • 7 篇 programmable log...
  • 7 篇 prolog (programm...
  • 6 篇 object oriented ...
  • 6 篇 programming prof...
  • 6 篇 semantic web
  • 6 篇 computer languag...
  • 6 篇 computer program...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 516 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
524 条 记 录,以下是371-380 订阅
排序:
Constraint representation for propagation  4th
收藏 引用
4th international conference on Principles and Practice of Constraint programming, CP 1998
作者: Harvey, Warwick Stuckey, Peter J. School of Computer Science and Software Engineering Monash University ClaytonVIC3168 Australia Department of Computer Science University of Melbourne ParkvilleVIC3052 Australia
Propagation based finite domain solvers provide a general mechanism for solving combinatorial problems. Different propagation methods can be used in conjunction by communicating through the do- mains of shared variabl... 详细信息
来源: 评论
4th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 1997
4th International Conference on Logic Programming and Nonmon...
收藏 引用
4th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 1997
the proceedings contain 34 papers. the special focus in this conference is on logic programming and Nonmonotonic Reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
来源: 评论
Multiplex computing system based on set-valued logic
收藏 引用
COMPUTERS & ELECTRICAL ENGINEERING 1997年 第6期23卷 381-392页
作者: Higuchi, T Aoki, T Tohoku Univ Grad Sch Informat Sci Dept Syst Informat Sci Aoba Ku Sendai Miyagi 9808579 Japan
this paper presents the concept of multiplex computing as a foundation for next-generation integrated systems free from interconnection problems. Computing with multiplexable information carriers makes it possible to ... 详细信息
来源: 评论
Towards a systematic approach to representing knowledge in declarative logic programming (invited talk)  4th
Towards a systematic approach to representing knowledge in d...
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Gelfond, M Univ Texas Dept Comp Sci El Paso TX 79968 USA
来源: 评论
DisLoP: Towards a disjunctive logic programming system  4th
DisLoP: Towards a disjunctive logic programming system
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Aravindan, C Dix, J Niemela, I Univ Koblenz Dept Comp Sci D-56075 Koblenz Germany
this paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. this system is a result of research activities of the Disjunctive logic Programmin... 详细信息
来源: 评论
Composing general logic programs  4th
Composing general logic programs
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Brogi, A Contiero, S Turini, F Univ Pisa Dipartimento Informat I-56125 Pisa Italy
the program composition approach can be fruitfully applied to combine general logic programs, i.e, logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) comp... 详细信息
来源: 评论
Improving the alternating fixpoint: the transformation approach  4th
Improving the alternating fixpoint: The transformation appro...
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Zukowski, U Brass, S Freitag, B Univ Passau Fak Math & Informat D-94030 Passau Germany Univ Hildesheim Inst Informat D-31141 Hildesheim Germany
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations studied by BRASS and DIX [4, 5]. the tra... 详细信息
来源: 评论
CNF and DNF considered harmful for computing prime implicants/implicates
收藏 引用
JOURNAL OF AUTOMATED REASONING 1997年 第3期18卷 337-356页
作者: Ramesh, A Becker, G Murray, NV SUNY ALBANY INST PROGRAMMING & LOG DEPT COMP SCI ALBANY NY 12222 USA INTEL CORP CHANDLER AZ 85226 USA
Several methods to compute the prime implicants and the prime implicates of a negation normal form (NNF) formula are developed and implemented. An algorithm PI is introduced that is an extension to negation normal for... 详细信息
来源: 评论
4th international Symposium on Static Analysis, SAS 1997
收藏 引用
4th international Symposium on Static Analysis, SAS 1997
the proceedings contain 33 papers. the special focus in this conference is on Static Analysis. the topics include: On sparse evaluation representations;the effects of the precision of pointer analysis;fast and effecti...
来源: 评论
A general framework for revising nonmonotonic theories  4th
A general framework for revising nonmonotonic theories
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Witteveen, C van der Hoek, W Delft Univ Technol Dept Math & Comp Sci NL-2600 AJ Delft Netherlands Univ Utrecht Dept Comp Sci NL-3584 CH Utrecht Netherlands
A general framework for revision of nonmonotonic theories is presented. this framework can be applied if the intended nonmonotonic semantics is not (weakly) cumulative. For weaker-semantics, it is shown that revision ... 详细信息
来源: 评论