咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
Predicting Opponent's Production in Real-Time Strategy Games With answer set programming
收藏 引用
IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES 2016年 第1期8卷 89-94页
作者: Stanescu, Marius Certicky, Michal Univ Alberta GAMES Grp Edmonton AB T6G 2E8 Canada Czech Tech Univ Agent Technol Ctr Prague 16636 Czech Republic
The adversarial character of real-time strategy (RTS) games is one of the main sources of uncertainty within this domain. Since players lack exact knowledge about their opponent's actions, they need a reasonable r... 详细信息
来源: 评论
A core language for fuzzy answer set programming
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2012年 第4期53卷 660-692页
作者: 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
A number of different Fuzzy answer set programming (FASP) formalisms have been proposed in the last years, which all differ in the language extensions they support. In this paper we investigate the expressivity of the... 详细信息
来源: 评论
Linear-Time Temporal answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第1期23卷 2-56页
作者: Aguado, Felicidad Cabalar, Pedro Dieguez, Martin Perez, Gilberto Schaub, Torsten Schuhmann, Anna Vidal, Concepcion Univ A Coruna La Coruna Spain Univ Angers Angers France Univ Potsdam Potsdam Germany
In this survey, we present an overview on (Modal) Temporal Logic programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs is th... 详细信息
来源: 评论
Armin: Automatic Trance Music Composition using answer set programming
收藏 引用
FUNDAMENTA INFORMATICAE 2011年 第1期113卷 79-96页
作者: Everardo Perez, Flavio Omar Aguilera Ramirez, Fernando Antonio Univ Americas Puebla Dept Computac Elect & Mecantron Cholula Mexico Univ Americas Puebla Dept Actuaria Fis & Matemat Cholula Mexico
The Artificial Intelligence (AI) has taken a leading role in many activities which used to be made "by hand";one of them is the musical composition. Such task now has another alternative implementation, thro... 详细信息
来源: 评论
Fast Error Propagation Probability Estimates by answer set programming and Approximate Model Counting
收藏 引用
IEEE ACCESS 2022年 10卷 51814-51825页
作者: Breitenreiter, Anselm Andjelkovic, Marko Schrape, Oliver Krstic, Milos IHP Leibniz Inst Innovat Mikroelekt D-15236 Frankfurt Oder Germany Univ Potsdam Dept Design & Test Methodol D-14469 Potsdam Germany
We present a method employing answer set programming in combination with Approximate Model Counting for fast and accurate calculation of error propagation probabilities in digital circuits. By an efficient problem enc... 详细信息
来源: 评论
The Seventh answer set programming Competition: Design and Results
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第2期20卷 176-204页
作者: Gebser, Martin Maratea, Marco Ricca, Francesco Univ Potsdam Inst Comp Sci Potsdam Germany Univ Genoa DIBRIS Genoa Italy Univ Calabria Dipartimento Matemat & Informat Arcavacata Di Rende Italy
answer set programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchm... 详细信息
来源: 评论
Relating Two Dialects of answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 1006-1020页
作者: Harrison, Amelia Lifschitz, Vladimir Google Mountain View CA 94043 USA Univ Texas Austin Austin TX 78712 USA
The input language of the answer set solver clingo is based on the definition of a stable model proposed by Paolo Ferraris. The semantics of the ASP-Core language, developed by the ASP Standardization Working Group, u... 详细信息
来源: 评论
Modeling biological networks by action languages via answer set programming
收藏 引用
CONSTRAINTS 2008年 第1-2期13卷 21-65页
作者: Dworschak, Steve Grell, Susanne Nikiforova, Victoria J. Schaub, Torsten Selbig, Joachim Univ Potsdam Inst Informat D-14482 Potsdam Germany Max Planck Inst Mol Pflanzenphysiol D-14424 Potsdam Germany Univ Potsdam Inst Biol Biochem D-14439 Potsdam Germany Russian Acad Sci KA Timiryazev Plant Physiol Inst Moscow 127276 Russia
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks, building on previous work by Baral e... 详细信息
来源: 评论
Design and results of the Fifth answer set programming Competition
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 231卷 151-181页
作者: Calimeri, Francesco Gebser, Martin Maratea, Marco Ricca, Francesco Univ Calabria Dipartimento Matemat & Informat I-87030 Commenda Di Rende Italy Aalto Univ Helsinki Inst Informat Technol Dept Comp Sci Helsinki Finland Univ Genoa Dipartimento Informat Bioingn Robot & Ingn Sistem Genoa Italy
answer set programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and non-monotonic reasoning. Advances in ASP solving technology are cust... 详细信息
来源: 评论
Semantic-based construction of arguments: An answer set programming approach
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2015年 第Sep.期64卷 54-74页
作者: Guerrero, Esteban Nieves, Juan Carlos Lindgren, Helena Umea Univ Dept Comp Sci SE-90187 Umea Sweden
In this paper, we introduce an argumentation approach which takes an extended logic program as input and gives a set of arguments with the respective disagreements among them as output. We establish the notion of an a... 详细信息
来源: 评论