咨询与建议

限定检索结果

文献类型

  • 6,084 篇 会议
  • 2,217 篇 期刊文献
  • 110 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,426 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

  • 5,742 篇 工学
    • 5,339 篇 计算机科学与技术...
    • 3,517 篇 软件工程
    • 566 篇 电气工程
    • 307 篇 控制科学与工程
    • 174 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 27 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,429 篇 理学
    • 1,263 篇 数学
    • 118 篇 统计学(可授理学、...
    • 78 篇 生物学
    • 68 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 603 篇 管理学
    • 334 篇 图书情报与档案管...
    • 300 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 66 篇 法学
    • 41 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 50 篇 医学
    • 36 篇 基础医学(可授医学...
    • 35 篇 临床医学
  • 49 篇 教育学
    • 44 篇 教育学
  • 37 篇 农学
    • 25 篇 作物学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,430 篇 logic programmin...
  • 604 篇 computer science
  • 473 篇 computer languag...
  • 339 篇 application soft...
  • 309 篇 artificial intel...
  • 244 篇 programming prof...
  • 177 篇 computer archite...
  • 173 篇 programmable log...
  • 170 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 145 篇 software enginee...
  • 144 篇 object oriented ...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 130 篇 semantics

机构

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

作者

  • 81 篇 schaub torsten
  • 57 篇 ricca francesco
  • 53 篇 vicente henrique
  • 50 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 woltran stefan
  • 49 篇 neves jose
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 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,049 篇 英文
  • 320 篇 其他
  • 42 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8430 条 记 录,以下是31-40 订阅
排序:
logic programming and Reasoning Puzzles  31
Logic Programming and Reasoning Puzzles
收藏 引用
31st Annual Conference of the European-Association-for-Education-in-Electrical-and-Information-Engineering (EAEEIE)
作者: Hynek, Josef Medkova, Jana Univ Hradec Kralove Fac Informat & Management Hradec Kralove Czech Republic
The aim of our paper is to show how various reasoning puzzles can be used to teach the ICT students the craft of programming. We have described several reasoning puzzles here together with various approaches to solve ... 详细信息
来源: 评论
logic programming for structural engineering: An introduction and overview
Logic programming for structural engineering: An introductio...
收藏 引用
American-Society-of-Civil-Engineers 13th Structures Congress
作者: Lakmazaheri, S CATHOLIC UNIV AMER DEPT CIVIL ENGNWASHINGTONDC 20064
This paper 1) provides an introduction to logic programming for structural engineering applications and 2) explicates the advantages of logic programming compared with conventional procedural programming. Mathematical... 详细信息
来源: 评论
logic programming to address issues of the semantic web  07
Logic programming to address issues of the semantic web
收藏 引用
IEEE/WIC/ACM International Conference on Web Intelligence
作者: Karali, Isambo Univ Athens Dept Informat & Telecommun GR-15784 Athens Greece
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set of technologies enabling an effective ... 详细信息
来源: 评论
logic programming in knowledge domains
Logic programming in knowledge domains
收藏 引用
22nd International Conference on logic programming
作者: Mantsivoda, Andrei Lipovchenko, Vladimir Malykh, Anton Irkutsk State Univ Irkutsk 664003 Russia
We propose an approach to combining logic programming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying... 详细信息
来源: 评论
Symmetric Structure in logic programming
收藏 引用
Journal of Computer Science & Technology 2004年 第6期19卷 803-811页
作者: Jin-ZhaoWu HaraldFecher ChengduInstituteofComputerApplications TheChineseAcademyofSciencesChengdu610041P.R.China FakultaetfuerMathematikundInformatik UniversitaetMannheimD72768131MannheimGermany
It is argued that some symmetric structure in logic programs could be taken into account when implementing semantics in logic programming. This may enhance the declarative ability or expressive power of the semantics.... 详细信息
来源: 评论
logic programming infrastructure for inferences on FrameNet  1
收藏 引用
9th European Conference on logics in Artificial Intelligence (JELIA 04)
作者: Baumgartner, P Burchardt, A MPI Saarbrucken Saarbrucken Germany Univ Saarland D-6600 Saarbrucken Germany
The growing size of electronically available text corpora like comparties' intranets or the WWW has made information access a hot topic within Computational Linguistics. Despite the success of statistical or keywo... 详细信息
来源: 评论
logic programming and Uncertainty
收藏 引用
5th International Conference on Scalable Uncertainty Management (SUM 2011)
作者: Baral, Chitta Arizona State Univ Fac Comp Sci & Engn Tempe AZ 85287 USA
In recent years logic programming based languages and features such as rules and non-monotonic constructs have become important in various knowledge representation paradigms. While the early logic programming language... 详细信息
来源: 评论
logic programming for software engineering: A second chance
收藏 引用
18th International Conference on logic programming
作者: Lau, KK Vanden Bossche, M Univ Manchester Dept Comp Sci Manchester M13 9PL Lancs England Mission Crit Dreve Richelle B-1410 Waterloo Belgium
Current trends in Software Engineering and developments in logic programming lead us to believe that there will be an opportunity for logic programming to make a breakthrough in Software Engineering. In this paper, we... 详细信息
来源: 评论
A sequential model of bargaining in logic programming
收藏 引用
Frontiers of Computer Science 2015年 第3期9卷 474-484页
作者: Wu CHEN Dongmo ZHANG Maonian WU College of Computer and Information Science Southwest University Chongqing 400715 China Center for the Study of Logic and Intelligence Southwest University Chongqing 400715 China School of Computing Engineering and Mathematics University of Western Sydney Penrith NSW 2751 Australia School of Information Engineering Huzhou University Huzhou 313000 China
This paper proposes a sequential model of bar- gaining specifying reasoning processes of an agent be- hind bargaining procedures. We encode agents' background knowledge, demands, and bargaining constraints in logic p... 详细信息
来源: 评论
logic programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)
Logic Programming with Graph Automorphism: Integrating nauty...
收藏 引用
32nd International Conference on logic programming (ICLP)
作者: Frank, Michael Codish, Michael Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel
This paper presents the pl-nauty library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that i... 详细信息
来源: 评论