咨询与建议

限定检索结果

文献类型

  • 511 篇 期刊文献
  • 352 篇 会议
  • 11 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 826 篇 工学
    • 792 篇 计算机科学与技术...
    • 401 篇 软件工程
    • 59 篇 电气工程
    • 26 篇 信息与通信工程
    • 25 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 409 篇 理学
    • 390 篇 数学
    • 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 篇 应用经济学

主题

  • 874 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 25 篇 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
  • 44 篇 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 篇 英文
  • 20 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
874 条 记 录,以下是561-570 订阅
排序:
Equilibrium graphs
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2019年 第1-3期86卷 3-19页
作者: Cabalar, Pedro Perez, Carlos Perez, Gilberto Univ A Coruna Dept Comp Sci Coruna Spain
In this paper we present an extension of Peirce's existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The ASP System DLV: Advancements and Applications
收藏 引用
KUNSTLICHE INTELLIGENZ 2018年 第2-3期32卷 177-179页
作者: Adrian, Weronika T. Alviano, Mario Calimeri, Francesco Cuteri, Bernardo Dodaro, Carmine Faber, Wolfgang Fusca, Davide Leone, Nicola Manna, Marco Perri, Simona Ricca, Francesco Veltri, Pierfrancesco Zangari, Jessica Univ Calabria Arcavacata Di Rende Italy Univ Genoa Genoa Italy Univ Huddersfield Huddersfield W Yorkshire England DLVSystem Srl Arcavacata Di Rende Italy
We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.
来源: 评论
Lazy Grounding for Dynamic Configuration
收藏 引用
KUNSTLICHE INTELLIGENZ 2018年 第2-3期32卷 197-198页
作者: Eiter, Thomas Friedrich, Gerhard Taupe, Richard Weinzierl, Antonius TU Wien Vienna Austria Alpen Adria Univ Klagenfurt Klagenfurt Austria Siemens AG Osterreich Vienna Austria Aalto Univ Espoo Finland
State-of-the-art ASP systems are 2-phased: first they ground the input program and then they solve the variable-free ground program. This may increase the size of the input program even exponentially, making ASP infea... 详细信息
来源: 评论
Abstract answer set solvers with backjumping and learning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2011年 第2-3期11卷 135-169页
作者: Lierler, Yuliya Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Nieuwenhuis et al. (2006. Solving SAT and SAT modulo theories: From an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). Journal of the ACM 53(6), 937977 showed how to describe enhancements of the Davis-Pu... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Action language BC
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2020年 第4期30卷 899-922页
作者: Babb, Joseph Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85281 USA
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high-level notations of answer set programs structured to repr... 详细信息
来源: 评论
AFFLOG: A Logic Based Affective Tutoring System  16th
AFFLOG: A Logic Based Affective Tutoring System
收藏 引用
16th International Conference on Intelligent Tutoring Systems (ITS)
作者: Dougalis, Achilles Plexousakis, Dimitris Univ Crete Comp Sci Dept Iraklion Greece Fdn Res & Technol Hellas Inst Comp Sci Iraklion Greece
In this work, the Affective Logic (AFFLOG) Tutor is presented. An Affective Tutoring System that uses knowledge representation and reasoning tools such as answer set programming and the Event Calculus (EC) in order to... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Testing and debugging techniques for answer set solver development
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2010年 第4-6期10卷 741-758页
作者: Brummayer, Robert Jarvisalo, Matti Johannes Kepler Univ Linz Inst Formal Models & Verificat Linz Austria Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as un... 详细信息
来源: 评论