咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是581-590 订阅
排序:
Functional answer set programming
Functional answer set programming
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: Cabalar, Pedro Univ A Coruna Dept Comp Sci Corunna Spain
In this paper we propose an extension of answer set programming (ASP) to deal with (possibly partial) evaluable functions. To this aim, we start from the most general logical counterpart of ASP, Quantified Equilibrium... 详细信息
来源: 评论
Declarative Sequential Pattern Mining of Care Pathways  16th
Declarative Sequential Pattern Mining of Care Pathways
收藏 引用
16th Conference on Artificial Intelligence in Medicine (AIME)
作者: Guyet, Thomas Happe, Andre Dauxais, Yann AGROCAMPUS OUEST IRISA UMR6074 Rennes France CHRU Brest EA REPERES 7449 Paris France Rennes Univ 1 IRISA UMR6074 Rennes France
Sequential pattern mining algorithms are widely used to explore care pathways database, but they generate a deluge of patterns, mostly redundant or useless. Clinicians need tools to express complex mining queries in o... 详细信息
来源: 评论
Extending answer set Programs with Interpreted Functions as First-Class Citizens  19th
Extending Answer Set Programs with Interpreted Functions as ...
收藏 引用
19th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Redl, Christoph Tech Univ Wien Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
answer set programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs. Existing approaches towards integrating function terms into ASP can be organized in two classes: uninterprete... 详细信息
来源: 评论
Applying answer set programming to Points-to Analysis of Object-Oriented Language
Applying Answer Set Programming to Points-to Analysis of Obj...
收藏 引用
7th International Conference on Intelligent Computing (ICIC)
作者: Yang, Bo Zhang, Mingyi Zhang, Ying Guizhou Univ Coll Comp Sci & Informat Guiyang 550003 Peoples R China Guiyang Univ Dept Phys & Electron Informat Guiyang Peoples R China Guizhou Acad Sci Guiyang Peoples R China
Points-to information is essential in software engineering, including compiler optimization, instruction-level parallelism, program verification, and so on. The propagating of points-to information along paths of a pr... 详细信息
来源: 评论
A New Tree-Decomposition Based Algorithm for answer set programming
A New Tree-Decomposition Based Algorithm for Answer Set Prog...
收藏 引用
23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Morak, Michael Musliu, Nysret Pichler, Reinhard Ruemmele, Stefan Woltran, Stefan Vienna Univ Technol Inst Informat Syst Vienna Austria
A promising approach to tackle intractable problems is given by combining decomposition methods with dynamic programming algorithms. One such decomposition concept is tree decomposition. In this paper, we provide a ne... 详细信息
来源: 评论
answer set Programs with Queries over Subprograms  14th
Answer Set Programs with Queries over Subprograms
收藏 引用
14th International Conference on Logic programming and Nonmonotonic Reasoning (LPNMR)
作者: Redl, Christoph Tech Univ Wien Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
answer-set programming (ASP) is a declarative programming paradigm. In this paper we discuss two related restrictions and present a novel modeling technique to overcome them: (1) Meta-reasoning about the collection of... 详细信息
来源: 评论
External Computations and Interoperability in the New DLV Grounder  16th
External Computations and Interoperability in the New DLV Gr...
收藏 引用
16th International Conference of the Italian Association for Artificial Intelligence (AI*IA)
作者: Calimeri, Francesco Fusca, Davide Perri, Simona Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy DLVSystem Srl Arcavacata Di Rende Italy
In this paper we focus on some of the most recent advancements in I-DLV, the new intelligent grounder of DLV;the system has been endowed with means aimed at easing the interoperability and integration with external sy... 详细信息
来源: 评论
Application of answer set programming for Public Health Data Integration and Analysis
Application of Answer Set Programming for Public Health Data...
收藏 引用
IFIP WG 8.4/8.9 International Cross Domain Conference on Multidisciplinary Research and Practice for Business, Enterprise and Health Information Systems (ARES)
作者: Nogueira, Monica L. Greis, Noel P. Univ N Carolina Kenan Flagler Business Sch Ctr Logist & Digital Strategy Chapel Hill NC 27713 USA
Public health surveillance systems routinely process massive volumes of data to identify health adverse events affecting the general population. Surveillance and response to foodborne disease suffers from a number of ... 详细信息
来源: 评论
Automatic music composition using answer set programming
Automatic music composition using answer set programming
收藏 引用
24th International Conference on Logic programming (ICLP)
作者: Boenn, Georg Brain, Martin De Vos, Marina Ffitch, John Univ Glamorgan Cardiff Sch Creat & Cultural Ind Pontypridd CF37 1DL M Glam Wales Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Music composition used to be a pen and paper activity. These days music is often composed with the aid of computer software, even to the point where the computer composes parts of the score autonomously. The compositi... 详细信息
来源: 评论
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming
收藏 引用
BIOSYSTEMS 2016年 149卷 139-153页
作者: Ostrowski, M. Pauleve, L. Schaub, T. Siegel, A. Guziolowski, C. Univ Potsdam Potsdam Germany INRIA Rennes France Univ Paris Sud LRI UMR 8623 CNRS Orsay France Univ Rennes 1 CNRS IRISA UMR 6074 Rennes France CNRS IRCCyN UMR 6597 Ecole Cent Nantes Nantes France
Boolean networks (and more general logic models) are useful frameworks to study signal transduction across multiple pathways. Logic models can be learned from a prior knowledge network structure and multiplex phosphop... 详细信息
来源: 评论