咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4721-4730 订阅
排序:
Terminyzer: An automatic non-termination analyzer for large logic programs
Terminyzer: An automatic non-termination analyzer for large ...
收藏 引用
15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013
作者: Liang, Senlin Kifer, Michael Department of Computer Science Stony Brook University United States
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination, an even more important task, in our opinion. Non-termination analysis examines program ... 详细信息
来源: 评论
Complexity-theoretic aspects of programming language design  2nd
Complexity-theoretic aspects of programming language design
收藏 引用
2nd International Conference on Principles and Practice of Constraint programming, CP 1996
作者: Mairson, Harry G. Brandeis University United States
We survey three of Paris Kanellakis's contributions to the complexity-theoretic analysis of constructs in the design of programming languages. These are (1) his result that first-order unification is complete for ... 详细信息
来源: 评论
Deriving a fast inverse of the generalized cantor n-tupling bijection
Deriving a fast inverse of the generalized cantor n-tupling ...
收藏 引用
28th International Conference on logic programming, ICLP 2012
作者: Tarau, Paul Dept. of Computer Science and Engineering University of North Texas Denton TX United States
We attack an interesting open problem (an efficient algorithm to invert the generalized Cantor N-tupling bijection) and solve it through a sequence of equivalence preserving transformations of logic programs, that tak... 详细信息
来源: 评论
Implementation of multiple specialization in logic programs  95
Implementation of multiple specialization in logic programs
收藏 引用
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
作者: Puebla, German Hermenegildo, Manuel Computer Science Department Technical University of Madrid (UPM)
We study the multiple specialization of logic programs based on abstract interpretation. This involves in general generating several versions of a program predicate for different uses of such predicate, making use of ... 详细信息
来源: 评论
Compilation of Tight ASP Programs  26
Compilation of Tight ASP Programs
收藏 引用
26th European Conference on Artificial Intelligence, ECAI 2023
作者: Dodaro, Carmine Mazzotta, Giuseppe Ricca, Francesco University of Calabria Italy
Answer Set programming (ASP) is a well-known AI formalism. Traditional ASP systems, that follow the 'ground&solve' approach, are intrinsically limited by the so-called grounding bottleneck. Basically, the ... 详细信息
来源: 评论
A rule-based calculus and processing of complex events
A rule-based calculus and processing of complex events
收藏 引用
6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, collocated with the 20th biennial European Conference on Artificial Intelligence (ECAI 2012)
作者: Bragaglia, Stefano Chesani, Federico Mello, Paola Sottara, Davide DEIS University of Bologna Viale Risorgimento n. 2 40136 - Bologna Italy
Rules are definitely among the main kinds of knowledge representation in Artificial Intelligence. In recent years, there has been much discussion about production rules and logic programming to understand whether the ... 详细信息
来源: 评论
A delta debugger for ILP query execution
A delta debugger for ILP query execution
收藏 引用
16th Workshop on logic-based methods in programming Environments, WLPE 2006
作者: Tronçon, Remko Janssens, Gerda Katholieke Universiteit Leuven Dept. of Computer Science Celestijnenlaan 200A B-3001 Leuven Belgium
Because query execution is the most crucial part of Induc- tive logic programming (ILP) algorithms, a lot of effort is invested in developing faster execution mechanisms. These execution mechanisms typically have a lo... 详细信息
来源: 评论
Computing and comparing semantics of programs in four-valued logics  24th
收藏 引用
24th International Symposium on Mathematical Foundations of Computer Science, MFCS 1999
作者: Loyer, Yann Spyratos, Nicolas Stamate, Daniel Laboratoire de Recherche en Informatique Université de Paris Sud UMR 8623 Bat. 490 Orsay91405 France
The different semantics that can be assigned to a logic program correspond to different assumptions made concerning the atoms whose logical values cannot be inferred from the rules. Thus, the well founded semantics co... 详细信息
来源: 评论
Compliance checking for usage-constrained credentials in trust negotiation systems
Compliance checking for usage-constrained credentials in tru...
收藏 引用
15th International Conference on Information Security, ISC 2012
作者: Hu, Jinwei Khan, Khaled M. Bai, Yun Zhang, Yan Department of Computer Science TU Darmstadt Germany Department of Computer Science and Engineering Qatar University Qatar School of Computing and Mathematics University of Western Sydney Australia
We propose an approach to placing usage-constraints on RT credentials;issuers specify constraints by designing non-deterministic finite automata. We show by examples that this approach can express constraints of pract... 详细信息
来源: 评论
Debugging of answer set programs using paracoherent reasoning  34
Debugging of answer set programs using paracoherent reasonin...
收藏 引用
34th Italian Conference on Computational logic, CILC 2019
作者: Cuteri, Bernardo Dodaro, Carmine Ricca, Francesco University of Calabria Italy University of Genoa Italy
Answer Set programming is a well-known declarative programming paradigm proposed in the area of logic programming and non-monotonic reasoning. Although ASP features a simple syntax and an intuitive semantics, errors a... 详细信息
来源: 评论