咨询与建议

限定检索结果

文献类型

  • 510 篇 期刊文献
  • 348 篇 会议
  • 11 篇 学位论文

馆藏范围

  • 869 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 823 篇 工学
    • 789 篇 计算机科学与技术...
    • 399 篇 软件工程
    • 57 篇 电气工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 406 篇 理学
    • 387 篇 数学
    • 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 篇 应用经济学

主题

  • 869 篇 answer set progr...
  • 77 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 31 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 23 篇 inductive logic ...
  • 23 篇 non-monotonic re...
  • 21 篇 stable models
  • 20 篇 stable model sem...
  • 16 篇 aggregates
  • 16 篇 computational co...
  • 16 篇 stream reasoning
  • 15 篇 strong equivalen...
  • 12 篇 theory
  • 11 篇 description logi...
  • 11 篇 forgetting
  • 11 篇 semantic web
  • 11 篇 declarative prog...

机构

  • 35 篇 univ potsdam pot...
  • 18 篇 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
  • 33 篇 eiter thomas
  • 29 篇 maratea marco
  • 28 篇 leone nicola
  • 28 篇 gebser martin
  • 26 篇 calimeri frances...
  • 24 篇 fandinno jorge
  • 23 篇 erdem esra
  • 21 篇 ianni giovambatt...
  • 20 篇 lifschitz vladim...
  • 20 篇 gupta gopal
  • 18 篇 balduccini marce...
  • 18 篇 lierler yuliya
  • 18 篇 zangari jessica
  • 18 篇 faber wolfgang
  • 18 篇 perri simona

语言

  • 846 篇 英文
  • 18 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
869 条 记 录,以下是141-150 订阅
排序:
An introduction to fuzzy answer set programming
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2007年 第3-4期50卷 363-388页
作者: Van Nieuwenborgh, Davy De Cock, Martine Vermeir, Dirk Vrije Univ Brussel VIB Dept Comp Sci B-1050 Brussels Belgium Univ Ghent Dept Appl Math & Comp Sci B-9000 Ghent Belgium
In this paper we show how the concepts of answer set programming and fuzzy logic can be successfully combined into the single framework of fuzzy answer set programming (FASP). The framework offers the best of both wor... 详细信息
来源: 评论
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第5期20卷 687-702页
作者: Baryannis, George Tachmazidis, Ilias Batsakis, Sotiris Antoniou, Grigoris Alviano, Mario Univ Huddersfield Huddersfield W Yorkshire England Univ Calabria Commenda Di Rende Italy
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been ... 详细信息
来源: 评论
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2012年 第4-5期12卷 775-791页
作者: Baral, Chitta Dzifcak, Juraj Gonzalez, Marcos A. Gottesman, Aaron Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA
Our broader goal is to automatically translate English sentences into formulas in appropriate knowledge representation languages as a step towards understanding and thus answering questions with respect to English tex... 详细信息
来源: 评论
Declarative AI design in Unity using answer set programming
Declarative AI design in Unity using Answer Set Programming
收藏 引用
IEEE Conference on Games (CoG)
作者: Angilica, Denise Ianni, Giovambattista Pacenza, Francesco Univ Calabria DeMaCS Calabria Italy
Declarative methods such as answer set programming show potential in cutting down development costs in commercial videogames and real-time applications in general. Many shortcomings, however, prevent their adoption, s... 详细信息
来源: 评论
Using answer set programming for Integrity Maintenance in a Smart Home System  8th
Using Answer Set Programming for Integrity Maintenance in a ...
收藏 引用
8th International Joint Conference on Rules and Reasoning (RuleML+RR)
作者: Wenzel, Mario Martin Luther Univ Halle Wittenberg Inst Informat Von Seckendorff Pl 1 D-06099 Halle Saale Germany
Smart homes are usually programmed using Event-Condition-Action rules, which is problematic for integrity maintenance, as the user needs to know which events may lead to an invalid state, and which actions - depending... 详细信息
来源: 评论
Achievements in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 961-973页
作者: Lifschitz, Vladimir Univ Texas Austin Austin TX 78712 USA
This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule o... 详细信息
来源: 评论
The power of non-ground rules in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 552-569页
作者: Bichler, Manuel Morak, Michael Woltran, Stefan TU Wien Vienna Austria
answer set programming (ASP) is a well-established logic programming language that offers an intuitive, declarative syntax for problem solving. In its traditional application, a fixed ASP program for a given problem i... 详细信息
来源: 评论
Modular answer set programming as a Formal Specification Language
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第5期20卷 767-782页
作者: Cabalar, Pedro Fandinno, Jorge Lierler, Yuliya Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany Univ Nebraska Omaha Omaha NE USA
In this paper, we study the problem of formal verification for answer set programming (ASP), namely, obtaining aformal proofshowing that the answer sets of a given (non-ground) logic programPcorrectly correspond to th... 详细信息
来源: 评论
Analyzing Security Scenarios Using Defence Trees and answer set programming
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2008年 第2期197卷 121-129页
作者: Bistarelli, Stefano Peretti, Pamela Trubitsyna, Irina Univ G DAnnunzio Dipartimento Sci Pescara Italy CNR Pisa Ist Informat Telemat Pisa Italy Univ Calabria DEIS Arcavacata Di Rende Italy
Defence trees are used to represent attack and defence strategies in security scenarios;the aim in such scenarios is to select the best set of countermeasures that are able to stop all the vulnerabilities. In order to... 详细信息
来源: 评论
A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and answer set programming
收藏 引用
FUNDAMENTA INFORMATICAE 2020年 第3-4期176卷 205-234页
作者: Su, Ezgi Iraz Istanbul Aydin Univ Fac Engn Comp Engn Program Istanbul Turkey
This paper presents a general strategy, bringing together some major types of nonmonotonic reasoning under a monotonic bimodal setting. Such formalisms are also of interest to the fields of knowledge representation an... 详细信息
来源: 评论