咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是551-560 订阅
排序:
The PENGASP system: architecture, language and authoring tool
收藏 引用
LANGUAGE RESOURCES AND EVALUATION 2017年 第1期51卷 67-92页
作者: Guy, Stephen C. Schwitter, Rolf Macquarie Univ Dept Comp Sydney NSW 2109 Australia
In this article, we describe the architecture, the language and the authoring tool of the PENG(ASP) system. This system supports the writing of non-monotonic specifications in controlled natural language with the help... 详细信息
来源: 评论
Semantics and complexity of recursive aggregates in answer set programming
收藏 引用
ARTIFICIAL INTELLIGENCE 2011年 第1期175卷 278-298页
作者: Faber, Wolfgang Pfeifer, Gerald Leone, Nicola Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP). They strengthen the modelling power of ASP in terms of natural and concise problem representat... 详细信息
来源: 评论
Complex optimization in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第4-5期11卷 821-839页
作者: Gebser, Martin Kaminski, Roland Schaub, Torsten Univ Potsdam Inst Informat Potsdam Germany Simon Fraser Univ Burnaby BC V5A 1S6 Canada Griffith Univ Nathan Qld 4111 Australia
Preference handling and optimization are indispensable means for addressing nontrivial applications in answer set programming (ASP). However, their implementation becomes difficult whenever they bring about a signific... 详细信息
来源: 评论
Representing hybrid automata by action language modulo theories
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 924-941页
作者: Lee, Joohyung Loney, Nikhil Meng, Yunsong Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA Houzz Inc Palo Alto CA USA
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata ... 详细信息
来源: 评论
Ticker: A system for incremental ASP-based stream reasoning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 744-763页
作者: Beck, Harald Eiter, Thomas Folie, Christian Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
In complex reasoning tasks, as expressible by answer set programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously changing, the question arises how a gi... 详细信息
来源: 评论
Improving adherence to heart failure management guidelines via abductive reasoning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 764-779页
作者: Chen, Zhuo Salazar, Elmer Marple, Kyle Gupta, Gopal Tamil, Lakshman Cheeran, Daniel Das, Sandeep Amin, Alpesh Univ Texas Dallas Richardson TX 75083 USA Univ Texas Southwestern Med Ctr Dallas Dept Internal Med Div Cardiol Dallas TX USA
Management of chronic diseases, such as heart failure, is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that ... 详细信息
来源: 评论
Aggregated Fuzzy answer set programming
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2011年 第2期63卷 103-147页
作者: Janssen, Jeroen Schockaert, Steven Vermeir, Dirk De Cock, Martine Vrije Univ Brussel Dept Comp Sci B-1050 Brussels Belgium Univ Ghent Dept Appl Math & Comp Sci B-9000 Ghent Belgium
Fuzzy answer set programming (FASP) is an extension of answer set programming (ASP), based on fuzzy logic. It allows to encode continuous optimization problems in the same concise manner as ASP allows to model combina... 详细信息
来源: 评论
Automatic music composition using answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 397-427页
作者: Boenn, Georg Brain, Martin De Vos, Marina Ffitch, John Univ Glamorgan Cardiff Sch Creat & Cultural Ind Pontypridd CF37 1DL M Glam Wales Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Music composition used to be a pen and paper activity. These days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. The compositi... 详细信息
来源: 评论
Program completion in the input language of GRINGO
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 855-871页
作者: Harrison, Amelia Lifschitz, Vladimir Raju, Dhananjay Dept Comp Sci Austin TX 78712 USA
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that could serve as a specificatio... 详细信息
来源: 评论
Computing LPMLN using ASP and MLN solvers
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 942-960页
作者: Lee, Joohyung Talsania, Samidh Wang, Yi Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA
LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic ... 详细信息
来源: 评论