咨询与建议

限定检索结果

文献类型

  • 31 篇 期刊文献
  • 25 篇 会议
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 54 篇 工学
    • 54 篇 计算机科学与技术...
    • 32 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 控制科学与工程
  • 33 篇 理学
    • 33 篇 数学
    • 1 篇 系统科学
    • 1 篇 科学技术史(分学科...
    • 1 篇 统计学(可授理学、...
  • 3 篇 哲学
    • 1 篇 哲学
  • 1 篇 历史学
    • 1 篇 世界史

主题

  • 57 篇 answer-set progr...
  • 9 篇 knowledge repres...
  • 6 篇 program analysis
  • 5 篇 uniform equivale...
  • 4 篇 debugging
  • 4 篇 equilibrium logi...
  • 4 篇 abstract argumen...
  • 4 篇 relativized equi...
  • 4 篇 strong equivalen...
  • 3 篇 computational co...
  • 3 篇 argumentation
  • 3 篇 logic programmin...
  • 3 篇 implementation
  • 2 篇 causality
  • 2 篇 program equivale...
  • 2 篇 algorithms
  • 2 篇 constraints
  • 2 篇 visual question ...
  • 2 篇 nonmonotonic rea...
  • 2 篇 solving techniqu...

机构

  • 6 篇 vienna univ tech...
  • 4 篇 vienna univ tech...
  • 3 篇 vienna univ tech...
  • 3 篇 univ kentucky de...
  • 2 篇 siemens ag oster...
  • 2 篇 alpen adria univ...
  • 2 篇 univ calabria di...
  • 2 篇 univ cyprus dept...
  • 2 篇 ben gurion univ ...
  • 2 篇 tu wien vienna u...
  • 2 篇 vienna univ tech...
  • 1 篇 tech univ wien i...
  • 1 篇 univ vienna fac ...
  • 1 篇 univ genoa dibri...
  • 1 篇 univ oxford oxfo...
  • 1 篇 tech univ inst s...
  • 1 篇 univ politecn ca...
  • 1 篇 dipartimento di ...
  • 1 篇 vienna univ tech...
  • 1 篇 the university o...

作者

  • 13 篇 oetsch johannes
  • 13 篇 tompits hans
  • 10 篇 woltran stefan
  • 10 篇 puehrer joerg
  • 4 篇 eiter thomas
  • 4 篇 fink michael
  • 3 篇 gaggl sarah alic...
  • 3 篇 leite joao
  • 3 篇 su ezgi iraz
  • 3 篇 ricca francesco
  • 2 篇 taupe richard
  • 2 篇 bertossi leopold...
  • 2 篇 herzig andreas
  • 2 篇 wallner johannes...
  • 2 篇 geibinger tobias
  • 2 篇 truszczynski mir...
  • 2 篇 dvorak wolfgang
  • 2 篇 weinzierl antoni...
  • 2 篇 schwengerer mart...
  • 2 篇 friedrich gerhar...

语言

  • 56 篇 英文
  • 1 篇 其他
检索条件"主题词=Answer-set programming"
57 条 记 录,以下是31-40 订阅
排序:
Preferential Reasoning Based On Abstract Argumentation Semantics  5
Preferential Reasoning Based On Abstract Argumentation Seman...
收藏 引用
5th Conference on Computational Models of Argument (COMMA)
作者: Arieli, Ofer Reinstra, Tjitze Acad Coll Tel Aviv Sch Comp Sci Tel Aviv Israel Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust Luxembourg Luxembourg
We introduce a preferential-based setting for reasoning with different types of argumentation-based semantics, including those that are not necessarily conflict-free or admissible. The induced entailments are defined ... 详细信息
来源: 评论
Resource Allocation with answer-set programming  09
Resource Allocation with Answer-Set Programming
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Joao Leite Jose Alferes Belopeta Mito Universidade Nova de Lisboa
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of practical applications, many fundament... 详细信息
来源: 评论
Consistent query answering via ASP from different perspectives: Theory and practice
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第02期13卷 227-252页
作者: Manna, Marco Ricca, Francesco Terracina, Giorgio Univ Calabria Dept Math I-87036 Cosenza Italy
A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are gene... 详细信息
来源: 评论
Parallel instantiation of ASP programs: techniques and experiments
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第02期13卷 253-278页
作者: Perri, Simona Ricca, Francesco Sirianni, Marco Univ Calabria Dipartimento Matemat I-87030 Arcavacata Di Rende Italy
answer-set programming (ASP) is a powerful logic-based programming language, which is enjoying increasing interest within the scientific community and (very recently) in industry. The evaluation of answer-set Programs... 详细信息
来源: 评论
Early Recovery in Logic Program Updates
Early Recovery in Logic Program Updates
收藏 引用
12th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Slota, Martin Balaz, Martin Leite, Joao Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal Univ Nova Lisboa Dept Informat P-1200 Lisbon Portugal
We pinpoint the limitations of existing approaches to the treatment of strong and default negation in answer-set program updates and formulate the early recovery principle that plausibly constrains their interaction.
来源: 评论
Combining Equilibrium Logic and Dynamic Logic
Combining Equilibrium Logic and Dynamic Logic
收藏 引用
12th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR)
作者: del Cerro, Luis Farinas Herzig, Andreas Su, Ezgi Iraz Univ Toulouse CNRS IRIT Toulouse France
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. These atomic programs are combined by... 详细信息
来源: 评论
A common view on strong, uniform, and other notions of equivalence in answer-set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2008年 第2期8卷 217-234页
作者: Woltran, Stefan Vienna Univ Technol Inst Informat Syst 184 2 A-1040 Vienna Austria
Logic programming under the answer-set semantics nowadays deals with numerous different notions of program equivalence. This is due to the fact that equivalence for substitution (known as strong equivalence) and ordin... 详细信息
来源: 评论
Equivalences in answer-set programming by Countermodels in the Logic of Here-and-There
Equivalences in Answer-Set Programming by Countermodels in t...
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: Fink, Michael Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
In answer-set programming different notions of equivalence, Such as the prominent notions of strong and uniform equivalence, have been studied and characterized by various selections of models in the logic of Here-and... 详细信息
来源: 评论
Annotating answer-set programs in LANA
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2012年 第4-5期12卷 619-637页
作者: De Vos, Marina Kisa, Doga Gizem Oetsch, Johannes Puehrer, Joerg Tompits, Hans Univ Bath Dept Comp Bath BA2 7AY Avon England Sabanci Univ Fac Engn & Nat Sci TR-34956 Istanbul Turkey Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development supp... 详细信息
来源: 评论
Reasoning about conditional constraint specification problems and feature models
收藏 引用
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING 2011年 第2期25卷 163-174页
作者: Finkel, Raphael O'Sullivan, Barry Univ Kentucky Dept Comp Sci Lexington KY 40506 USA Univ Coll Cork Cork Constraint Computat Ctr Cork Ireland Univ Coll Cork Dept Comp Sci Cork Ireland
Product configuration is a major industrial application domain for constraint satisfaction techniques. Conditional constraint satisfaction problems (CCSPs) and feature models (FMs) have been developed to represent con... 详细信息
来源: 评论