咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是821-830 订阅
排序:
ASP-Based Encoding Model of Architecture Synthesis for Smart Cameras in Distributed Networks
收藏 引用
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 2015年 第2期20卷 27-27页
作者: Yonga, Franck Mefenza, Michael Bobda, Christophe Univ Arkansas Dept Comp Sci & Comp Engn Fayetteville AR 72701 USA
A synthesis approach based on answer set programming (ASP) for heterogeneous system-on-chips to be used in distributed camera networks is presented. In such networks, the tight resource limitations represent a major c... 详细信息
来源: 评论
Expressiveness of Logic Programs under the General Stable Model Semantics
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2017年 第2期18卷 9-9页
作者: Zhang, Heng Zhang, Yan Tianjin Univ Sch Comp Software Tianjin 300072 Peoples R China Western Sydney Univ Sch Comp Engn & Math Locked Bag 1797 Penrith NSW 2751 Australia Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100190 Peoples R China
Stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This article focuses on th... 详细信息
来源: 评论
Combining neural and symbolic approaches to solve the Picasso problem: A first step
收藏 引用
DISPLAYS 2022年 74卷
作者: Gliozzi, Valentina Pozzato, Gian Luca Valese, Alberto Univ Torino Dipartimento Informat Cso Svizzera 185 I-10149 Turin Italy
In this work we create a bridge between Convolutional Neural Networks and answer set programming in order to tackle the known Picasso Problem in the automated detection of images. The basic idea is to first exploit th... 详细信息
来源: 评论
Commonsense visual sensemaking for autonomous driving-On generalised neurosymbolic online abduction integrating vision and semantics
收藏 引用
ARTIFICIAL INTELLIGENCE 2021年 299卷 103522-103522页
作者: Suchan, Jakob Bhatt, Mehul Varadarajan, Srikrishna Univ Bremen Bremen Germany Orebro Univ Orebro Sweden Cognit Vis CoDesign Lab EU Stockholm Sweden
We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking in the backdrop of autonomous driving. A general neurosymbolic method for online visual sensemak... 详细信息
来源: 评论
ASP and subset minimality: Enumeration, cautious reasoning and MUSes
收藏 引用
ARTIFICIAL INTELLIGENCE 2023年 第1期320卷
作者: Alviano, Mario Dodaro, Carmine Fiorentino, Salvatore Previti, Alessandro Ricca, Francesco Univ Calabria Dept Math & Comp Sci Via P BucciCubo 30B I-87036 Arcavacata Di Rende CS Italy Ericsson Res Torshamnsgatan 23 S-16440 Stockholm Sweden
answer set programming (ASP) is a well-known logic-based formalism that has been used to model and solve a variety of AI problems. For several years, ASP implementations primarily focused on the main computational tas... 详细信息
来源: 评论
Tableau Calculi for Logic Programs under answer set Semantics
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2013年 第2期14卷 15-15页
作者: Gebser, Martin Schaub, Torsten Univ Potsdam Inst Informat D-14482 Potsdam Germany
We introduce formal proof systems based on tableau methods for analyzing computations in answer set programming (ASP). Our approach furnishes fine-grained instruments for characterizing operations as well as strategie... 详细信息
来源: 评论
Extended Hapicare: A telecare system with probabilistic diagnosis and self-adaptive treatment
收藏 引用
EXPERT SYSTEMS WITH APPLICATIONS 2021年 186卷 115749-115749页
作者: Kordestani, Hossain Mojarad, Roghayeh Chibani, Abdelghani Barkaoui, Kamel Amirat, Yacine Zahran, Wagdy Maidis SAS Dept Res & Innovat Chatou France Univ Paris Est Paris Creteil Lab Image Signal & Intelligent Syst LISSI Vitry Sur Seine France Conservatoire Natl Arts & Metiers Ctr Etud & Rech Informat & Commun Paris France
The massive growth of the population with chronic diseases calls for a telecare system to enhance their quality of life and reduce their treatment costs. Most of the current solutions depend on reliable data, determin... 详细信息
来源: 评论
Preferred First-Order answer set Programs
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2014年 第2期15卷 11-11页
作者: Asuncion, Vernon Zhang, Yan Zhou, Yi Univ Western Sydney Sch Comp Engn & Math Penrith NSW 2751 Australia
In this article, we consider the issue of how first-order answer set programs can be extended for handling preference reasoning. To this end, we propose a progression-based preference semantics for first-order answer ... 详细信息
来源: 评论
Fixed point semantics for stream reasoning
收藏 引用
ARTIFICIAL INTELLIGENCE 2020年 288卷 103370-103370页
作者: Antic, Christian Vienna Univ Technol Inst Discrete Math & Geometry Wiedner Hauptstr 8-10 A-1040 Vienna Austria
Reasoning over streams of input data is an essential part of human intelligence. During the last decade stream reasoning has emerged as a research area within the AI-community with many potential applications. In fact... 详细信息
来源: 评论
Designing experiments to discriminate families of logic models
收藏 引用
FRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY 2015年 第0期3卷 131-131页
作者: Videla, Santiago Konokotina, Irina Alexopoulos, Leonidas G. Saez-Rodriguez, Julio Schaub, Torsten Siegel, Anne Guziolowski, Carito CNRS UMR 6074 IRISA Rennes France INRIA Dyliss Project Rennes France Univ Potsdam Inst Informat Potsdam Germany Consejo Nacl Invest Cient & Tecn Fdn Inst Leloir LBSI Buenos Aires DF Argentina Ecole Cent Nantes IRCCyN UMR CNRS 6597 1 Rue Noe F-44321 Nantes France Natl Tech Univ Athens Dept Mech Engn Athens Greece European Bioinformat Inst European Mol Biol Lab Hinxton England
Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways. The automated learning of Boolean logic models describing signal... 详细信息
来源: 评论