咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是811-820 订阅
排序:
Modeling preferences and conditional preferences on resource consumption and production in ASP
收藏 引用
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC 2009年 第1期64卷 3-15页
作者: Costantini, Stefania Formisano, Andrea Univ Aquila Dipartimento Informat I-67010 Coppito Italy Univ Perugia Dipartimento Matemat & Informat I-06123 Perugia Italy
In this paper, we extend our previous work on Resourced ASP, or for short RASP, where we have introduced the possibility of defining and using resources in ASP. In RASP, one can define resources with their amounts, Wh... 详细信息
来源: 评论
Justifications for logic programs under answer set semantics
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2009年 第1期9卷 1-56页
作者: Pontelli, Enrico Son, Tran Cao Elkhatib, Omar New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
The paper introduces the notion of offline justification for answer set programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom with respect to a given answer set. The paper e... 详细信息
来源: 评论
Structure-based satisfiability checking Analyzing and harnessing the potential
收藏 引用
AI COMMUNICATIONS 2009年 第2期22卷 117-119页
作者: Jarvisalo, Matti Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
This note summarizes a dissertation that focuses on methods for solving structured real-world problems based on propositional satisfiability (SAT). The work contributes to the analysis and development of both complete... 详细信息
来源: 评论
OntoDLV: An ASP-based System for Enterprise Ontologies
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 643-670页
作者: Ricca, Francesco Gallucci, Lorenzo Schindlauer, Roman Dell'Armi, Tina Grasso, Giovanni Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy Univ Calabria Exeura SRL I-87036 Arcavacata Di Rende CS Italy
Enterprise/Corporate ontologies are widely adopted to conceptualize business enterprise information. In this area, the semantic peculiarities of answer set programming (ASP), like the Closed World Assumption (CWA) and... 详细信息
来源: 评论
A Translation-based Approach to the Verification of Modular Equivalence
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 591-613页
作者: Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
The goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program... 详细信息
来源: 评论
A Translation-based Approach to the Verification of Modular Equivalence
A Translation-based Approach to the Verification of Modular ...
收藏 引用
4th International Workshop on answer set programming
作者: Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
The goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program... 详细信息
来源: 评论
The Significance of Memory Costs in answer set Solver Implementation
The Significance of Memory Costs in Answer Set Solver Implem...
收藏 引用
4th International Workshop on answer set programming
作者: Brain, Martin De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Implementation costs linked to processor memory subsystems (cache miss costs, stalls due to bandwidth limits, etc.) have been shown to be a factor in the performance of a variety of declarative programming tools. This... 详细信息
来源: 评论
Reasoning about Actions in Fuzzy Environment
Reasoning about Actions in Fuzzy Environment
收藏 引用
Joint World Congress of International-Fuzzy-Systems-Association (IFSA)/European Conference of European-Society-for-Fuzzy-Logic-and-Technology (EUSFLAT)
作者: Saad, Emad Elmorsy, Shaimaa A. Gabr, Mahmoud M. H. Hassan, Yasser F. M. Gulf Univ Sci & Technol Dept Comp Sci W Mishref Kuwait Univ Alexandria Fac Sci Dept Math & Comp Sci Alexandria Egypt
Reasoning in the presence of imprecision and vagueness is inevitable in many real-world applications including those in robotics and intelligent agents. Although, reasoning about actions is a major component in these ... 详细信息
来源: 评论
The Significance of Memory Costs in answer set Solver Implementation
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 615-641页
作者: Brain, Martin De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Implementation costs linked to processor memory subsystems (cache miss costs, stalls due to bandwidth limits, etc.) have been shown to be a factor in the performance of a variety of declarative programming tools. This... 详细信息
来源: 评论
Merging Logic Programs under answer set Semantics
Merging Logic Programs under Answer Set Semantics
收藏 引用
25th International Conference on Logic programming (ICLP)
作者: Delgrande, James Schaub, Torsten Tompits, Hans Woltran, Stefan Simon Fraser Univ Burnaby BC V5A 1S6 Canada Univ Potsdam D-14482 Potsdam Germany Tech Univ Wien A-1040 Vienna Austria Griffith Univ Nathan Qld Australia
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P-1,...,P-n, the goal is to provide characterisations of the merging of these programs. Our formal t... 详细信息
来源: 评论