咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4791-4800 订阅
排序:
Optimizing the computation of heuristics for answer set programming systems
收藏 引用
6th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2001
作者: Faber, Wolfgang Leone, Nicola Pfeifer, Gerald Institut fur Informationssysteme TU Wien A-1040 Wien Austria Italy
Most SAT solvers and Answer Set programming (ASP) systems employ a backtracking search by repeatedly assuming the truth of literals. The choice of these branching literals is crucial for the performance of these syste... 详细信息
来源: 评论
Combining an improvement to PARMA trailing with trailing analysis  02
Combining an improvement to PARMA trailing with trailing ana...
收藏 引用
Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'02)
作者: Schrijvers, Tom Demoen, Bart Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium
Trailing of bindings in the PARMA variable representation is expensive in time and space. Two schemes are presented that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can... 详细信息
来源: 评论
A lower-bound for answer set solver computation
A lower-bound for answer set solver computation
收藏 引用
5th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2009
作者: Costantini, Stefania Provetti, Alessandro Dip. d'Informatica Universitía di l'Aquila Italy Dip. di Fisica Universitá di Messina Italy
We build upon recent work by Lierler that defines an abstract framework for describing the algorithm underlying many of the existing answer set solvers (for answer set programs, based upon the Answer Set Semantics), c... 详细信息
来源: 评论
Abduction in Argumentation Frameworks and Its Use in Debate Games
Abduction in Argumentation Frameworks and Its Use in Debate ...
收藏 引用
5th JSAI International Symposium on Artificial Intelligence (JSAI-isAI)
作者: Sakama, Chiaki Wakayama Univ Dept Comp & Commun Sci Sakaedani Wakayama 6408510 Japan
This paper studies an abduction problem in formal argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justifie... 详细信息
来源: 评论
Shortcut fusion for accumulating parameters and zip-like functions
Shortcut fusion for accumulating parameters and zip-like fun...
收藏 引用
Proceedings of the Seventh ACM SIGPLAN;International Conference on Functional programming (ICFP'02)
作者: Svenningsson, Josef Chalmers University of Technology Goteborg Sweden
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known to be difficult. We show that it can ... 详细信息
来源: 评论
Realization of a translator for Janus  20
Realization of a translator for Janus
收藏 引用
20th Annual Southeast Regional Conference, ACM-SE 1982
作者: Barrett, John H. Reilly, Kevin D. University of Alabama Birmingham United States
The Janus programming language, viewed as the assembler for an abstract machine with a tree-based memory system, is of theoretical and practical interest, e.g., Pascal compilers. Many widely accepted theoretical formu... 详细信息
来源: 评论
Implementing dynamic flowgraph methodology models with logic programs
Implementing dynamic flowgraph methodology models with logic...
收藏 引用
11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012
作者: Karanta, Ilkka VTT Espoo Finland
The dynamic flowgraph methodology (DFM) is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This paper demonstrates how to express dynamic flowgr... 详细信息
来源: 评论
Non-monotonic spatial reasoning with answer set programming modulo theories
Non-monotonic spatial reasoning with answer set programming ...
收藏 引用
作者: Waleȩga, Przemyslaw Andrzej Schultz, Carl Bhatt, Mehul University of Warsaw Warsaw Poland University of Münster Münster Germany University of Bremen Bremen Germany
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic informat... 详细信息
来源: 评论
Design of Controller for Fundamental Steer-by-wire system  1
Design of Controller for Fundamental Steer-by-wire system
收藏 引用
SAE 1st National Conference on Automotive Infotronics NCAI 2003
作者: Arasan, Santhosh T. Midhun, V.S. Subburaj, V. Jawahar, P.Mannar Department of Automobile Engineering Madras Institute of Technology Anna University Chennai India Department of Automobile Engineering MIT Anna University 100 Avvai Street VGP Shanti Nagar Pallikaranai Chennai601 302 India
An overview of today's automotive industry reminds us about an ever-increasing demand for passenger comfort, safety and zero emissions vehicles. Drivers are also seeking improvements in the handling stability at h... 详细信息
来源: 评论
A study of set-sharing analysis via cliques
A study of set-sharing analysis via cliques
收藏 引用
15th Workshop on logic-based methods in programming Environments, WLPE 2005
作者: Navas, Jorge Bueno, Francisco Hermenegildo, Manuel Depts. of Comp. Science and Electr. and Comp. Eng. Univ. of New Mexico Albuquerque NM United States Madrid Spain
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing represe... 详细信息
来源: 评论