咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
Logic-Based Encodings for Ricochet Robots  18th
Logic-Based Encodings for Ricochet Robots
收藏 引用
18th EPIA Conference on Artificial Intelligence (EPIA)
作者: Gouveia, Filipe Monteiro, Pedro T. Manquinho, Vasco Lynce, Ines Univ Lisbon Inst Super Tecn INESC ID Lisbon Portugal
Studying the performance of logic tools on solving a specific problem can bring new insights on the use of different paradigms. This paper provides an empirical evaluation of logic-based encodings for a well known boa... 详细信息
来源: 评论
Reasoning for Autonomous Agents in Dynamic Domains  9
Reasoning for Autonomous Agents in Dynamic Domains
收藏 引用
9th International Conference on Agents and Artificial Intelligence (ICAART)
作者: Opfer, Stephan Jakob, Stefan Geihs, Kurt Univ Kassel Distributed Syst Res Grp Wilhelmshoher Allee 73 Kassel Germany
In contrast to simple autonomous vacuum cleaners, multi-purpose robots that fetch a cup of coffee and clean up rooms require cognitive skills such as learning, planning, and reasoning. Especially reasoning in dynamic ... 详细信息
来源: 评论
Stable reasoning
收藏 引用
Journal of Applied Non-Classical Logics 2017年 第3-4期27卷 238-254页
作者: Cabalar, Pedro Pearce, David Valverde, Agustín University of Corunna A Coruña Spain Universidad Politécnica de Madrid Madrid Spain Universidad de Málaga Málaga Spain
We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model ... 详细信息
来源: 评论
Adjudication of Coreference Annotations via answer set Optimization  14th
Adjudication of Coreference Annotations via Answer Set Optim...
收藏 引用
14th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Schuller, Peter Marmara Univ Fac Engn Dept Comp Engn Istanbul Turkey
We describe the first automatic approach for merging coreference annotations obtained from multiple annotators into a single gold standard. Merging is subject to hard constraints (consistency) and optimization criteri... 详细信息
来源: 评论
Lifting Low-Level Workflow Changes Through User-Defined Graph-Rule-Based Patterns  17th
Lifting Low-Level Workflow Changes Through User-Defined Grap...
收藏 引用
17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) Held as Part of the 12th International Federated Conference on Distributed Computing Techniques (DisCoTec)
作者: Jahl, Alexander Baraki, Harun Tran, Huu Tam Kuppili, Ramaprasad Geihs, Kurt Univ Kassel Distributed Syst Grp Kassel Germany
In dynamic service-oriented architectures, services and service compositions underlie constant evolution that may not only affect the own workflow but dependent services too. Subsequently, required adaptations necessi... 详细信息
来源: 评论
Detecting inconsistencies in large biological networks with answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 323-360页
作者: Gebser, Martin Schaub, Torsten Thiele, Sven Veber, Philippe Univ Potsdam Inst Informat Potsdam Germany Inst Cochin Paris France
We introduce an approach to detecting inconsistencies in large biological networks by using answer set programming. To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reac... 详细信息
来源: 评论
Functional answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 203-233页
作者: Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain
In this paper we propose an extension of answer set programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium... 详细信息
来源: 评论
Detecting inconsistencies in large biological networks with answer set programming
Detecting inconsistencies in large biological networks with ...
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: Gebser, Martin Schaub, Torsten Thiele, Sven Veber, Philippe Univ Potsdam Inst Informat Potsdam Germany Inst Cochin Paris France
We introduce an approach to detecting inconsistencies in large biological networks by using answer set programming. To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reac... 详细信息
来源: 评论
Ticker: A system for incremental ASP-based stream reasoning
Ticker: A system for incremental ASP-based stream reasoning
收藏 引用
33rd International Conference on Logic programming colocated with the 23rd International Conference on Principles and Practice of Constraint programming / 20th International Conference on Theory and Applications of Satisfiability Testing
作者: Beck, Harald Eiter, Thomas Folie, Christian Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
In complex reasoning tasks, as expressible by answer set programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously changing, the question arises how a gi... 详细信息
来源: 评论
The ASP System DLV2  14th
The ASP System DLV2
收藏 引用
14th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Alviano, Mario Calimeri, Francesco Dodaro, Carmine Fusca, Davide Leone, Nicola Perri, Simona Ricca, Francesco Veltri, Pierfrancesco Zangari, Jessica Univ Calabria DeMaCS Arcavacata Di Rende Italy Univ Genoa DIBRIS Genoa Italy
We introduce dlv2, a new answer set programming (ASP) system. dlv2 combines I-dlv, a fully-compliant ASP-Core-2 grounder, with the well-assessed solver wasp. Input programs may be enriched by annotations and directive... 详细信息
来源: 评论