咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是621-630 订阅
排序:
Iterative Learning of answer set Programs from Context Dependent Examples
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 834-848页
作者: Law, Mark Russo, Alessandra Broda, Krysia Imperial Coll Dept Comp London SW7 2AZ England
In recent years, several frameworks and systems have been proposed that extend Inductive Logic programming (ILP) to the answer set programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis tog... 详细信息
来源: 评论
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
A Physician Advisory System for Chronic Heart Failure manage...
收藏 引用
32nd International Conference on Logic programming (ICLP)
作者: Chen, Zhuo Marple, Kyle Salazar, Elmer Gupta, Gopal Tamil, Lakshman Univ Texas Dallas Richardson TX 75083 USA
Management of chronic diseases such as chronic heart failure (CHF) is a major problem in health care. A standard approach followed by the medical community is to have a committee of experts develop guidelines that all... 详细信息
来源: 评论
Iterative Learning of answer set Programs from Context Dependent Examples
Iterative Learning of Answer Set Programs from Context Depen...
收藏 引用
32nd International Conference on Logic programming (ICLP)
作者: Law, Mark Russo, Alessandra Broda, Krysia Imperial Coll Dept Comp London SW7 2AZ England
In recent years, several frameworks and systems have been proposed that extend Inductive Logic programming (ILP) to the answer set programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis tog... 详细信息
来源: 评论
ACSPChecker: An ASP based CSP Model Checking Tool  16
ACSPChecker: An ASP based CSP Model Checking Tool
收藏 引用
8th Asia-Pacific Symposium on Internetware (Internetware)
作者: Situ, Lingyun Wang, Yu Gao, Fengjuan Wang, Linzhang Bu, Lei Zhao, Jianhua Li, Xuandong Nanjing Univ State Key Lab Novel Comp Software Technol Nanjing 210023 Jiangsu Peoples R China Jiangsu Novel Software Technol & Ind Nanjing 210023 Jiangsu Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing 210023 Jiangsu Peoples R China
Existing CSP model checkers are incapable of verifying multiple properties concurrently in one run of a model checker, and when trying to alleviate state space explosion problem, most of reduction work are usually don... 详细信息
来源: 评论
Temporal Equilibrium Logic with past operators
收藏 引用
Journal of Applied Non-Classical Logics 2017年 第3-4期27卷 161-177页
作者: Aguado, Felicidad Cabalar, Pedro Diéguez, Martín Pérez, Gilberto Vidal, Concepción Department of Computer Science University of Corunna Corunna Spain IRIT CNRS University of Toulouse Toulouse France
In this paper, we study the introduction of modal past temporal operators in Temporal Equilibrium Logic (TEL), an hybrid formalism that mixes linear-time modalities and logic programs interpreted under stable models a... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论