咨询与建议

限定检索结果

文献类型

  • 511 篇 期刊文献
  • 350 篇 会议
  • 11 篇 学位论文

馆藏范围

  • 872 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 824 篇 工学
    • 790 篇 计算机科学与技术...
    • 400 篇 软件工程
    • 57 篇 电气工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 407 篇 理学
    • 388 篇 数学
    • 11 篇 生物学
    • 9 篇 统计学(可授理学、...
    • 5 篇 科学技术史(分学科...
    • 2 篇 物理学
    • 2 篇 地球物理学
    • 2 篇 系统科学
    • 1 篇 地理学
  • 27 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 2 篇 公共管理
    • 2 篇 图书情报与档案管...
  • 14 篇 哲学
    • 8 篇 哲学
  • 10 篇 法学
    • 9 篇 法学
    • 1 篇 社会学
  • 7 篇 医学
    • 3 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 5 篇 教育学
    • 4 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 4 篇 农学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 872 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 24 篇 inductive logic ...
  • 23 篇 non-monotonic re...
  • 21 篇 stable models
  • 19 篇 stable model sem...
  • 17 篇 stream reasoning
  • 16 篇 aggregates
  • 16 篇 computational co...
  • 15 篇 strong equivalen...
  • 12 篇 theory
  • 11 篇 description logi...
  • 11 篇 forgetting
  • 11 篇 semantic web
  • 11 篇 machine learning

机构

  • 35 篇 univ potsdam pot...
  • 19 篇 univ calabria ar...
  • 17 篇 univ calabria de...
  • 15 篇 sabanci univ fac...
  • 14 篇 univ genoa dibri...
  • 14 篇 univ calabria de...
  • 12 篇 univ a coruna la...
  • 12 篇 univ genoa genoa
  • 11 篇 univ politecn ma...
  • 11 篇 texas tech univ ...
  • 11 篇 vienna univ tech...
  • 11 篇 vrije univ bruss...
  • 11 篇 new mexico state...
  • 10 篇 tu wien austria
  • 10 篇 univ calabria de...
  • 10 篇 vienna univ tech...
  • 10 篇 univ klagenfurt ...
  • 10 篇 univ texas austi...
  • 8 篇 macquarie univ d...
  • 8 篇 univ calabria co...

作者

  • 49 篇 schaub torsten
  • 44 篇 alviano mario
  • 43 篇 ricca francesco
  • 36 篇 dodaro carmine
  • 35 篇 cabalar pedro
  • 32 篇 eiter thomas
  • 29 篇 maratea marco
  • 28 篇 leone nicola
  • 28 篇 gebser martin
  • 27 篇 calimeri frances...
  • 24 篇 fandinno jorge
  • 23 篇 erdem esra
  • 22 篇 ianni giovambatt...
  • 20 篇 lifschitz vladim...
  • 20 篇 gupta gopal
  • 19 篇 zangari jessica
  • 19 篇 perri simona
  • 18 篇 balduccini marce...
  • 18 篇 lierler yuliya
  • 18 篇 faber wolfgang

语言

  • 849 篇 英文
  • 18 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
872 条 记 录,以下是601-610 订阅
排序:
Modular Logic programming: Full Compositionality and Conflict Handling for Practical Reasoning
Modular Logic Programming: Full Compositionality and Conflic...
收藏 引用
作者: Joao Manuel Gomes Moura NOVA University of Lisbon
学位级别:博士
With the recent development of a new ubiquitous nature of data and the profusity of available knowledge, there is nowadays the need to reason from multiple sources of often incomplete and uncertain knowledge. Our goal... 详细信息
来源: 评论
Disjunctive answer set solvers via templates
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第4期16卷 465-497页
作者: Brochenin, Remi Maratea, Marco Lierler, Yuliya Univ Genoa DIBRIS Viale F Causa 15 I-16145 Genoa Italy Univ Nebraska Dept Comp Sci 6001 Dodge St Omaha NE 68182 USA
answer set programming is a declarative programming paradigm oriented towards difficult combinatorial search problems. A fundamental task in answer set programming is to compute stable models, i.e., solutions of logic... 详细信息
来源: 评论
Information diffusion in a multi-social-network scenario: framework and ASP-based analysis
收藏 引用
KNOWLEDGE AND INFORMATION SYSTEMS 2016年 第3期48卷 619-648页
作者: Marra, Giuseppe Ursino, Domenico Ricca, Francesco Terracina, Giorgio Engn Tributi SpA Trento Italy Univ Mediterranea Reggio Calabria DIIES Domenico Ursino Via Graziella I-89122 Reggio Di Calabria Italy Univ Calabria DeMaCs Arcavacata Di Rende CS Italy
Information diffusion is a classical problem in social network analysis, which has been largely investigated with reference to single social networks. However, the current scenario is multi-social-network. Here, many ... 详细信息
来源: 评论
Data repair of inconsistent nonmonotonic description logic programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 第0期239卷 7-53页
作者: Eiter, Thomas Fink, Michael Stepanova, Dania Vienna Univ Technol Inst Informat Syst Vienna Austria
Combining Description Logic (DL) ontologies and nonmonotonic rules has gained increasing attention in the past decade, due to the growing range of applications of DLs. A well-known proposal for such a combination are ... 详细信息
来源: 评论
Using linear constraints for logic program termination analysis
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第3期16卷 353-377页
作者: Calautti, Marco Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Univ Calabria DIMES I-87036 Arcavacata Di Rende CS Italy
It is widely acknowledged that function symbols are an important feature in answer set programming, as they make modelling easier, increase the expressive power, and allow us to deal with infinite domains. The main is... 详细信息
来源: 评论
Query answering in resource-based answer set semantics
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 619-635页
作者: Costantini, Stefania Formisano, Andrea Univ Aquila DISIM I-67100 Laquila Italy Univ Perugia DMI GNCS INdAM I-06100 Perugia Italy
In recent work we defined resource-based answer set semantics, which is an extension to answer set semantics stemming from the study of its relationship with linear logic. In fact, the name of the new semantics comes ... 详细信息
来源: 评论
A systematic analysis of levels of integration between high-level task planning and low-level feasibility checks
收藏 引用
AI COMMUNICATIONS 2016年 第2期29卷 319-349页
作者: Erdem, Esra Patoglu, Volkan Schuller, Peter Sabanci Univ Comp Sci & Engn Fac Engn & Nat Sci Istanbul Turkey Sabanci Univ Fac Engn & Nat Sci Mechatron Engn Istanbul Turkey Marmara Univ Dept Comp Engn Istanbul Turkey
We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level feasibility checks to address hybrid planning problems in robotic applications. We identify four... 详细信息
来源: 评论
Domain expansion for ASP-programs with external sources
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 233卷 84-121页
作者: Eiter, Thomas Fink, Michael Krennwallner, Thomas Redl, Christoph Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
answer set programming (ASP) is a popular approach to declarative problem solving which for broader usability has been equipped with external source access. The latter may introduce new constants to the program (known... 详细信息
来源: 评论
Names are not good enough: Reasoning over taxonomic change in the Andropogon complex
收藏 引用
SEMANTIC WEB 2016年 第6期7卷 645-667页
作者: Franz, Nico M. Chen, Mingmin Kianmajd, Parisa Yu, Shizhuo Bowers, Shawn Weakley, Alan S. Ludascher, Bertram Arizona State Univ Sch Life Sci POB 874501 Tempe AZ 85287 USA Univ Calif Davis Dept Comp Sci 2063 Kemper Hall1 Shields Ave Davis CA 95616 USA Gonzaga Univ Dept Comp Sci 502 East Boone AveAD Box 26 Spokane WA 99258 USA Univ N Carolina Dept Biol Coker Hall120 South Rd Chapel Hill NC 27599 USA Univ Illinois Grad Sch Lib & Informat Sci 510 East Daniel St Champaign IL 61820 USA
We present a novel, logic-based solution to the challenge of reconciling the meanings of taxonomic names across multiple biological taxonomies. The challenge arises due to limitations inherent in using type-anchored t... 详细信息
来源: 评论
On abstract modular inference systems and solvers
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 236卷 65-89页
作者: Lierler, Yuliya Truszczynski, Miroslaw Univ Nebraska Dept Comp Sci Omaha NE 68182 USA Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Integrating diverse formalisms into modular knowledge representation systems offers increased expressivity, modeling convenience, and computational benefits. We introduce the concepts of abstract inference modules and... 详细信息
来源: 评论