咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4851-4860 订阅
排序:
Constraint operations for CLP(FT)
Constraint operations for CLP(FT)
收藏 引用
logic programming - Proceedings of the 8th International Conference
作者: Smith, Donald A. Brandeis Univ Waltham United States
This report discusses the definition and implementation of constraint operations for CLP(FT), Prolog with universally quantified disequality constraints on finite trees. As a follow-up to [SH90], where we defined seve... 详细信息
来源: 评论
Argumentation-based answer set justification  11
Argumentation-based answer set justification
收藏 引用
11th International Symposium on logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013
作者: Schulz, Claudia Sergot, Marek Toni, Francesca Department of Computing Imperial College London United Kingdom
We suggest a method for justifying why a literal is or is notcontained in the answer set of a logic program. This methodmakes use of argumentation theory, more precisely of stableASPIC+ extensions. We describe a way t... 详细信息
来源: 评论
A tool to check the non-floundering logic programs and goals  1st
收藏 引用
1st International Workshop on programming Languages Implementation and logic programming, PLILP 1988
作者: Barbuti, Roberto Martelli, Maurizio Dipartimento di Informatica Corso Italia 40 Pisa56100 Italy Cnuce-Cnr Via S. Maria 36 Pisa56100 Italy
A complete implementation of the negation as failure rule in a logic programming system requires that only ground negative literals are selected during the evaluation. Obviously there is the possibility to have only n... 详细信息
来源: 评论
Authoring environment for shapeshifting screen media productions
Authoring environment for shapeshifting screen media product...
收藏 引用
3rd Artificial Intelligence and Interactive Digital Entertainment Conference, AIIDE 2007
作者: Ursu, Marian F. Cook, Jonathan J. Zsombori, Vilmos Kegel, Ian Stevens, Tim Mayer, Harald Hausenblas, Michael Department of Computing Narrative and Interactive Media Group University of London Goldsmiths SE14 6NW United Kingdom Future Content Group BT Adastral Park Ipswich IP5 3RE United Kingdom Joanneum Research Institute of Information Systems Graz Austria
We define ShapeShifting programmes as interactive and reconfigurable moving image productions that adapt their content, on the fly, to suit the preferences of the viewers or engagers. They are automatically edited at ... 详细信息
来源: 评论
Petri net semantics for logic programs with negation
Petri net semantics for logic programs with negation
收藏 引用
Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
作者: Shimura, Teruhiro Lobo, Jorge Murata, Tadao Univ of Illinois at Chicago Chicago United States
An extended Petri net is used to model function-free logic programs with negation, i.e., normal logic programs. In this model, because of the presence of inhibitor arcs, the arbitrary applications of firing rules may ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The brisk machine: A simplified STG machine  9th
The brisk machine: A simplified STG machine
收藏 引用
9th International Workshop on Implementation of Functional Languages, IFL 1997
作者: Holyer, Ian Spiliopoulou, Eleni Department of Computer Science University of Bristol Merchants Venturers Building Woodland Road BristolBS8 1UB United Kingdom
This work presents the Brisk Machine, a machine model for the implementation of functional languages. It is especially designed to be flexible and dynamic, so that it can support a uniform and efficient implementation... 详细信息
来源: 评论