咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Variable input delay CMOS logic for low power design
Variable input delay CMOS logic for low power design
收藏 引用
international conference on VLSI Design
作者: T. Raja V.D. Agrawal M.L. Bushnell Transmeta Corporation Santa Clara CA USA Department of ECE Aubum University Auburn AL USA Department of eCE Rutgers University Piscataway NJ USA
Modern digital circuits consist of logic gates implemented in the complementary metal oxide semiconductor (CMOS) technology. the time taken for a logic gate output to change after one or more inputs have changed is ca... 详细信息
来源: 评论
Discovery of functional relationships in multi-relational data using inductive logic programming
Discovery of functional relationships in multi-relational da...
收藏 引用
4th IEEE international conference on Data Mining
作者: Alves, A Camacho, R Oliveira, E LIACC P-4150 Oporto Portugal
ILP systems have been largely applied to datamining classification tasks with a considerable success. the use of ILP systems in regression tasks has been far less successful. Current systems have very limited numerica... 详细信息
来源: 评论
A tutorial introduction to designs in unifying theories of programming
收藏 引用
4th international conference on Integrated Formal Methods (IFM 2004)
作者: Woodcock, J Cavalcanti, A Univ Kent Comp Lab Canterbury Kent England
In their Unifying theories of programming (UTP), Hoare & He use the alphabetised relational calculus to give denotational semantics to a wide variety of constructs taken from different programming paradigms. A key... 详细信息
来源: 评论
Defeasible deontic control for discrete events based on EVALPSN
收藏 引用
4th international conference, RSCTC 2004
作者: Nakamatsu, Kazumi Komaba, Hayato Suzuki, Atsuyuki Lie, Chung-Lun Chung, Sheng-Luen School of S.H.S.E. University of Hyogo Himeji 670-0092 Japan Dept. Information Shizuoka University Hamamatsu 432-8011 Japan Dept. Electric NTUST Taipei 106 Taiwan
We have developed an annotated logic program called an EVALPSN(Extended Vector Annotated logic Program with Strong Negation), which can deal with defeasible deontic reasoning and some kinds of contradiction, and appli... 详细信息
来源: 评论
4th international conference on Integrated Formal Methods, IFM 2004
4th International Conference on Integrated Formal Methods, I...
收藏 引用
4th international conference on Integrated Formal Methods, IFM 2004
the proceedings contain 28 papers. the special focus in this conference is on Integrated Formal Methods. the topics include: Design verification for control engineering;integrating model checking and theorem proving i...
来源: 评论
A contextual approach to the logic of fiction
收藏 引用
4th international and Interdisciplinary conference on Modeling and Using Context (CONTEXT 2003)
作者: Nossum, R Agder Univ Coll Kristiansiad Norway
An algebraic variant of multi-context logic is considered as an alternative to existing logical accounts of fictional discourse. An associative and idempotent operator on reified fictions supercedes Woods' olim mo... 详细信息
来源: 评论
Formalizing the Learner Model for CSCL environments  4
Formalizing the Learner Model for CSCL environments
收藏 引用
4th Mexican international conference on Computer Science (ENC 2003)
作者: Ortiz, M Ayala, G Osorio, M Univ Americas Puebla CENTIA Cholula 72820 Mexico
In this paper we present a logic formalization of a model which allows us to represent, create and maintain a Learner Model for CSCL environments in a clear and adequate manner, in order to use it as the set of belief... 详细信息
来源: 评论
Observational logic, constructor-based logic, and their duality
收藏 引用
thEORETICAL COMPUTER SCIENCE 2003年 第3期298卷 471-510页
作者: Bidoit, M Hennicker, R Kurz, A Ecole Normale Super LSV CNRS UMR 8643 F-94235 Cachan France Univ Munich Inst Informat Munich Germany Ctr Wiskunde & Informat Amsterdam Netherlands
Observability and reachability are important concepts for formal software development. While observability concepts are used to specify the required observable behavior of a program or system, reachability concepts ar... 详细信息
来源: 评论
Context-based commonsense reasoning in the DALI logic programming language
收藏 引用
4th international and Interdisciplinary conference on Modeling and Using Context (CONTEXT 2003)
作者: Costantini, S Tocchio, A Univ Aquila Dipartimento Informat I-67010 Coppito Italy
In this paper we will discuss the context management features of the new logic programming language DALI, aimed at defining agents and multi-agent systems. In particular, a DALI agent, which is capable of reactive and... 详细信息
来源: 评论
Transforming equality logic to propositional logic
Transforming equality logic to propositional logic
收藏 引用
FTP'2003, 4th international Workshop on First-Order theorem Proving (in Connection with RDP'03, Federated conference on Rewriting, Deduction
作者: Zantema, Hans Groote, Jan Friso Department of Computer Science Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven Netherlands
We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We ... 详细信息
来源: 评论