咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是821-830 订阅
排序:
Experiences Running a Parallel answer set Solver on Blue Gene
Experiences Running a Parallel Answer Set Solver on Blue Gen...
收藏 引用
16th European Parallel-Virtual-Machine-and-Message-Passing-Interface-Users-Group Meeting (PVM/MPI)
作者: Schneidenbach, Lars Schnor, Bettina Gebser, Martin Kaminski, Roland Kaufmann, Benjamin Schaub, Torsten IBM Ireland Dublin Software Lab Dublin 15 Ireland Univ Potsdam Inst Informat D-14482 Potsdam Germany
This paper presents the concept of parallelisation of a solver for answer set programming (ASP). While there already exist some approaches to parallel ASP solving, there was a lack of a parallel version of the powerfu... 详细信息
来源: 评论
Inferring acceptable arguments with answer set programming
Inferring acceptable arguments with answer set programming
收藏 引用
6th Mexican International Conference on Computer Science (ENC 2005)
作者: Osorio, M Zepeda, C Nieves, JC Cortés, U Univ Las Amer Puebla CENTIA Puebla 72820 Mexico
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL... 详细信息
来源: 评论
Evaluating ASP and commercial solvers on the CSPLib
收藏 引用
CONSTRAINTS 2008年 第4期13卷 407-436页
作者: Mancini, Toni Micaletto, Davide Patrizi, Fabio Cadoli, Marco Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
This paper deals with four solvers for combinatorial problems: the commercial state-of-the-art solver ILOG OPLSTUDIO, and the research answer set programming (ASP) systems DLV, SMODELS and CMODELS. The first goal of t... 详细信息
来源: 评论
Maintenance goals of agents in a dynamic environment:: Formulation and policy construction
收藏 引用
ARTIFICIAL INTELLIGENCE 2008年 第12-13期172卷 1429-1469页
作者: Baral, Chitta Eiter, Thomas Bjareland, Marcus Nakamura, Mutsumi Arizona State Univ Dept Comp Sci & Engn Tempe AZ 85287 USA AstraZeneca R&D S-43183 Molndal Sweden Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of maintenance are not intuitive to char... 详细信息
来源: 评论
Experimenting with parallelism for the instantiation of ASP programs
收藏 引用
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC 2008年 第1-3期63卷 34-54页
作者: Calimeri, F. Perri, S. Ricca, F. Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy
In the last few years, microprocessor technologies have been moving towards multi-core architectures, in order to improve performance as well as reduce power consumption. This makes real Symmetric MultiProcessing (SMP... 详细信息
来源: 评论
Design and implementation of aggregate functions in the DLV system
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2008年 第5-6期8卷 545-580页
作者: Faber, Wolfgang Pfeifer, Gerald Leone, Nicola Dellarmi, Tina Ielpa, Giuseppe Univ Calabria Dept Math I-87036 Cosenza Italy
Disjunctive logic programming (DLP) is a very expressive formalism. It allows for expressing every property of finite structures that is decidable in the complexity class Sigma(P)(2) (=NPNP). Despite this high express... 详细信息
来源: 评论
Achieving compositionality of the stable model semantics for SMODELS programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2008年 第5-6期8卷 717-761页
作者: Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of SMODELS programs under the stable model semantics. The composition of SMODELS program modules is suitably limited by module conditi... 详细信息
来源: 评论
An ASP-based approach to dealing with agent perception failure
收藏 引用
AI COMMUNICATIONS 2008年 第1期21卷 49-69页
作者: Buccafurri, Francesco Caminiti, Gianluca Rosaci, Domenico Univ Mediterranea Reggio Calabria Fac Ingn DIMET Dept I-89122 Reggio Di Calabria Italy
The paper presents a new modality extending answer set programming in order to refine its capability of representing knowledge in case of possible perception failure. The aim of the proposal is mainly to present a new... 详细信息
来源: 评论
On the relation among answer set solvers
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2008年 第1-4期53卷 169-204页
作者: Giunchiglia, Enrico Leone, Nicola Maratea, Marco Univ Genoa STAR Lab DIST I-16145 Genoa Italy Univ Calabria Dept Math I-87030 Cosenza Italy
In this paper, we study the relation among answer set programming (ASP) systems from a computational point of view. We consider SMODELS, DLV, and CMODELS ASP systems based on stable model semantics, the first two bein... 详细信息
来源: 评论
Extended ASP Tableaux and rule redundancy in normal logic programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2008年 第5-6期8卷 691-716页
作者: Jarvisalo, Matti Oikarinen, Emilia Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
We introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in the work by Gebser and Schaub (Tableau calculi for answer set programming. In Procee... 详细信息
来源: 评论