咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是841-850 订阅
排序:
Computing preferred answer sets by meta-interpretation in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2003年 第4%2B5期3卷 463-498页
作者: Eiter, T Faber, W Leone, N Pfeifer, G Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Calabria Dept Math I-87030 Commenda Di Rende CS Italy Vienna Univ Technol Inst Informat Syst 184 2 A-1040 Vienna Austria
Most recently, answer set programming (ASP) has been attracting interest as a new paradigm for problem solving. An important aspect, for which several approaches have been presented, is the handling of preferences bet... 详细信息
来源: 评论
A semantic framework for preference handling in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2003年 第4-5期3卷 569-607页
作者: Schaub, T Wang, KW Univ Potsdam Inst Informat D-14415 Potsdam Germany Griffith Univ Sch Comp & Informat Technol Brisbane Qld 4111 Australia
We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint characterizations provide us with a unif... 详细信息
来源: 评论
Temporal phylogenetic networks and logic programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2006年 第0期6卷 539-558页
作者: Erdem, Esra Lifschitz, Vladimir Ringe, Don Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria Univ Texas Dept Comp Sci Austin TX 78712 USA Univ Penn Dept Linguist Philadelphia PA 19104 USA
The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their characteristics with each other when ... 详细信息
来源: 评论
Unfolding partiality and disjunctions in stable model semantics
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2006年 第1期7卷 1-37页
作者: Janhunen, Tomi Niemela, Ilkka Seipel, Dietmar Simons, Patrik You, Jia-Huai Aalto Univ FI-02015 Helsinki Finland Univ Wurzburg D-97074 Wurzburg Germany Neotide Oy FI-65200 Vaasa Finland Univ Alberta Edmonton AB T6G 2H1 Canada
This article studies an implementation methodology for partial and disjunctive stable models where partiality and disjunctions are unfolded from a logic program so that an implementation of stable models for normal (d... 详细信息
来源: 评论
Preferred answer sets for ordered logic programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2006年 第1-2期6卷 107-167页
作者: Van Nieuwenborgh, D Vermeir, D Vrije Univ Brussel Dept Comp Sci B-1050 Brussels Belgium
We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a "best" answer set. Within the context of inconsistent programs, it is natural to have a partial... 详细信息
来源: 评论
Conceptual logic programs
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 103-137页
作者: Heymans, Stijn Van Nieuwenborgh, Davy Vermeir, Dirk Univ Innsbruck Digital Enterprise Res Inst A-6020 Innsbruck Austria Vrije Univ Brussel Dept Comp Sci B-1050 Brussels Belgium
Open answer set programming (OASP) solves the lack of modularity in closed world answer set programming by allowing for the grounding of logic programs with an arbitrary non-empty countable superset of the program'... 详细信息
来源: 评论
Strong order equivalence
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 43-78页
作者: Faber, Wolfgang Konczak, Kathrin Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy Univ Potsdam Inst Informat D-14439 Potsdam Germany
Recently, strong equivalence for answer set programming has been studied intensively, and was shown to be beneficial for modular programming and automated optimization. In this paper we define the novel notion of stro... 详细信息
来源: 评论
Equilibrium logic
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 3-41页
作者: Pearce, David Univ Rey Juan Carlos Madrid Spain
Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned with answer set programming (ASP). In particular it provides a logical foundation for ASP as well as an extension of the basic sy... 详细信息
来源: 评论
A generalization of the Lin-Zhao theorem
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 79-101页
作者: Ferraris, Paolo Lee, Joohyung Lifschitz, Vladimir Univ Texas Austin TX 78712 USA Arizona State Univ Tempe AZ USA
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In this paper we simplify and generalize ... 详细信息
来源: 评论
answer set based design of knowledge systems
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2006年 第1-2期47卷 183-219页
作者: Balduccini, Marcello Gelfond, Michael Nogueira, Monica Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ N Carolina Kenan Flagler Business Sch Kenan Inst Private Enterprise Ctr Logist & Digital Strategy Chapel Hill NC 27599 USA
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, the domain model, the control knowledg... 详细信息
来源: 评论