咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,169 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,366 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,702 篇 工学
    • 5,268 篇 计算机科学与技术...
    • 3,385 篇 软件工程
    • 580 篇 电气工程
    • 302 篇 控制科学与工程
    • 172 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,230 篇 数学
    • 118 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 582 篇 管理学
    • 332 篇 图书情报与档案管...
    • 282 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,370 篇 logic programmin...
  • 606 篇 computer science
  • 478 篇 computer languag...
  • 345 篇 application soft...
  • 303 篇 artificial intel...
  • 250 篇 programming prof...
  • 187 篇 hardware
  • 183 篇 computer archite...
  • 175 篇 programmable log...
  • 173 篇 control systems
  • 161 篇 logic design
  • 157 篇 concurrent compu...
  • 155 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 143 篇 software enginee...
  • 137 篇 functional progr...
  • 133 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

  • 80 篇 schaub torsten
  • 58 篇 ricca francesco
  • 54 篇 vicente henrique
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 gebser martin
  • 47 篇 woltran stefan
  • 42 篇 faber wolfgang
  • 38 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 36 篇 son tran cao
  • 30 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 29 篇 maratea marco
  • 28 篇 sakama chiaki
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi
  • 25 篇 proietti maurizi...

语言

  • 7,915 篇 英文
  • 403 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8370 条 记 录,以下是631-640 订阅
Ipopt: A Rule Optimization Tool for Answer Set programming
收藏 引用
FUNDAMENTA INFORMATICAE 2020年 第3-4期177卷 275-296页
作者: Bichler, Manuel Morak, Michael Woltran, Stefan TU Wien Vienna Austria Univ Klagenfurt Univ Str 65-67 A-9020 Klagenfurt Austria
State-of-the-art answer set programming (ASP) solvers rely on a program called a grounder to convert non-ground programs containing variables into variable-free, propositional programs. The size of this grounding depe... 详细信息
来源: 评论
A Mechanism for Reasoning over Defeasible Preferences in Arg2P  36
A Mechanism for Reasoning over Defeasible Preferences in Arg...
收藏 引用
36th Italian Conference on Computational logic, CILC 2021
作者: Pisano, Giuseppe Calegari, Roberta Omicini, Andrea Sartor, Giovanni ALMA-AI Interdepartmental Center of Human Centered AI Italy Alma Mater Studiorum-Università di Bologna Italy
This paper introduces argumentation over defeasible preferences in Arg2P, an argumentation framework based on logic programming. A computational mechanism is first implemented in Arg2P according to Dung's defeasib... 详细信息
来源: 评论
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set programming
收藏 引用
THEORY AND PRACTICE OF logic programming 2020年 第6期20卷 974-989页
作者: BOGATARKAN, A. Y. S. U. ERDEM, E. S. R. A. Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
The multi-agent path finding (MAPF) problem is a combinatorial search problem that aims at finding paths for multiple agents (e.g., robots) in an environment (e.g., an autonomous warehouse) such that no two agents col... 详细信息
来源: 评论
The joy of Probabilistic Answer Set programming: Semantics, complexity, expressivity, inference
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2020年 125卷 218-239页
作者: Cozman, Fabio Gagliardi Maua, Denis Deratani Univ Sao Paulo Ctr Artificial Intelligence C4AI Sao Paulo Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil Univ Sao Paulo Inst Matemat & Estat Sao Paulo Brazil
Probabilistic Answer Set programming (PASP) combines rules, facts, and independent probabilistic facts. We argue that a very useful modeling paradigm is obtained by adopting a particular semantics for PASP, where one ... 详细信息
来源: 评论
Towards categorical fuzzy logic programming  1
收藏 引用
10th International Workshop on Fuzzy logic and Applications, WILF 2013
作者: Eklund, Patrik Galán, M. Ángeles Helgesson, Robert Kortelainen, Jari Moreno, Ginés Vaźquez, Carlos Department of Computing Science Umeå University SE-90187 Umeå Sweden Department of Applied Mathematics University of Málaga E-29071 Málaga Spain Department of Electrical Engineering and Information Technology Mikkeli University of Applied Sciences FIN-50100 Mikkeli Finland Department of Computing Systems University of Castilla-La Mancha E-02071 Albacete Spain
In this paper we investigate the shift from two-valued to many-valued logic programming, including extensions involving functorial and monadic constructions for sentences building upon terms. We will show that assigni... 详细信息
来源: 评论
Query answering in object oriented knowledge bases in logic programming: Description and challenge for ASP  6
Query answering in object oriented knowledge bases in logic ...
收藏 引用
6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th International Conference on logic programming, ICLP 2013
作者: Chaudhri, Vinay K. Heymans, Stijn Wessel, Michael Son, Tran Cao Artificial Intelligence Center SRI International Menlo ParkCA94025 United States Computer Science Department New Mexico State University NM88003 United States
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB Bio 101 contains knowledge from a biology textbook, has been developed as par... 详细信息
来源: 评论
Probabilistic abductive logic programming using possible worlds
Probabilistic abductive logic programming using possible wor...
收藏 引用
28th Italian Conference on Computational logic, CILC 2013
作者: Rotella, F. Ferilli, S. Dipartimento di Informatica Università di Bari Italy Centro Interdipartimentale Per la Logica e Sue Applicazioni Università di Bari Italy
Reasoning in very complex contexts often requires purely deductive reasoning to be supported by a variety of techniques that can cope with incomplete data. Abductive inference allows to guess information that has not ... 详细信息
来源: 评论
Deep2s: Improving Aspect Extraction in Opinion Mining With Deep Semantic Representation
收藏 引用
IEEE ACCESS 2020年 8卷 104026-104038页
作者: Li, Xuelian Wang, Bi Li, Lixin Gao, Zhiqiang Liu, Qian Xu, Hancheng Fang, Lanting Southeast Univ Key Lab Comp Network & Informat Integrat Minist Educ Nanjing 210096 Peoples R China Southeast Univ Sch Comp Sci & Engn Nanjing 210096 Peoples R China Nanjing Univ Posts & Telecommun Sch Comp Sci Nanjing 210000 Peoples R China Natl Univ Def Technol Int Studies Coll Nanjing 210000 Peoples R China Southeast Univ Sch Cyber Sci & Engn Nanjing 210096 Peoples R China Purple Mt Labs Nanjing 210000 Peoples R China
Syntactical rule based approaches for aspect extraction, which are free from expensive manual annotation, are promising in practice. These approaches extract aspects mainly through the dependency relations in the surf... 详细信息
来源: 评论
Justifications for logic programming
Justifications for logic programming
收藏 引用
12th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2013
作者: Viegas Damásio, Carlos Analyti, Anastasia Antoniou, Grigoris Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2829-516 Caparica Portugal Institute of Computer Science FORTH-ICS Crete Greece Department of Informatics University of Huddersfield Huddersfield United Kingdom
Understanding why and how a given answer to a query is generated from a deductive or relational database is fundamental to obtain justifications, assess trust, and detect dependencies on contradictions. Propagating pr... 详细信息
来源: 评论
A portable and efficient implementation of coinductive logic programming
A portable and efficient implementation of coinductive logic...
收藏 引用
15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013
作者: Moura, Paulo CRACS INESC TEC Portugal
We describe the portable and efficient implementation of coinductive logic programming found in Logtalk, discussing its features and limitations. As Logtalk uses as a back-end compiler a compatible Prolog system, we a... 详细信息
来源: 评论