咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
answer set programming with Resources
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2010年 第2期20卷 533-571页
作者: Costantini, Stefania Formisano, Andrea Univ Aquila Dipartimento Informat I-67010 Laquila Italy Univ Perugia Dipartimento Matemat & Informat I-06123 Perugia Italy
In this article, we propose an extension of answer set programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension RASP, standing for 'Resourced AS... 详细信息
来源: 评论
A Declarative Modular Framework for Representing and Applying Ethical Principles  17
A Declarative Modular Framework for Representing and Applyin...
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Fiona Berreby Gauvain Bourgne Jean-Gabriel Ganascia Sorbonne Universites UPMC CNRS UMR 7606 LIP6
This paper investigates the use of high-level action languages for designing ethical autonomous agents. It proposes a novel and modular logic-based framework for representing and reasoning over a variety of ethical th... 详细信息
来源: 评论
Design Technology for Fault-Free and Maximally-Parallel Wavelength-Routed Optical Networks-on-Chip  35
Design Technology for Fault-Free and Maximally-Parallel Wave...
收藏 引用
35th IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
作者: Peano, Andrea Ramini, Luca Gavanelli, Marco Nonato, Maddalena Bertozzi, Davide Univ Ferrara Via Saragat 1 I-44121 Ferrara Italy
The recent interest in emerging interconnect technologies is bringing the issue of a proper EDA support for them to the forefront, so to tackle the design complexity. A relevant case study is provided by wavelength-ro... 详细信息
来源: 评论
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 604-618页
作者: 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
收藏 引用
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... 详细信息
来源: 评论
Design Space Descriptions for Logical Generation of Content  8
Design Space Descriptions for Logical Generation of Content
收藏 引用
8th European Starting AI Researcher Symposium (STAIRS)
作者: Smith, Thomas Padget, Julian Vidler, Andrew Univ Bath Ctr Digital Entertainment Bath BA2 7AY Avon England Ninja Theory Ltd Cambridge England
This paper describes our research-in-progress into providing content-agnostic procedural content generation for computer games via answer set programming and a formal semantic description of the design space. Existing... 详细信息
来源: 评论
Stable reasoning
收藏 引用
Journal of Applied Non-Classical Logics 2017年 第3-4期27卷 238-254页
作者: Cabalar, Pedro Pearce, David Valverde, Agustín University of Corunna A Coruña Spain Universidad Politécnica de Madrid Madrid Spain Universidad de Málaga Málaga Spain
We give an account of stable reasoning, a recent and novel approach to problem solving from a formal, logical point of view. We describe the underlying logic of stable reasoning and illustrate how it is used to model ... 详细信息
来源: 评论