咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 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
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 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,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是4851-4860 订阅
排序:
SMT-based constraint answer set solver EZSMT (system description)  32
SMT-based constraint answer set solver EZSMT (system descrip...
收藏 引用
32nd International Conference on logic programming, ICLP 2016
作者: Susman, Benjamin Lierler, Yuliya University of Nebraska at Omaha Dept. of Computer Science OmahaNE United States
Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. Recently, the formal link between this research area and satisfiability modulo the... 详细信息
来源: 评论
MANCaLog: A logic for multi-attribute network cascades
MANCaLog: A logic for multi-attribute network cascades
收藏 引用
12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013
作者: Shakarian, Paulo Simari, Gerardo I. Schroeder, Robert Network Science Center Dept. of Electrical Engineering and Computer Science U.S. Military Academy West Point NY 10996 United States Dept. of Computer Science University of Oxford Wolfson Building Parks Road Oxford 0X1 3QD United Kingdom CORE Lab. Defense Analysis Dept. Naval Postgraduate School Monterey CA 93943 United States
来源: 评论
Using ASP with recent extensions for causal explanations  3
Using ASP with recent extensions for causal explanations
收藏 引用
3rd Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on logic programming, ICLP 2010
作者: Moinard, Yves INRIA Bretagne Atlantique IRISA Campus de Beaulieu Rennes Cedex35042 France
We examine the practicality for a user of using Answer Set programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We... 详细信息
来源: 评论
Enhanced sharing analysis techniques: A comprehensive evaluation
Enhanced sharing analysis techniques: A comprehensive evalua...
收藏 引用
Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'00)
作者: Bagnara, Roberto Zaffanella, Enea Hill, Patricia M. Department of Mathematics University of Parma Parma Italy School of Computer Studies University of Leeds Leeds United Kingdom
Sharing, a domain due to D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of techniques, such as the standard integration of S... 详细信息
来源: 评论
Rule extraction from a neural network with segregated numeric and categorical input
Rule extraction from a neural network with segregated numeri...
收藏 引用
Proceedings of the Eighth IASTED International Conference on Atificial Intelligence and Soft Computing
作者: Brouwer, Roelof K. Department of Computing Science University College of the Cariboo Kamloops BC V2C 5 N3 Canada
The data on which a MLP (multi-layer perception) is to be trained to approximate a continuous function may include inputs that are categorical rather than only numeric or quantitative. However an MLP with connection m... 详细信息
来源: 评论
A logic of agent programs
A logic of agent programs
收藏 引用
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
作者: Alechina, N. Dastani, M. Logan, B.S. Meyer, J.-J.Ch. School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom Deparment of Information and Computing Sciences Universiteit Utrecht 3584CH Utrecht Netherlands
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cognitive agents with beliefs, goals and ... 详细信息
来源: 评论
Establish coherence in logic programs modelling expert knowledge via argumentation
Establish coherence in logic programs modelling expert knowl...
收藏 引用
2021 International Conference on logic programming Workshops, ICLP Workshops 2021
作者: Thevapalan, Andre Heyninck, Jesse Kern-Isberner, Gabriele Technische Universität Dortmund Germany University of Cape Town and CAIR South Africa
When modelling expert knowledge, default negation is very useful, but might lead to there being no stable models. Detecting the exact causes of the incoherence in the logic program manually can become quite cumbersome... 详细信息
来源: 评论
Type analysis of logic programs in the presence of type definitions  95
Type analysis of logic programs in the presence of type defi...
收藏 引用
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
作者: Lu, Lunjin School of Computer Science The University of Birmingham Edgbaston Birmingham B15 2TT U.K.
This paper presents an abstract domain and an abstract unification function for type an al:ysis of logic programs with type definitions. Type information is inferred together with sharing and aliasing information. Ali... 详细信息
来源: 评论
Matching typed and untyped readability (Extended abstract)
Matching typed and untyped readability (Extended abstract)
收藏 引用
Workshop on Domains IV
作者: Longley, John Laboratory for the Foundations of Computer Science JCMB The. King's Buildings May field Road Edinburgh EH9 3JZ United Kingdom
Realizability interpretations of logics are given by saying what it means for computational objects of some kind to realize, logical formulae. The computational objects in question might be drawn from an untyped unive... 详细信息
来源: 评论
Exploiting the sources of parallelism in logic programs
Exploiting the sources of parallelism in logic programs
收藏 引用
Proceedings of the 2nd International Symposium on Autonomous Decentralized Systems
作者: Nour, Mohamed Hegazi, Nadia Electronics Research Inst Cairo Egypt
To achieve efficient and good performance of logic programs a proposed parallel execution model based on MUSE which was implemented by SICS of Sweden has been developed and implemented. This model is an amalgamation o... 详细信息
来源: 评论