咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是631-640 订阅
排序:
The DLVHEX system for knowledge representation: recent advances (system description)
<i>The</i> DLVHEX <i>system for knowledge representation</i>...
收藏 引用
32nd International Conference on Logic programming (ICLP)
作者: Redl, Christoph Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
The DLVHEX system implements the hex-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most import... 详细信息
来源: 评论
Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers  39th
Influence of ASP Language Constructs on the Performance of S...
收藏 引用
39th Annual German Conference on Artificial Intelligence (KI)
作者: Taupe, Richard Teppan, Erich Alpen Adria Univ Klagenfurt Univ Str 65-67 A-9020 Klagenfurt Austria Siemens AG Osterreich Corp Technol Siemensstr 90 A-1210 Vienna Austria
answer set programming (ASP) under the stable model semantics supports various language constructs which can be used to express the same realities in syntactically different, but semantically equivalent ways. However,... 详细信息
来源: 评论
An Exercise in Declarative Modeling for Relational Query Mining  1
收藏 引用
25th International Conference on Inductive Logic programming (ILP)
作者: Paramonov, Sergey van Leeuwen, Matthijs Denecker, Marc De Raedt, Luc Katholieke Univ Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium
Motivated by the declarative modeling paradigm for data mining, we report on our experience in modeling and solving relational query and graph mining problems with the IDP system, a variation on the answer set program... 详细信息
来源: 评论
Adaptive Reasoning for Context-Sensitive Access Controls  40
Adaptive Reasoning for Context-Sensitive Access Controls
收藏 引用
40th Annual IEEE Computer Software and Applications Conference Symposium (COMPSAC) / Symposium on Software Engineering Technology and Applications (setA)
作者: Sartoli, Sara Namin, Akbar Siami Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA
many of the current policy-based management systems implement policies that depend on dynamic operational environment contexts. The existing formal-based approaches for enforcing security policies are mainly expressed... 详细信息
来源: 评论
An answer set programming encoding of Prioritized Removed sets Revision: application to GIS
收藏 引用
APPLIED INTELLIGENCE 2010年 第1期32卷 60-87页
作者: Benferhat, Salem Ben-Naim, Jonathan Papini, Odile Wuerbel, Eric Univ Artois CNRS CRIL F-62307 Lens France Univ Toulouse 3 CNRS IRIT F-31062 Toulouse 2 France Univ Mediterranee Dept Informat ESIL LSISCNRS F-13288 Marseille 09 France Univ Sud Toulon Var CNRS LSIS F-83957 La Garde France
Geographical information systems are ones of the most important application areas of belief revision. Recently, Wurbel and colleagues (Proceedings of the seventh international conference about principles of knowledge ... 详细信息
来源: 评论
Characterizing and extending answer set semantics using possibility theory
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2015年 第1期15卷 79-116页
作者: Bauters, Kim Schockaert, Steven De Cock, Martine Vermeir, Dirk Univ Ghent Dept Appl Math Comp Sci & Stat B-9000 Ghent Belgium Cardiff Univ Sch Comp Sci & Informat Cardiff CF24 3AA S Glam Wales Vrije Univ Brussel Dept Comp Sci B-1050 Brussels Belgium
answer set programming (ASP) is a popular framework for modelling combinatorial problems. However, ASP cannot be used easily for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP t... 详细信息
来源: 评论
Rapid Publication On equivalence of infinitary formulas under the stable model semantics
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2015年 第1期15卷 18-34页
作者: Harrison, Amelia Lifschitz, Vladimir Truszczynski, Miroslaw Univ Texas Austin Dept Comp Sci Austin TX 78712 USA Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
Propositional formulas that are equivalent in intuitionistic logic, or in its extension known as the logic of here-and-there, have the same stable models. We extend this theorem to propositional formulas with infinite... 详细信息
来源: 评论
Ordered completion for logic programs with aggregates
收藏 引用
ARTIFICIAL INTELLIGENCE 2015年 224卷 72-102页
作者: Asuncion, Vernon Chen, Yin Zhang, Yan Zhou, Yi Univ Western Sydney Sch Comp Engn & Math AIRG Penrith NSW 1797 Australia S China Normal Univ Dept Comp Sci Guangzhou Guangdong Peoples R China
We consider the problem of translating first-order answer set programs with aggregates into first-order sentences with the same type of aggregates. In particular, we show that, on finite structures, normal logic progr... 详细信息
来源: 评论
Learning Boolean logic models of signaling networks with ASP
收藏 引用
THEORETICAL COMPUTER SCIENCE 2015年 599卷 79-101页
作者: Videla, Santiago Guziolowski, Carito Eduati, Federica Thiele, Sven Gebser, Martin Nicolas, Jacques Saez-Rodriguez, Julio Schaub, Torsten Siegel, Anne IRISA CNRS UMR 6074 F-35042 Rennes France INRIA Dyliss Project F-35042 Rennes France Univ Potsdam Inst Informat D-14482 Potsdam Germany Ecole Cent Nantes IRCCyN UMR CNRS 6597 F-44321 Nantes France European Bioinformat Inst European Mol Biol Lab Hinxton CB10 1SD Cambs England
Boolean networks provide a simple yet powerful qualitative modeling approach in systems biology. However, manual identification of logic rules underlying the system being studied is in most cases out of reach. Therefo... 详细信息
来源: 评论
Fuzzy answer set computation via satisfiability modulo theories
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2015年 第4-5期15卷 588-603页
作者: Alviano, Mario Penaloza, Rafael Univ Calabria I-87030 Commenda Di Rende Italy Free Univ Bozen Bolzano Bolzano Italy
Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to ... 详细信息
来源: 评论