咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,197 篇 期刊文献
  • 106 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,404 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,728 篇 工学
    • 5,321 篇 计算机科学与技术...
    • 3,513 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,420 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 76 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 35 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,408 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,029 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8408 条 记 录,以下是4801-4810 订阅
排序:
Evolving fuzzy controllers through evolutionary programming
Evolving fuzzy controllers through evolutionary programming
收藏 引用
Conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: D. Makaitis Creighton University Omaha NE USA
Fuzzy logic controllers have been proven to be an effective means of solving real world control issues. One of the difficulties in the construction of fuzzy controllers is the design of the rule base under which they ... 详细信息
来源: 评论
Finding least cost proofs using high order recurrent networks
Finding least cost proofs using high order recurrent network...
收藏 引用
International Joint Conference on Neural Networks (IJCNN)
作者: A.M. Abdelbar E.A.M. Andrews G.A. Tagliarini Department of Computer Science American University Cairo Egypt Department of Computer Science North Carolina State University Wilmington USA
Cost-based abduction (CBA) is an important AI formalism for representing knowledge under uncertainty. In this formalism, evidence to be explained is treated as a goal to be proven, proofs have costs based on how much ... 详细信息
来源: 评论
Implementation of a fuzzy logic controller on an FPGA using VHDL
Implementation of a fuzzy logic controller on an FPGA using ...
收藏 引用
Conference of the North American Fuzzy Information Processing Society - NAFIPS
作者: S. Singh K.S. Rattan Department of Electrical Engineering Wright State University Dayton OH USA
Implementation of a fuzzy logic controller on an FPGA using VHDL is presented in this paper. The basic components of the fuzzy logic controller are designed using VHDL and a Xilinx virtex FPGA is used for implementati... 详细信息
来源: 评论
A test-driven component development framework based on the CORBA component model
A test-driven component development framework based on the C...
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: E. Teiniker S. Mitterdorfer L.M. Johnson C. Kreiner Z. Kovacs R. Weiss Institute for Technical Informatics Graz University of Technology Graz Austria Salomon Automation GmbH Graz Austria
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test-driven development. At the same time, hierarchical softw... 详细信息
来源: 评论
Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748)
Proceedings. 2003 International Symposium on System-on-Chip ...
收藏 引用
IEEE International Symposium on System-on-Chip
The following topics are dealt with: ASIC; SOPC; dynamic instruction scheduling; VLIW-DISVLIW; SoC integration; programmable cores; logic development; software-defined radio; NoC; CMOS; electronic ballasts; fluorescen... 详细信息
来源: 评论
Automata theory for multi-agent systems implementation
Automata theory for multi-agent systems implementation
收藏 引用
International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS)
作者: L. Naumov A. Shalyto Computer Science Department Saint Petersburg State lnstitute of Fine Mechanics and Optics Saint Petersburg Russia
We show that automata theory can be useful for engineering, developing and documenting multiagent systems. Algorithmization and programming principles for logic control are formulated, regarding algorithms and program... 详细信息
来源: 评论
Approximate reasoning and PT-resolution
Approximate reasoning and PT-resolution
收藏 引用
IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA)
作者: F.F. Liu Depament of Computer Science & Computer Engineering La Trobe University Bundoora Australia
This paper defines PT'-resolution which is the integration of PT-resolution and approximate reasoning. PT-resolution is a deduction method based on partial intersection and truncation. The integration enables the ... 详细信息
来源: 评论
Specifying the geometric machine visual language
Specifying the geometric machine visual language
收藏 引用
IEEE Symposium on Human Centric Computing Languages and Environments
作者: R.H.S. Reiser A.C.R. Costa G.P. Dimuro M.B. Cardoso Escola de Informática Universidade Católica de Pelotas Brazil
This paper summarizes an experiment in the formal specification of the visual language for the geometric machine model, denoted by GMVL. The specification follows the approach proposed in the GENGED project, of the T.... 详细信息
来源: 评论
Knowledge sharing in default reasoning based multi-agent systems
Knowledge sharing in default reasoning based multi-agent sys...
收藏 引用
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT)
作者: H. Rybinski D. Ryzko Institute of Computer Science Warsaw University of Technology Poland
This paper brings an idea of a multi-agent system, in which agents use logical programming for reasoning and interaction. To cope with changing environment agents use default rules and default reasoning, which enables... 详细信息
来源: 评论
Customising parallelism and caching for machine learning
Customising parallelism and caching for machine learning
收藏 引用
IEEE International Conference on Field-Programmable Technology (FPT)
作者: A. Fidjeland W. Luk Department of Computing Imperial College London UK
Inductive logic programming is an attractive and expressive paradigm for machine learning. A drawback of inductive logic programs is their demanding computational requirements. We present of FPGA-based multi-processor... 详细信息
来源: 评论