咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4691-4700 订阅
排序:
CTL model-checking over logics with non-classical negations
CTL model-checking over logics with non-classical negations
收藏 引用
33rd International Symposium on Multiple-Valued logic (ISMVL 2003)
作者: Chechik, M MacCaull, W Univ Toronto Dept Comp Sci Toronto ON M5S 2E4 Canada
In earlier work [91, we defined CTL model-checking over finite-valued logics with De Morgan negation. In this paper, we extend this work to logics with intuitionistic, Galois and minimal negations, calling the resulti... 详细信息
来源: 评论
Graduate mechatronics course: Final group projects
Graduate mechatronics course: Final group projects
收藏 引用
IEEE/ASME International Conference on Advanced Intelligent Mechatronics
作者: Ume, IC Kita, A Mi, B Georgia Inst Technol George W Woodruff Sch Mech Engn Atlanta GA 30332 USA
Final Group Projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics," in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop b... 详细信息
来源: 评论
Integrating ontology languages and answer set programming  14
Integrating ontology languages and answer set programming
收藏 引用
14th International Workshop on Database and Expert Systems Applications (DEXA 2003)
作者: Heymans, S Vermeir, D Free Univ Brussels Dept Comp Sci B-1050 Brussels Belgium
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols... 详细信息
来源: 评论
On deterministic computations in the extended Andorra model
收藏 引用
19th International Conference on logic programming
作者: Lopes, R Costa, VS Silva, F Univ Porto DCC FC P-4100 Oporto Portugal Univ Porto LIACC P-4100 Oporto Portugal Univ Fed Rio de Janeiro COPPE Sistemas Rio De Janeiro Brazil
logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that... 详细信息
来源: 评论
Embedded microcontroller implementation of a class of condition systems  35
Embedded microcontroller implementation of a class of condit...
收藏 引用
35th Southeastern Symposium on System Theory
作者: Gong, Y Holloway, LE Univ Kentucky Dept Elect & Comp Engn Lexington KY 40506 USA
This paper considers the problem of synthesizing systems modeled by condition systems into microcontrollers. Condition system, a discrete event system model, can be naturely programmed into microcontrollers. Directly ... 详细信息
来源: 评论
Implementation of a fuzzy logic controller on an FPGA using VHDL  22
Implementation of a fuzzy logic controller on an FPGA using ...
收藏 引用
22nd International Conference of the North-American-Fuzzy-Information-Processing-Society (NAFIPS)
作者: Singh, S Rattan, KS Wright State Univ Dept Elect Engn Dayton OH 45435 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Implementing RBAC policies
Implementing RBAC policies
收藏 引用
16th Annual Conference on Data and Applications Security
作者: Barker, S Douglas, P Fanning, T Kings Coll London London WC2R 2LS England
We show how role-based access control (RBAC) and temporal RBAC (TRBAC) policies may be formally represented and translated into PL/SQL code to implement practical access control policies to protect Oracle SQL database... 详细信息
来源: 评论
Computing preferred answer sets in answer set programming  1
收藏 引用
10th International Conference on logic for programming, Artificial Intelligence, and Reasoning (LPAR2003)
作者: Wakaki, T Inoue, K Sakama, C Nitta, K Shibaura Inst Technol Dept Elect Informat Syst Minuma Ku Saitama City Saitama 3378570 Japan Kobe Univ Dept Elect & Elect Engn Kobe Hyogo 6578501 Japan Wakayama Univ Ctr Informat Sci Wakayama 6408510 Japan Tokyo Inst Technol Dept Computat Intelligence & Syst Sci Midori Ku Yokohama Kanagawa 2268502 Japan
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. The declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotoni... 详细信息
来源: 评论
Relational information retrieval through Natural Language Analysis  14th
Relational information retrieval through Natural Language An...
收藏 引用
14th International Conference on Applications of Prolog
作者: Quintano, L Abreu, S Rodrigues, I Univ Evora Serv Computacao Evora Portugal Univ Evora Dept Informat Evora Portugal
Spurred by the development of Universidade de Evora's Integrated Information System (SIIUE) and on the authors' present research interests came the idea of a Natural Language Analysis System, which would provi... 详细信息
来源: 评论