咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是531-540 订阅
排序:
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第5-6期17卷 800-818页
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论
answer set programming for Procedural Content Generation: A Design Space Approach
收藏 引用
IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES 2011年 第3期3卷 187-200页
作者: Smith, Adam M. Mateas, Michael Univ Calif Santa Cruz Dept Comp Sci Santa Cruz CA 95064 USA
Procedural content generators for games produce artifacts from a latent design space. This space is often only implicitly defined, an emergent result of the procedures used in the generator. In this paper, we outline ... 详细信息
来源: 评论
answer set programming: A Declarative Approach to Solving Challenging Search Problems
Answer Set Programming: A Declarative Approach to Solving Ch...
收藏 引用
41st IEEE International Symposium on Multiple-Valued Logic (ISMVL)
作者: Niemela, Ilkka Aalto Univ Dept Informat & Comp Sci FI-00076 Aalto Finland
answer set programming (ASP) is a declarative programming paradigm targeted to solving search problems. The basic idea of ASP is similar to, for example, SAT-based planning or constraint satisfaction problems but ASP ... 详细信息
来源: 评论
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Logic programming approaches for routing fault-free and maxi...
收藏 引用
33rd International Conference on Logic programming colocated with the 23rd International Conference on Principles and Practice of Constraint programming / 20th International Conference on Theory and Applications of Satisfiability Testing
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论
Relational data factorization
收藏 引用
MACHINE LEARNING 2017年 第12期106卷 1867-1904页
作者: Paramonov, Sergey van Leeuwen, Matthijs De Raedt, Luc Katholieke Univ Leuven Machine Learning Dept Comp Sci Leuven Belgium Leiden Univ Leiden Inst Adv Comp Sci Leiden Netherlands
Motivated by an analogy with matrix factorization, we introduce the problem of factorizing relational data. In matrix factorization, one is given a matrix and has to factorize it as a product of other matrices. In rel... 详细信息
来源: 评论
CASP solutions for planning in hybrid domains
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第4期17卷 591-633页
作者: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco Leblanc, Emily C. St Josephs Univ Dept Decis & Support Serv 5600 City Ave Philadelphia PA 19131 USA Kings Coll London Dept Informat London WC2R 2LS England Univ Genoa Genoa Italy Drexel Univ Dept Comp Sci 3141 Chestnut Ave Philadelphia PA 19104 USA
Constraint answer set programming (CASP) is an extension of answer set programming that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated plann... 详细信息
来源: 评论
Infinitary equilibrium logic and strongly equivalent logic programs
收藏 引用
ARTIFICIAL INTELLIGENCE 2017年 246卷 22-33页
作者: Harrison, Amelia Lifschitz, Vladimir Pearce, David Valverde, Agustin Univ Texas Austin Austin TX 78712 USA Univ Politecn Madrid Madrid Spain Univ Malaga Malaga Spain
Strong equivalence is an important concept in the theory of answer set programming. Informally speaking, two sets of rules are strongly equivalent if they have the same meaning in any context. Equilibrium logic was us... 详细信息
来源: 评论
Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data
收藏 引用
BMC SYSTEMS BIOLOGY 2018年 第3-Sup期12卷 32-32页
作者: Miannay, Bertrand Minvielle, Stephane Magrangeas, Florence Guziolowski, Carito Ecole Cent Nantes LS2N UMR 6004 Nantes France Univ Nantes Univ Angers CNRS INSERMCRCINA Nantes France
Background: The integration of gene expression profiles (GEPs) and large-scale biological networks derived from pathways databases is a subject which is being widely explored. Existing methods are based on network dis... 详细信息
来源: 评论
ASPeRiX, a first-order forward chaining approach for answer set computing
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2017年 第3期17卷 266-310页
作者: Lefevre, Claire Beatrix, Christopher Stephan, Igor Garcia, Laurent Univ Angers LERIA 2 Blvd Lavoisier F-49045 Angers 01 France
The natural way to use answer set programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first-order logic program with default negation. In a prelimi... 详细信息
来源: 评论
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
收藏 引用
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2017年 第4期18卷 1–42页
作者: Calautti, Marco Greco, Sergio Trubitsyna, Irina Univ Edinburgh Informat Forum 10 Crichton St Edinburgh EH8 9AB Midlothian Scotland Univ Calabria DIMES Via P Bucci I-87036 Arcavacata Di Rende CS Italy
In this article, we propose a new technique for checking whether the bottom-up evaluation of logic programs with function symbols terminates. The technique is based on the definition of mappings from arguments to stri... 详细信息
来源: 评论