咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Recongo: Bounded Combinatorial Reconfiguration with answer set programming  18th
Recongo: Bounded Combinatorial Reconfiguration with Answer S...
收藏 引用
18th European Conference on Logics in Artificial Intelligence (JELIA)
作者: Yamada, Yuya Banbara, Mutsunori Inoue, Katsumi Schaub, Torsten Nagoya Univ Furo ChoChikusa Ku Nagoya 4648601 Japan Natl Inst Informat HitotsubashiChiyoda Ku Tokyo 1018430 Japan Univ Potsdam Bahn 2 D-14476 Potsdam Germany
We develop an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on answer set programming. The general task is to study the solution spaces of source combin... 详细信息
来源: 评论
Declarative AI design in Unity using answer set programming
Declarative AI design in Unity using Answer Set Programming
收藏 引用
IEEE Conference on Games (CoG)
作者: Angilica, Denise Ianni, Giovambattista Pacenza, Francesco Univ Calabria DeMaCS Calabria Italy
Declarative methods such as answer set programming show potential in cutting down development costs in commercial videogames and real-time applications in general. Many shortcomings, however, prevent their adoption, s... 详细信息
来源: 评论
User-Defined Smart Contracts Using answer set programming  34th
User-Defined Smart Contracts Using Answer Set Programming
收藏 引用
34th Australasian Joint Conference on Artificial Intelligence (AI)
作者: Purnell, Kevin Schwitter, Rolf Macquarie Univ Sydney NSW Australia
We present a novel approach to the creation of smart contracts that takes an existing legal document and allows it to be incrementally elaborated into a tested smart contract by domain experts. Smart contracts are cur... 详细信息
来源: 评论
Deep Learning for the Generation of Heuristics in answer set programming: A Case Study of Graph Coloring  16th
Deep Learning for the Generation of Heuristics in Answer Set...
收藏 引用
16th International Conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Dodaro, Carmine Ilardi, Davide Oneto, Luca Ricca, Francesco Univ Calabria DeMaCS Arcavacata Di Rende Italy Univ Genoa DIBRIS Genoa Italy
answer set programming (ASP) is a well-established declarative AI formalism for knowledge representation and reasoning. ASP systems were successfully applied to both industrial and academic problems. Nonetheless, thei... 详细信息
来源: 评论
Modal Logic S5 in answer set programming with Lazy Creation of Worlds  16th
Modal Logic S5 in Answer Set Programming with Lazy Creation ...
收藏 引用
16th International Conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Alviano, Mario Batsakis, Sotiris Baryannis, George Univ Calabria Arcavacata Di Rende Italy Tech Univ Crete Iraklion Greece Univ Huddersfield Sch Comp & Engn Huddersfield W Yorkshire England
Modal logic S5 is used extensively for representing knowledge that includes statements about necessity and possibility, owing to its simplicity in handling chained modal operators. Significant research effort has been... 详细信息
来源: 评论
State Transition in Multi-agent Epistemic Domains Using answer set programming  16th
State Transition in Multi-agent Epistemic Domains Using Answ...
收藏 引用
16th International Conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Izmirlioglu, Yusuf Pham, Loc Son, Tran Cao Pontelli, Enrico New Mexico State Univ Las Cruces NM 88003 USA
In this paper we develop a state transition function for partially observable multi-agent epistemic domains and implement it using answer set programming (ASP). The transition function computes the next state upon an ... 详细信息
来源: 评论
Planning with Incomplete Information in Quantified answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2021年 第5期21卷 663-679页
作者: Fandinno, Jorge Laferriere, Francois Romero, Javier Schaub, Torsten Son, Tran Cao Omaha State Univ Omaha NE 68182 USA Univ Potsdam Potsdam Germany New Mexico State Univ Las Cruces NM 88003 USA
We present a general approach to planning with incomplete information in answer set programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptio... 详细信息
来源: 评论
A Compact answer set programming Encoding of Multi-Agent Pathfinding
收藏 引用
IEEE ACCESS 2021年 9卷 26886-26901页
作者: Gomez, Rodrigo N. Hernandez, Carlos Baier, Jorge A. Pontificia Univ Catolica Chile Dept Ciencia Computac Santiago 7820244 Chile Univ Andres Bello Dept Ciencias Ingn Santiago 7500000 Chile Inst Milenio Fundamentos Ios Datos Santiago 7820244 Chile
Multi-agent pathfinding (MAPF) is the problem of finding k non-colliding paths connecting k given initial positions with k given goal positions on a given map. In its sum-of-costs variant, the total number of moves an... 详细信息
来源: 评论
Towards Dynamic Consistency Checking in Goal-Directed Predicate answer set programming  24th
Towards Dynamic Consistency Checking in Goal-Directed Predi...
收藏 引用
24th International Conference on Practical Aspects of Declarative Languages, PADL 2022
作者: Arias, Joaquín Carro, Manuel Gupta, Gopal CETINIA Universidad Rey Juan Carlos Madrid Spain Universidad Politécnica de Madrid Madrid Spain IMDEA Software Institute Madrid Spain University of Texas at Dallas Richardson United States
Goal-directed evaluation of answer set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is o... 详细信息
来源: 评论
xASP: An Explanation Generation System for answer set programming  16th
xASP: An Explanation Generation System for Answer Set Progra...
收藏 引用
16th International Conference on Logic programming and Non-Monotonic Reasoning (LPNMR)
作者: Trieu, Ly Ly Son, Tran Cao Balduccini, Marcello New Mexico State Univ Las Cruces NM 88003 USA St Josephs Univ Philadelphia PA 19131 USA
In this paper, we present a system, called xASP, for generating explanations that explain why an atom belongs to (or does not belong to) an answer set of a given program. The system can generate all possible explanati... 详细信息
来源: 评论