咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
Past-Present Temporal Programs over Finite Traces  18th
Past-Present Temporal Programs over Finite Traces
收藏 引用
18th European Conference on logics in Artificial Intelligence (JELIA)
作者: Cabalar, Pedro Dieguez, Martin Laferriere, Francois Schaub, Torsten Univ A Coruna La Coruna Spain Univ Angers Angers France Univ Potsdam Potsdam Germany
Extensions of Answer Set programming with language constructs from temporal logics, such as temporal equilibrium logic over finite traces (TELf), provide an expressive computational framework for modeling dynamic appl... 详细信息
来源: 评论
Sorting Strategies for Interactive Conflict Resolution in ASP  39
Sorting Strategies for Interactive Conflict Resolution in AS...
收藏 引用
39th International Conference on logic programming
作者: Thevapalan, Andre Kern-Isberner, Gabriele Tech Univ Dortmund Dortmund Germany
Answer set programs in practice are often subject to change. This can lead to inconsistencies in the modified program due to conflicts between rules which are the results of the derivation of strongly complementary li... 详细信息
来源: 评论
An R-Calculus for the logic programming
Advances in Intelligent Systems and Computing
收藏 引用
Advances in Intelligent Systems and Computing 2014年 255卷 863-870页
作者: Li, Wei Sui, Yuefei State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Beijing China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China
The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates are for the iterated revision (revision by a finite sequence of beliefs). Li (The Computer Journal 50:378–390, 2007)... 详细信息
来源: 评论
Towards declarative intent processing and conflict resolution in IBN  16
Towards declarative intent processing and conflict resolutio...
收藏 引用
16th IEEE/ACM International Conference on Utility and Cloud Computing (UCC) / 10th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT)
作者: Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
Intent-based networking aims at achieving automated network management by allowing users to express desired outcomes rather than manually configure network resources. In this poster paper, by means of an example, we i... 详细信息
来源: 评论
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving  14
Automated Completion of Statements and Proofs in Synthetic G...
收藏 引用
14th International Conference on Automated Deduction in Geometry (ADG)
作者: Gonzalez, Salwa Tabet Janicic, Predrag Narboux, Julien Univ Strasbourg UMR CNRS 7357 Pole API Bd Sebastien BrantBP 10413 F-67412 Illkirch Graffenstaden France Univ Belgrade Fac Math Dept Comp Sci Studentski Trg 16 Belgrade 11000 Serbia
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. ... 详细信息
来源: 评论
Natural Language Processing for Clinical Quality Measures  36
Natural Language Processing for Clinical Quality Measures
收藏 引用
36th IEEE International Symposium on Computer-Based Medical Systems (CBMS)
作者: Arias, Juan F. Marist Coll Sch Comp Sci & Math Poughkeepsie NY 12601 USA
Clinical Quality Measures (CQMs) have been developed for to assess the quality of the population health. Quality measures allow healthcare organizations to evaluate the status of the health of their patient population... 详细信息
来源: 评论
Agent-based target evaluation and fire doctrine: an aspect-oriented programming view
收藏 引用
JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2022年 第1期19卷 107-121页
作者: Hocaoglu, Mehmet Fatih Istanbul Medeniyet Univ Fac Engn & Nat Sci Dept Ind Engn D-100 Karayolu 98 TR-34000 Istanbul Turkey
Threat evaluation is a vital process for any defense system, and it consists of a series of calculation and evaluation based on the inferred capabilities and intents of the targets that aim to give damage to defended ... 详细信息
来源: 评论
(Re)Integration of logical English and s(CASP)  39
(Re)Integration of Logical English and s(CASP)
收藏 引用
39th International Conference on logic programming Workshops, ICLP Workshops 2023
作者: Sartor, Galileo Dávila, Jacinto Fidelangeli, Alessia Pisano, Giuseppe University of Turin Torino Italy Universidad de Los Andes Mérida Venezuela University of Bologna Bologna Italy
This paper describes the continuing use of logical English as a logic programming language that can be interpreted by the s(CASP) reasoner. It builds upon the previous work, and proceeds to add the possibility of expr... 详细信息
来源: 评论
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge  12
Querying Relational Databases with Speech-Recognition Driven...
收藏 引用
12th Symposium on Languages, Applications and Technologies, SLATE 2023
作者: Seipel, Dietmar Förster, Benjamin Liebl, Magnus Waleska, Marcel Abreu, Salvador Department of Computer Science Universität Würzburg Germany Nova–Lincs University of Évora Portugal
We are extending the keyword–based query interface DdQl for relational databases which is based on contextual background knowledge such as suitable join conditions and which was proposed in [10]. In the previous pape... 详细信息
来源: 评论
Online agent logic programming with oClingo
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8862卷 945-957页
作者: Cerexhe, Timothy Gebser, Martin Thielscher, Michael School of Computer Science and Engineering The University of New South Wales Sydney Australia Helsinki Institute for Information Technology HIIT Aalto University Department of Information and Computer Science Helsinki Finland University of Potsdam Germany
The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construct... 详细信息
来源: 评论