咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是591-600 订阅
排序:
Cybersecurity policy verification with declarative programming
收藏 引用
APPLIED INTELLIGENCE 2016年 第1期45卷 83-95页
作者: Hewett, Rattikorn Kijsanayothin, Phongphun Bak, Stephanie Galbrei, Marry Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Naresuan Univ Dept Elect & Comp Engn Phitsanulok Thailand Cornell Univ Dept Comp Sci Itica NY USA Nazarene Univ Dept Phys Bourbonnais IL USA
Cybersecurity is a growing concern in today's society. Security policies have been developed to ensure that data and assets remain protected for legitimate users, but there must be a mechanism to verify that these... 详细信息
来源: 评论
Directed random walks and constraint programming reveal active pathways in hepatocyte growth factor signaling
收藏 引用
FEBS JOURNAL 2016年 第2期283卷 350-360页
作者: Kittas, Aristotelis Delobelle, Aurelien Schmitt, Sabrina Breuhahn, Kai Guziolowski, Carito Grabe, Niels UCL Dept Chem Engn Ctr Proc Syst Engn London WC1E 7JE England CNRS UMR 6597 IRCCyN Ecole Ctr Nantes F-75700 Paris France Univ Heidelberg Hosp Inst Pathol Heidelberg Germany Univ Heidelberg Hosp NCT Dept Med Oncol Heidelberg Germany
An effective means to analyze mRNA expression data is to take advantage of established knowledge from pathway databases, using methods such as pathway-enrichment analyses. However, pathway databases are not case-speci... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Representing the Language of the Causal Calculator in answer set programming
Representing the Language of the Causal Calculator in Answer...
收藏 引用
作者: Casolary, Michael Arizona State University
学位级别:M.S.
Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the r... 详细信息
来源: 评论
Giving Hints For Logic programming Examples Without Revealing Solutions  24
Giving Hints For Logic Programming Examples Without Revealin...
收藏 引用
24th Signal Processing and Communication Application Conference (SIU)
作者: Avci, Gokhan Mehuljic, Mustafa Schuller, Peter Marmara Univ Bilgisayar Muhendisligi Bolumu Istanbul Turkey
We introduce a framework for supporting learning to program in the paradigm of answer set programming (ASP), which is a declarative logic programming formalism. Based on the idea of teaching by asking the student to c... 详细信息
来源: 评论
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks
收藏 引用
ALGORITHMS FOR MOLECULAR BIOLOGY 2017年 第1期12卷 20-20页
作者: Ben Abdallah, Emna Folschette, Maxime Roux, Olivier Magnin, Morgan Ecole Cent Nantes CNRS LS2N UMR 6004 1 Rue Noe F-44321 Nantes France Univ Nantes CNRS LS2N UMR 6004 1 Rue Noe F-44321 Nantes France Univ Nice Sophia Antipolis CNRS UMR 7271 I3S 2000 Route Lucioles F-06900 Nice France Natl Inst Informat Chiyoda Ku 2-1-2 Hitotsubashi Tokyo 1018430 Japan
Background: This paper addresses the problem of finding attractors in biological regulatory networks. We focus here on non-deterministic synchronous and asynchronous multi-valued networks, modeled using automata netwo... 详细信息
来源: 评论
Modeling and Language Extensions
收藏 引用
AI MAGAZINE 2016年 第3期37卷 33-44页
作者: Gebser, Martin Schaub, Torsten Univ Potsdam Potsdam Germany ICLP Doctoral Consortium New York NY USA Inria Rennes Rennes France
answer set programming (ASP) has emerged as an approach to declarative problem solving based on the stable model semantics for logic programs. The basic idea is to represent a computational problem by a logic program,... 详细信息
来源: 评论
A Tool for Probabilistic Reasoning Based on Logic programming and First-Order Theories Under Stable Model Semantics  1
收藏 引用
15th European Conference on Logics in Artificial Intelligence (JELIA)
作者: Nickles, Matthias INSIGHT Ctr Data Analyt Galway Ireland Natl Univ Ireland Discipline Informat Technol Galway Ireland
This System Description paper describes the software framework PrASP ("Probabilistic answer set programming"). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic p... 详细信息
来源: 评论
A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
收藏 引用
ARTIFICIAL INTELLIGENCE 2016年 第0期241卷 103-130页
作者: Leonetti, Matteo Iocchi, Luca Stone, Peter Univ Texas Austin Dept Comp Sci 2317 SpeedwayStop D9500 Austin TX 78712 USA Sapienza Univ Rome Dept Comp Control & Management Engn Via Ariosto 25 I-00185 Rome Italy Univ Leeds Sch Comp Leeds LS2 9JT W Yorkshire England
Automated planning and reinforcement learning are characterized by complementary views on decision making: the former relies on previous knowledge and computation, while the latter on interaction with the world, and e... 详细信息
来源: 评论
Anytime answer set optimization via unsatisfiable core shrinking
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 533-551页
作者: Alviano, Mario Dodaro, Carmine Univ Calabria Dept Math & Comp Sci I-87030 Commenda Di Rende Italy
Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or prov... 详细信息
来源: 评论