咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是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 ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Efficiently generating efficient generating extensions in prolog
Efficiently generating efficient generating extensions in pr...
收藏 引用
International Seminar on Partial Evaluation, 1996
作者: Jørgensen, Jesper Leuschel, Michael Department of Computer Science Celestijnenlaan 200A HeverleeB-3001 Belgium
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a speciaiiser, has been used with considerable success in partial evaluation of both functional and imperativ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Higher-Order and Modal logic as a Framework for Explanation-Based Generalization  6
Higher-Order and Modal Logic as a Framework for Explanation-...
收藏 引用
6th International Workshop on Machine Learning, ICML 1989
作者: Dietzen, Scott Pfenning, Frank School of Computer Science Carnegie Mellon University PittsburghPA15213-3890 United States
logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic is not well suited to application domains... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论