咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 545 篇 电子文献
  • 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
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 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

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是421-430 订阅
排序:
REFINING KNOWLEDGE FROM UNCERTAIN RELATIONS - A FUZZY DATA BROWSER BASED ON FUZZY OBJECT-ORIENTED programming IN FRIL
REFINING KNOWLEDGE FROM UNCERTAIN RELATIONS - A FUZZY DATA B...
收藏 引用
4th IEEE international conference on Fuzzy Systems/2nd international Fuzzy Engineering Symposium (FUZZY-IEEE/IFES 95)
作者: BALDWIN, JF MARTIN, TP DEPT ENGN MATH ADV COMP RES CTR BRISTOL BS8 1TR ENGLAND
the emerging technologies of soft computing promise to solve many real-world problems which are difficult to tackle using conventional approaches. Fril combines soft computing and logic programming into an AI language... 详细信息
来源: 评论
the sure programming framework  4th
收藏 引用
4th international conference on algebraic Methodology and Software Technology, AMAST 1995
作者: Jayararaan, Bharat Moon, Kyonghee Department of Computer Science State University of New York at Buffalo BuffaloNY14260 United States
We illustrate the use of a declarative programming paradigm based upon three kinds of program clauses: equational, subset, and general relational clauses. the implemented language is called SURE, which is an acronym f... 详细信息
来源: 评论
FUZZY PROLOG BASED ON LUKASIEWICZ IMPLICATION AND BOUNDED PRODUCT
FUZZY PROLOG BASED ON LUKASIEWICZ IMPLICATION AND BOUNDED PR...
收藏 引用
4th IEEE international conference on Fuzzy Systems/2nd international Fuzzy Engineering Symposium (FUZZY-IEEE/IFES 95)
作者: YASUI, H HAMADA, Y MUKAIDONO, M MEIJI UNIV DEPT COMP SCITAKA KUKAWASAKIKANAGAWA 222JAPAN
A lot of Prologs applied fuzzy theory, so called Fuzzy Prolog, have been studied since Zadeh has proposed fuzzy theory. Although various approaches of Fuzzy Prolog were proposed until now, there was no common interpre... 详细信息
来源: 评论
Deductive and object data languages: A quest for integration  4th
Deductive and object data languages: A quest for integration
收藏 引用
4th international conference on Deductive and Object-Oriented Databases, DOOD 1995
作者: Kifer, Michael Department of Computer Science University at Stony Brook Stony BrookNY11794 United States
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logi... 详细信息
来源: 评论
Completeness results for two-sorted metric temporal logics  4th
收藏 引用
4th international conference on algebraic Methodology and Software Technology, AMAST 1995
作者: Montanari, Angelo De Rijke, Maarten Dipartimento di Matematica e Informatica Università di Udine Via delle Scienze 206 Udine33100 Italy Department of Software Engineering CWI P.O. Box 94079 Amsterdam Netherlands
Temporal logic has been successfully used for modeling and analyzing the behavior of reactive and concurrent systems. One shortcoming of (standard) temporal logic is that it is inadequate for real-time applications, b... 详细信息
来源: 评论
A logic for variable aliasing in logic programs  4th
收藏 引用
4th international conference on algebraic and logic programming, ALP 1994
作者: Marchiori, Elena CWI P.O. Box 94079 Amsterdam1090 GB Netherlands
this paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. the logic is shown to be sound, complete and decidable. Moreover, it is illustrate... 详细信息
来源: 评论
logic programs as term rewriting systems  4th
收藏 引用
4th international conference on algebraic and logic programming, ALP 1994
作者: Marchiori, Massimo Department of Pure and Applied Mathematics University of Padova Via Belzoni 7 Padova35131 Italy
this paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is defined which given a logic program computes a TRS. For a relevant class of logic programs, ca... 详细信息
来源: 评论
Preserving universal termination through unfold/fold  4th
收藏 引用
4th international conference on algebraic and logic programming, ALP 1994
作者: Bossi, Annalisa Cocco, Nicoletta Dipartimento di Matematica Pura ed Applicata Università di Padova Via Belzoni 7 Padova35131 Italy Dipartimento di Informatica Università di Venezia-Ca’ Foscari Via Torino 155 Mestre-Venezia Italy
We study how to preserve universal termination besides computed answer substitutions while transforming definite programs. We consider the unfold operation both alone and combined with the introduction of a new defini... 详细信息
来源: 评论
Concurrent logic programming as uniform linear proofs  4th
收藏 引用
4th international conference on algebraic and logic programming, ALP 1994
作者: Volpe, Paolo Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy
We describe LC, a formalism based on the proof theory of linear logic, whose aim is to specify concurrent computations and whose language restriction (as compared to other linear logic language) provides a simpler ope... 详细信息
来源: 评论
4th international Workshop on Extensions of logic programming, ELP 1993
4th International Workshop on Extensions of Logic Programmin...
收藏 引用
4th international Workshop on Extensions of logic programming, ELP 1993
the proceedings contain 22 papers. the special focus in this conference is on Extensions of logic programming. the topics include: Design for AKL with intelligent pruning;birkhoff's HSP-theorem for cumulative logi...
来源: 评论