咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是611-620 订阅
排序:
Justifying answer sets using argumentation
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第1期16卷 59-110页
作者: Schulz, Claudia Toni, Francesca Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
An answer set is a plain set of literals which has no further structure that would explain why certain literals are part of it and why others are not. We show how argumentation theory can help to explain why a literal... 详细信息
来源: 评论
Semi-equilibrium models for paracoherent answer set programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 234卷 219-271页
作者: Amendola, Giovanni Eiter, Thomas Fink, Michael Leone, Nicola Moura, Joao Univ Calabria Dept Math & Comp Sci Via P BucciCubo 30b I-87036 Arcavacata Di Rende CS Italy Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria Univ Nova Lisboa Dept Informat NOVA LINCS P-2829516 Caparica Portugal
The answer set semantics may assign a logic program to model, due to logical contradiction or unstable negation, which is caused by cyclic dependency of an atom on its negation. While logical contradictions can be han... 详细信息
来源: 评论
First-Order Logic with Inductive Definitions for Model-Based Problem Solving
收藏 引用
AI MAGAZINE 2016年 第3期37卷 69-80页
作者: Bruynooghe, Maurice Denecker, Marc Truszczynski, Mirosiaw Katholieke Univ Leuven Dept Comp Sci Leuven Belgium Declarat Languages & Artificial Intelligence Res Leuven Belgium Katholieke Univ Leuven Comp Sci Leuven Belgium Res Grp Knowledge Representat & Reasoning Leuven Belgium Univ Kentucky Comp Sci Lexington KY 40506 USA
In answer set programming (ASP), programs can be viewed as specifications of finite Herbrand structures. Other logics can be (and, in fact, were) used toward the same end and can be taken as the basis of declarative p... 详细信息
来源: 评论
Constraints On Signaling Networks Logic Reveal Functional Subgraphs On Multiple Myeloma OMIC Data  17
Constraints On Signaling Networks Logic Reveal Functional Su...
收藏 引用
Proceedings of the 8th ACM International Conference on Bioinformatics, Computational Biology,and Health Informatics
作者: Bertrand Miannay Stéphane Minvielle Olivier Roux Florence Magrangeas Carito Guziolowski LS2N UMR 6004 Ecole Centrale de Nantes Nantes France CRCINA INSERM CNRS Université d'AngersUniversité de Nantes Nantes France
The integration of gene expression profiles (GEPs) and large-scale biological networks derived from Pathways Databases is a subject which is being widely explored. Existing methods are based on network distance measur... 详细信息
来源: 评论
A semantic model for action-based adaptive security  17
A semantic model for action-based adaptive security
收藏 引用
Proceedings of the Symposium on Applied Computing
作者: Sara Sartoli Akbar Siami Namin Texas Tech University
This paper presents a semantic model to represent topology-based security requirements, recommend measures to address any possible security violations, and thus make the underlying systems compliant with its security ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论