咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
ASPeRiX, a first-order forward chaining approach for answer set computing
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第3期17卷 266-310页
作者: Lefevre, Claire Beatrix, Christopher Stephan, Igor Garcia, Laurent Univ Angers LERIA 2 Blvd Lavoisier F-49045 Angers 01 France
The natural way to use answer set programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first-order logic program with default negation. In a prelimi... 详细信息
来源: 评论
plasp 3: Towards Effective ASP Planning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第3期19卷 477-504页
作者: Dimopoulos, Yannis Gebser, Martin Luehne, Patrick Romero, Javier Schaub, Torsten Univ Cyprus Nicosia Cyprus Univ Klagenfurt Klagenfurt Austria Graz Univ Technol Graz Austria Univ Potsdam Potsdam Germany INRIA Rennes Rennes France
We describe the new version of the Planning Domain Definition Language (PDDL)-to-answer set programming (ASP) translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning ... 详细信息
来源: 评论
Optimizing answer set Computation via Heuristic-Based Decomposition
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第4期19卷 603-628页
作者: Calimeri, Francesco Perri, Simona Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
answer set programming (ASP) is a purely declarative formalism developed in the field of logic programming and non-monotonic reasoning: computational problems are encoded by logic programs whose answer sets, correspon... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Reasoning with infinite stable models
收藏 引用
ARTIFICIAL INTELLIGENCE 2004年 第1期156卷 75-111页
作者: Bonatti, PA Univ Naples Federico II Dipartimento Sci Fisiche I-80126 Naples Italy
This paper illustrates extensively the theoretical properties, the implementation issues, and the programming style underlying finitary programs. They are a class of normal logic programs whose consequences under the ... 详细信息
来源: 评论
Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework
收藏 引用
MACHINE LEARNING 2022年 第4期111卷 1523-1549页
作者: Mitchener, Ludovico Tuckey, David Crosby, Matthew Russo, Alessandra Imperial Coll London Exhibit Rd London SW7 2BX England
In this paper we introduce Detect, Understand, Act (DUA), a neuro-symbolic reinforcement learning framework. The Detect component is composed of a traditional computer vision object detector and tracker. The Act compo... 详细信息
来源: 评论
Inductive learning of answer set programs for autonomous surgical task planning Application to a training task for surgeons
收藏 引用
MACHINE LEARNING 2021年 第7期110卷 1739-1763页
作者: Meli, Daniele Sridharan, Mohan Fiorini, Paolo Univ Verona Dept Comp Sci Str Grazie 15 I-37135 Verona Italy Univ Birmingham Sch Comp Sci Birmingham B15 2TT W Midlands England
The quality of robot-assisted surgery can be improved and the use of hospital resources can be optimized by enhancing autonomy and reliability in the robot's operation. Logic programming is a good choice for task ... 详细信息
来源: 评论
Dual-normal logic programs - the forgotten class
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2015年 第4-5期15卷 495-510页
作者: Fichte, Johannes K. Truszczynski, Miroslaw Woltran, Stefan TU Wien Vienna Austria Univ Potsdam Potsdam Germany Univ Kentucky Lexington KY USA
Disjunctive answer set programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretic... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Thirty years of Epistemic Specifications
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2022年 第6期22卷 1043-1083页
作者: Fandinno, Jorge Faber, Wolfgang Gelfond, Michael Univ Nebraska Omaha Omaha NE 68182 USA Univ Potsdam Potsdam Germany Alpen Adria Univ Klagenfurt Klagenfurt Austria Texas Tech Univ Lubbock TX 79409 USA
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it... 详细信息
来源: 评论