咨询与建议

限定检索结果

文献类型

  • 505 篇 期刊文献
  • 351 篇 会议
  • 10 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 818 篇 工学
    • 784 篇 计算机科学与技术...
    • 400 篇 软件工程
    • 58 篇 电气工程
    • 25 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 407 篇 理学
    • 388 篇 数学
    • 11 篇 生物学
    • 9 篇 统计学(可授理学、...
    • 5 篇 科学技术史(分学科...
    • 2 篇 物理学
    • 2 篇 地球物理学
    • 2 篇 系统科学
    • 1 篇 地理学
  • 27 篇 管理学
    • 23 篇 管理科学与工程(可...
    • 2 篇 公共管理
    • 2 篇 图书情报与档案管...
  • 14 篇 哲学
    • 8 篇 哲学
  • 8 篇 法学
    • 7 篇 法学
    • 1 篇 社会学
  • 6 篇 医学
    • 3 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 5 篇 教育学
    • 4 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 3 篇 农学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 866 篇 answer set progr...
  • 77 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 34 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 26 篇 equilibrium logi...
  • 26 篇 artificial intel...
  • 24 篇 inductive logic ...
  • 23 篇 non-monotonic re...
  • 21 篇 stable models
  • 17 篇 stream reasoning
  • 16 篇 aggregates
  • 16 篇 computational co...
  • 15 篇 strong equivalen...
  • 12 篇 stable model sem...
  • 12 篇 theory
  • 11 篇 description logi...
  • 11 篇 forgetting
  • 11 篇 semantic web
  • 11 篇 machine learning

机构

  • 33 篇 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...

作者

  • 47 篇 schaub torsten
  • 44 篇 alviano mario
  • 42 篇 ricca francesco
  • 36 篇 dodaro carmine
  • 35 篇 cabalar pedro
  • 32 篇 eiter thomas
  • 29 篇 maratea marco
  • 27 篇 gebser martin
  • 26 篇 leone nicola
  • 26 篇 calimeri frances...
  • 24 篇 fandinno jorge
  • 22 篇 erdem esra
  • 21 篇 ianni giovambatt...
  • 20 篇 gupta gopal
  • 19 篇 lifschitz vladim...
  • 19 篇 zangari jessica
  • 18 篇 balduccini marce...
  • 18 篇 lierler yuliya
  • 18 篇 faber wolfgang
  • 18 篇 perri simona

语言

  • 840 篇 英文
  • 18 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
866 条 记 录,以下是621-630 订阅
From answer set logic programming to circumscription via logic of GK
收藏 引用
ARTIFICIAL INTELLIGENCE 2011年 第1期175卷 264-277页
作者: Lin, Fangzhen Zhou, Yi Hong Kong Univ Sci & Technol Dept Comp Sci Kowloon Hong Kong Peoples R China Univ Western Sydney Sch Comp & Math Penrith NSW 1797 Australia
We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases bot... 详细信息
来源: 评论
The DLVHEX system for knowledge representation: recent advances (system description)
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 866-883页
作者: 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... 详细信息
来源: 评论
Towards Robust and Versatile Causal Discovery for Business Applications  16
Towards Robust and Versatile Causal Discovery for Business A...
收藏 引用
22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD)
作者: Borboudakis, Giorgos Tsamardinos, Ioannis Univ Crete Dept Comp Sci Gnosis Data Anal IKE Iraklion Greece
Causal discovery algorithms can induce some of the causal relations from the data, commonly in the form of a causal network such as a causal Bayesian network. Arguably however, all such algorithms lack far behind what... 详细信息
来源: 评论
ASP-Driven BDI-Planning Agents in Virtual 3D Environments  14th
ASP-Driven BDI-Planning Agents in Virtual 3D Environments
收藏 引用
14th German Conference on Multiagent System Technologies (MATES)
作者: Antakli, Andre Zinnikus, Ingo Klusch, Matthias German Res Ctr Artificial Intelligence DFKI Agents & Simulated Real Dept Saarland Univ Campus D-66123 Saarbrucken Germany
This paper introduces the agent platform HumanSim, a combination of the BDI-paradigm and answer set programming (ASP), to simulate entities in three-dimensional virtual environments. We show how ASP can be used to (i)... 详细信息
来源: 评论
Describing Legal Policies as Story Tropes in Normative Systems  29
Describing Legal Policies as Story Tropes in Normative Syste...
收藏 引用
29th Annual International Conference on Legal Knowledge and Information Systems (JURIX)
作者: Thompson, Matthew Padget, Julian Satoh, Ken Univ Bath Dept Comp Sci Bath Avon England Natl Inst Informat Principles Informat Res Div Tokyo Japan
TropICAL is a Domain Specific Language (DSL) for the description of abstract legal policies. Taking inspiration from narrative tropes, our DSL enables the creation of component "policies" that may be reused ... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论