咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
SOSA c -Reasoner: An ASP inference engine for automatic IoT context knowledge generation
收藏 引用
SoftwareX 2024年 27卷
作者: Ana Rubio Rubén Cantarero David Villa Juan C. López Department of Information Technologies and Systems University of Castilla-La Mancha Faculty of Social Sciences and Information Technology Talavera de la Reina Spain Department of Information Technologies and Systems University of Castilla-La Mancha School of Computer Science Ciudad Real Spain
The SOSA c -Reasoner is a commonsense reasoning engine, implemented using answer set programming. It is designed to automatically generate IoT context knowledge, representing the capabilities of system devices, from a... 详细信息
来源: 评论
Technical Note Hybrid metabolic network completion
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第1期19卷 83-108页
作者: Frioux, Clemence Schaub, Torsten Schellhorn, Sebastian Siegel, Anne Wanko, Philipp Univ Rennes Inria CNRS IRISA F-35000 Rennes France Inria Rennes France Univ Potsdam Potsdam Germany
Metabolic networks play a crucial role in biology since they capture all chemical reactions in an organism. While there are networks of high quality for many model organisms, networks for less studied organisms are of... 详细信息
来源: 评论
Vicious circle principle, aggregates, and formation of sets in ASP based languages
收藏 引用
ARTIFICIAL INTELLIGENCE 2019年 275卷 28-77页
作者: Gelfond, Michael Zhang, Yuanlin Texas Tech Univ Lubbock TX 79409 USA
The paper introduces an extension of the original answer set Prolog (ASP) by several set constructs including aggregates, defined as functions on sets. The new language, called Alog allows creating sets based on the V... 详细信息
来源: 评论
Abstract Solvers for Computing Cautious Consequences of ASP programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 740-756页
作者: Amendola, Giovanni Dodaro, Carmine Maratea, Marco Univ Calabria Commenda Di Rende Italy Univ Genoa Genoa Italy
A Abstract solvers are a method to formally analyze algorithms that have been profitably used for describing, comparing and composing solving techniques in various fields such as Propositional Satisfiability (SAT), Qu... 详细信息
来源: 评论
Debugging Non-ground ASP Programs: Technique and Graphical Tools
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第2期19卷 290-316页
作者: Dodaro, Carmine Gasteiger, Philip Reale, Kristian Ricca, Francesco Schekotihin, Konstantin Univ Genoa DIBRIS Genoa Italy Alpen Adria Univ Klagenfurt Klagenfurt Austria Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
answer set programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, er... 详细信息
来源: 评论
Partial Compilation of ASP Programs
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 857-873页
作者: Cuteri, Bernardo Dodaro, Carmine Ricca, Francesco Schueller, Peter Univ Calabria DeMaCS Commenda Di Rende Italy TU Wien Knowledge Based Syst Grp Vienna Austria
answer set programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the ... 详细信息
来源: 评论
Inconsistency Proofs for ASP: The ASP-DRUPE Format
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 891-907页
作者: Alviano, Mario Dodaro, Carmine Fichte, Johannes K. Hecher, Markus Philipp, Tobias Rath, Jakob Univ Calabria Commenda Di Rende Italy Tech Univ Dresden Dresden Germany TU Wien Vienna Austria Secunet Secur Networks AG Essen Germany
answer set programming (ASP) solvers are highly-tuned and complex procedures that implicitly solve the consistency problem, i.e., deciding whether a logic program admits an answer set. Verifying whether a claimed answ... 详细信息
来源: 评论
Paracoherent answer set Semantics meets Argumentation Frameworks
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 688-704页
作者: Amendola, Giovanni Ricca, Francesco Univ Calabria Arcavacata Di Rende Italy
In the last years, abstract argumentation has met with great success in AI, since it has served to capture several non-monotonic logics for AI. Relations between argumentation framework (AF) semantics and logic progra... 详细信息
来源: 评论
Domain-Independent Cost-Optimal Planning in ASP
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 1124-1141页
作者: Spies, David You, Jia-Huai Hayward, Ryan Univ Alberta Edmonton AB Canada
We investigate the problem of cost-optimal planning in ASP. Current ASP planners can be trivially extended to a cost-optimal one by adding weak constraints, but only for a given makespan (number of steps). It is desir... 详细信息
来源: 评论
Founded (Auto) Epistemic Equilibrium Logic Satisfies Epistemic Splitting
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2019年 第5-6期19卷 671-687页
作者: Fandinno, Jorge Univ Toulouse IRIT CNRS Toulouse France
In a recent line of research, two familiar concepts from logic programming semantics (unfounded sets and splitting) were extrapolated to the case of epistemic logic programs. The property of epistemic splitting provid... 详细信息
来源: 评论