咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4691-4700 订阅
排序:
Generating sentences using ProfGlot  4th
收藏 引用
4th European Workshop on Natural Language Generation, EWNLG 1993
作者: Dik, Simon C. Kahrel, Peter Department for General Linguistics University of Amsterdam Spuistraat 210 Amsterdam1012 VT Netherlands
ProfGlot is the Prolog implementation of Functional Grammar as described in Dik (1989). In this paper we will present the generator module of the system: how the lexicon is organized, how underlying clause structures ... 详细信息
来源: 评论
Detecting and revising misclassiflcations using ILP
收藏 引用
8th International Conference on Discovery Science, DS 2005
作者: Yokoyama, Masaki Matsui, Tohgoroh Ohwada, Hayato Department of Industrial Administration Faculty of Science and Technology Tokyo University of Science 2641 Yamazaki Noda-shi Chiba 278-8510 Japan
This paper proposes a method for detecting misclassifications of a classification rule and then revising them. Given a rule and a set of examples, the method divides misclassifications by the rule into miscovered exam... 详细信息
来源: 评论
Non-Markovian Agent Evolution with EVOLP
Non-Markovian Agent Evolution with EVOLP
收藏 引用
programming Multi-Agent Systems 2008
作者: Alferes, José J. Gabaldon, Alfredo Leite, João CENTRIA Universidade Nova de Lisboa Portugal
logic programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (facts) as well as intentional knowledg... 详细信息
来源: 评论
Refining the basic constraint propagation algorithm
Refining the basic constraint propagation algorithm
收藏 引用
17th International Joint Conference on Artificial Intelligence, IJCAI 2001
作者: Bessière, Christian Régin, Jean-Charles 161 rue Ada 34392 Montpellier Cedex 5 France ILOG 1681 route des Dolines 06560 Valbonne France
Propagating constraints is the main feature of any constraint solver. This is thus of prime importance to manage constraint propagation as efficiently as possible, justifying the use of the best algorithms. But the ea... 详细信息
来源: 评论
Solving the Stable Roommates Problem using Incoherent Answer Set Programs
Solving the Stable Roommates Problem using Incoherent Answer...
收藏 引用
2018 RiCeRcA Workshop, RiCeRcA 2018
作者: Amendola, Giovanni Department of Mathematics and Computer Science University of Calabria Italy
Answer Set programming (ASP) has become an established logic-based programming paradigm with successful applications. In this paper, through the study of a direct and natural modeling of the Stable Marriage Problem (S... 详细信息
来源: 评论
ILP through propositionalization and stochastic k-term DNF learning
ILP through propositionalization and stochastic k-term DNF l...
收藏 引用
16th International Conference of Inductive logic programming, ILP 2006
作者: Paes, Aline Železný, Filip Zaverucha, Gerson Page, David Srinivasan, Ashwin Dept. of Cybernetics School of Electrical Engineering Czech Institute of Technology Prague Czech Republic Dept. of Biostatistics and Medical Informatics Dept. of Computer Sciences University of Wisconsin Dept. of CSE Centre for Health Informatics University of New South Wales Sydney Australia
One promising family of search strategies to alleviate runtime and storage requirements of ILP systems is that of stochastic local search methods, which have been successfully applied to hard propositional tasks such ... 详细信息
来源: 评论
Multidimensional text analysis for eRulemaking  06
Multidimensional text analysis for eRulemaking
收藏 引用
7th Annual International Conference on Digital Government Research, Dg.o 2006
作者: Kwon, Namhee Shulman, Stuart W. Hovy, Eduard USC Information Sciences Institute 4676 Admiralty Way Marina del Rey CA 90292 University of Pittsburgh 121 University Place Pittsburgh PA 15260
To support rule-writers, we are developing techniques to automatically analyze large number of public comments on proposed regulations. A document is analyzed in various ways including argument structure, topics, and ... 详细信息
来源: 评论
Analysis of learning curves for weighted constraint-based tutoring systems
Analysis of learning curves for weighted constraint-based tu...
收藏 引用
IADIS International Conference on Cognition and Exploratory Learning in the Digital Age, CELDA 2010
作者: Le, Nguyen-Thinh Pinkwart, Niels Clausthal University of Technology Department of Informatics Germany
Weighted constraints have been proven a useful means to enhance the quality of error diagnosis, e.g., in the domain of natural language parsing. In this paper, we propose an heuristic approach using constraint weights... 详细信息
来源: 评论
Probabilistic termination of CHRiSM programs
Probabilistic termination of CHRiSM programs
收藏 引用
21st International Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2011
作者: Sneyers, Jon De Schreye, Danny Dept. of Computer Science K.U. Leuven Belgium
Termination analysis has received considerable attention in logic programming for several decades. In recent years, probabilistic extensions of logic programming languages have become increasingly important. Languages... 详细信息
来源: 评论
Information-relational semantics of the fifth system  5
Information-relational semantics of the fifth system
收藏 引用
5th International Workshop on Probabilistic logic programming, PLP 2018
作者: Franco, Anthony Di DFKO Consulting Greece
This describes work in progress on the semantics of Fifth, a declarative programming language which obtains e ciency without relying on domain-specific assumptions by means of an adaptive evaluation strategy. The adap... 详细信息
来源: 评论