咨询与建议

限定检索结果

文献类型

  • 511 篇 期刊文献
  • 352 篇 会议
  • 11 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 826 篇 工学
    • 792 篇 计算机科学与技术...
    • 401 篇 软件工程
    • 59 篇 电气工程
    • 26 篇 信息与通信工程
    • 25 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 409 篇 理学
    • 390 篇 数学
    • 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 篇 应用经济学

主题

  • 874 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 25 篇 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
  • 44 篇 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 篇 英文
  • 20 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
874 条 记 录,以下是581-590 订阅
排序:
A Case Study for Declarative Pattern Mining in Digital Forensics  7th
A Case Study for Declarative Pattern Mining in Digital Foren...
收藏 引用
7th International Joint Conference on Rules and Reasoning (RuleML+RR)
作者: Lisi, Francesca Alessandra Sterlicchio, Gioacchino Billard, David Univ Bari Aldo Moro DIB Bari Italy Univ Bari Aldo Moro CILA Bari Italy Polytech Univ Bari DMMM Bari Italy Univ Appl Sci Geneva Geneva Switzerland
In this short paper, we briefly describe the application of a declarative AI approach to a case study concerning the analysis of real-world phone recordings. In particular, we summarize the general results obtained fo... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Applying Incremental answer set Solving to Product Configuration  22
Applying Incremental Answer Set Solving to Product Configura...
收藏 引用
26th ACM International Systems and Software Product Line Conference (SPLC)
作者: Comploi-Taupe, Richard Francescutto, Giulia Schenner, Gottfried Siemens AG Osterreich Vienna Austria
In this paper, we apply incremental answer set solving to product configuration. Incremental answer set solving is a step-wise incremental approach to answer set programming (ASP). We demonstrate how to use this techn... 详细信息
来源: 评论
Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures  54
Polynomial Formal Verification of Multi-Valued Logic Circuit...
收藏 引用
54th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
作者: Nadeem, Mohamed Drechsler, Rolf Univ Bremen Bremen Germany DFKI Bremen Germany
Formal verification is essential for circuit correctness. Extending binary logic verification to Multi-Valued Logic (MVL) presents challenges due to encoding challenges. answer set programming (ASP) enables compact MV... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Rapid Prototyping of OpenCV Image Processing Applications using ASP
Rapid Prototyping of OpenCV Image Processing Applications us...
收藏 引用
22nd IEEE International Symposium on Rapid System Prototyping (RSP)
作者: Muehlbauer, Felix Grosshans, Michael Bobda, Christophe Univ Potsdam Chair Comp Engn Potsdam Germany Univ Arkansas CSCE Fayetteville AR 72701 USA
Image processing is becoming more and more present in our everyday life. With the requirements of miniaturization, low-power, performance in order to provide some intelligent processing directly into the camera, embed... 详细信息
来源: 评论
Computing Strongly Admissible sets  8
Computing Strongly Admissible Sets
收藏 引用
Biennial International Conference on Computational Models of Argument (COMMA)
作者: Dvorak, Wolfgang Wallner, Johannes P. TU Wien Vienna Austria
In this work we revisit computational aspects of strongly admissible semantics in Dung's abstract argumentation frameworks. First, we complement the existing complexity analysis by focusing on the problem of compu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP
Non-Automata Based Conformance Checking of Declarative Proce...
收藏 引用
21st International Conference on Business Process Management (BPM)
作者: Kuhlmann, Isabelle Corea, Carl Grant, John Univ Hagen Artificial Intelligence Grp Hagen Germany Univ Koblenz Inst IS Res Koblenz Germany Univ Maryland Dept Comp Sci College Pk MD USA Univ Maryland UMIACS College Pk MD USA
We investigate the use of answer set programming (ASP) for the problem of conformance checking of LTL-based Declarative Process Specifications. In particular, we propose ASP solutions that are independent of automata.... 详细信息
来源: 评论
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2014年 第6期24卷 1279-1311页
作者: Knorr, Matthias Slota, Martin Leite, Joao Homola, Martin Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Univ Nova Lisboa Dept Informat P-2829516 Caparica Portugal Comenius Univ Fac Math Phys & Informat Bratislava 84248 Slovakia
In open environments, agents need to reason with knowledge from various sources, represented in different languages. Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sou... 详细信息
来源: 评论