咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是571-580 订阅
排序:
Improving adherence to heart failure management guidelines via abductive reasoning
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 764-779页
作者: Chen, Zhuo Salazar, Elmer Marple, Kyle Gupta, Gopal Tamil, Lakshman Cheeran, Daniel Das, Sandeep Amin, Alpesh Univ Texas Dallas Richardson TX 75083 USA Univ Texas Southwestern Med Ctr Dallas Dept Internal Med Div Cardiol Dallas TX USA
Management of chronic diseases, such as heart failure, is a major public health problem. A standard approach to managing chronic diseases by medical community is to have a committee of experts develop guidelines that ... 详细信息
来源: 评论
ASP with non-herbrand partial functions: a language and system for practical use
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第4-5期13卷 547-561页
作者: Balduccini, Marcello Eastman Kodak Co Rochester NY 14650 USA
Dealing with domains involving substantial quantitative information in answer set programming (ASP) often results in cumbersome and inefficient encodings. Hybrid "CASP" languages combining ASP and Constraint... 详细信息
来源: 评论
On the stable model semantics for intensional functions
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第4-5期13卷 863-876页
作者: Bartholomew, Michael Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85069 USA
Several extensions of the stable model semantics are available to describe "intensional" functions-functions that can be described in terms of other functions and predicates by logic programs. Such functions... 详细信息
来源: 评论
Legal Conflict Detection in Interacting Legal Systems
Legal Conflict Detection in Interacting Legal Systems
收藏 引用
26th International Conference on Legal Knowledge and Information Systems (Jurix)
作者: Li, Tingting Balke, Tina De Vos, Marina Padget, Ajulian Satoh, Ken Univ Bath Dept Comp Sci Bath Avon England Univ Surrey Ctr Res Social Simulat Guildford Surrey England Natl Inst Informat Principles Informat Res Div Tokyo Japan
Acting under several jurisdictions at the same time is becoming the norm rather than the exception, certainly for companies but also (sometimes without knowing) for individuals. In these circumstances disparities amon... 详细信息
来源: 评论
The DLVHEX System
收藏 引用
KUNSTLICHE INTELLIGENZ 2018年 第2-3期32卷 187-189页
作者: Eiter, Thomas Germano, Stefano Ianni, Giovambattista Kaminski, Tobias Redl, Christoph Schueller, Peter Weinzierl, Antonius TU Wien Inst Log & Computat Favoritenstr 9-11 A-1040 Vienna Austria Univ Calabria UNICAL Dept Math & Comp Sci Via BucciCubo 30B I-87036 Arcavacata Di Rende CS Italy
HEX programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.
来源: 评论
An abstract view on optimizations in propositional frameworks
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2024年 第2期92卷 355-391页
作者: Lierler, Yuliya Univ Nebraska Omaha Dept Comp Sci 6001 Dodge St Omaha NE 68182 USA
Search/optimization problems are plentiful in scientific and engineering domains. Artificial intelligence has long contributed to the development of search algorithms and declarative programming languages geared towar... 详细信息
来源: 评论
On the Generalization of Learned Constraints for ASP Solving in Temporal Domains  6th
On the Generalization of Learned Constraints for ASP Solving...
收藏 引用
6th International Joint Conference on Rules and Reasoning (RuleML+RR)
作者: Romero, Javier Schaub, Torsten Strauch, Klaus Univ Potsdam Potsdam Germany
The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or via an action or temporal language. ... 详细信息
来源: 评论
Non-monotonic Spatial Reasoning for Safety Analysis in Construction  20
Non-monotonic Spatial Reasoning for Safety Analysis in Const...
收藏 引用
22nd International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Li, Beidi Teizer, Jochen Schultz, Carl Aarhus Univ Aarhus Denmark
We present a new approach based on spatial reasoning in answer set programming (ASP), and a prototype software tool, for automatically evaluating construction safety compliance of real-world Building Information Model... 详细信息
来源: 评论
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... 详细信息
来源: 评论