咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是381-390 订阅
排序:
Modular logic programming and generalized quantifiers  4th
Modular logic programming and generalized quantifiers
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Eiter, T Gottlob, G Veith, H Univ Giessen AG Informat D-35392 Giessen Germany Vienna Univ Technol Dept Informat Syst A-1040 Vienna Austria
the research on systems of logic programming with modules has followed two mainstreams, programming-in-the-large, where compositional operators are provided for combining separate and independent modules, and programm... 详细信息
来源: 评论
Dynamic programming solution of solute transport and dispersion equations in groundwater
Dynamic programming solution of solute transport and dispers...
收藏 引用
Proceedings of the 1997 4th international conference on Water Pollution
作者: Mirabzadeh, M. Mohammadi, K. Tehran Univ Karadj Iran
A numerical model for the solute transport and dispersion in saturated porous media has been developed. the partial differential equations for water flow and solute transport are discretized using the finite differenc... 详细信息
来源: 评论
Affordable classes of normal logic programs  4th
Affordable classes of normal logic programs
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Seitzer, J Schlipf, J Coll Mt St Joseph Cincinnati OH USA Univ Cincinnati Dept ECE&CS Cincinnati OH 45221 USA
Limiting the number of times a variable appears in either the head or the body of a rule, we identify two classes of normal propositional logic programs. these classes have the desirable property that stable models, i... 详细信息
来源: 评论
An implementation platform for query-answering in default logics: the XRay system, its implementation and evaluation  4th
An implementation platform for query-answering in default lo...
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Schaub, T Nicolas, P Univ Angers Fac Sci LERIA F-49045 Angers 01 France
We present an implementation platform for query-answering in default logics. the overall approach along with its implementation, the XRay system, allows for query-answering from default theories supporting local proof... 详细信息
来源: 评论
Supporting unbounded process parallelism in the SPC programming model
Supporting unbounded process parallelism in the SPC programm...
收藏 引用
Proceedings of the 1997 4th international conference on High Performance Computing, HiPC
作者: van Gemund, Arjan J.C. Delft Univ of Technology Delft Netherlands
In automatic mapping of parallel programs to target parallel machines the efficiency of the compile-time cost estimation needed to steer the optimization process is highly dependent on the choice of programming model.... 详细信息
来源: 评论
REVISE: logic programming and diagnosis  4th
REVISE: Logic programming and diagnosis
收藏 引用
4th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 1997
作者: Damásio, Carlos Viegas Pereira, Luis Moniz Schroeder, Michael F.C.T. Universidade Nova de Lisboa Monte de Caparica2825 Portugal Universidade Aberta Rua da Escola Politécnica 141 - 147 Lisboa1250 Portugal Institut für Rechnergestützte Wissensverarbeitung University of Hannover Lange Laube 3 Hannover30159 Germany
In this article we describe the non-monotonic reasoning system REVISE that revises contradictory extended logic programs. We sketch the REVISE algorithm and evaluate it in the domain of digital circuits. © 1997, ... 详细信息
来源: 评论
Nonmonotonic reasoning in FLORID  4th
Nonmonotonic reasoning in FLORID
收藏 引用
4th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 1997
作者: Kandzia, Paul-th Institut füt Informatik Albert-Ludwigs-Universität FreiburgD-79110 Germany
the advantages of FLORID as a deductive object-oriented databaSe system are the rich object-oriented modeling facilities of its language Flogic. the focus of this paper is on FLORID’S multiple inheritance mechanism w... 详细信息
来源: 评论
Power defaults (preliminary report)  4th
Power defaults (preliminary report)
收藏 引用
4th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 1997
作者: Zhang, Guo-Qiang Rounds, William C. Department of Computer Science University of Georgia AthensGA30602 United States Artificial Intelligence Laboratory University of Michigan Ann ArborMI48109 United States
We present a spectrum of default logics, using powerdoma~ns to encode default constraints. the resulting non-monotonic entailment relations all satisfy the law of reasoning by cases. this result is a consequence of tw... 详细信息
来源: 评论
Smodels - an implementation of the stable model and well-founded semantics for normal logic programs  4th
Smodels - an implementation of the stable model and well-fou...
收藏 引用
4th international conference on logic programming and Nonmonotonic Reasoning (LPNMR 97)
作者: Niemela, I Simons, P Aalto Univ Dept Comp Sci & Engn Digital Syst Lab FIN-02015 Espoo Finland
the Smodels system is a C++ implementation of the well-founded and stable model semantics for range-restricted function-free normal programs. the system includes two modules: (i) smodels which implements the two seman... 详细信息
来源: 评论
4th international Symposium on logical Foundations of Computer Science, 1997
收藏 引用
4th international Symposium on logical Foundations of Computer Science, LFCS 1997
the proceedings contain 42 papers. the special focus in this conference is on logical Foundations of Computer Science. the topics include: Topological Semantics for Hybrid Systems;Domain-Free Pure Type Systems;Generic...
来源: 评论