咨询与建议

限定检索结果

文献类型

  • 511 篇 期刊文献
  • 352 篇 会议
  • 11 篇 学位论文

馆藏范围

  • 874 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 826 篇 工学
    • 792 篇 计算机科学与技术...
    • 401 篇 软件工程
    • 59 篇 电气工程
    • 26 篇 信息与通信工程
    • 25 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 409 篇 理学
    • 390 篇 数学
    • 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 篇 应用经济学

主题

  • 874 篇 answer set progr...
  • 78 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 25 篇 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
  • 44 篇 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 篇 英文
  • 20 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
874 条 记 录,以下是631-640 订阅
排序:
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus  1
收藏 引用
30th International Conference on Inductive Logic programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR)
作者: Ray, Oliver Univ Bristol Dept Comp Sci Bristol Avon England
This paper presents the first automatic method for learning and revising dynamic temporal theories in the full-fledged Discrete Event Calculus (DEC), where fluents may be temporarily released from the law of inertia a... 详细信息
来源: 评论
Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning
Using ASP to Improve the Information Reuse in Mechanical Ass...
收藏 引用
11th Pacific Rim International Conference on Artificial Intelligence
作者: Zhao, Lingzhong Wang, Xuesong Qian, Junyan Gu, Tianlong Guilin Univ Elect Technol Sch Comp Sci & Engn Guilin 541004 Peoples R China
Modern product design and manufacturing process are highly integrated and exposed to frequent changes. This has made information reuse play an increasingly important role in improving the efficiency of the product dev... 详细信息
来源: 评论
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第3-4期18卷 438-451页
作者: Dahlem, Marc Bhagyanath, Anoop Schneider, Klaus Insiders Technol GmbH Kaiserslautern Germany Univ Kaiserslautern Dept Comp Sci Kaiserslautern Germany
Conventional processor architectures are restricted in exploiting instruction level parallelism (ILP) due to the relatively low number of programmer-visible registers. Therefore, more recent processor architectures ex... 详细信息
来源: 评论
Winning Snake: Design Choices in Multi-Shot ASP
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 772-789页
作者: Boehl, Elisa Ellmauthaler, Stefan Gaggl, Sarah alice Tech Univ Dresden Logic Programming & Argumentat Dresden Germany Tech Univ Dresden ScaDS AI Cfaed Knowledge Based Syst Grp Dresden Germany
answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and ... 详细信息
来源: 评论
Module theorem for the general theory of stable models
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2012年 第4-5期12卷 719-735页
作者: Babb, Joseph Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA
The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the compositi... 详细信息
来源: 评论
Incremental and Iterative Learning of answer set Programs from Mutually Distinct Examples
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第3-4期18卷 623-637页
作者: Mitra, Arindam Baral, Chitta Arizona State Univ Tempe AZ 85287 USA
Over the years the Artificial Intelligence (AI) community has produced several datasets which have given the machine learning algorithms the opportunity to learn various skills across various domains. However, a subcl... 详细信息
来源: 评论
Stable model semantics for founded bounds
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2013年 第4-5期13卷 517-532页
作者: Aziz, Rehan Abdul Chu, Geoffrey Stuckey, Peter J. Univ Melbourne Dept Comp & Informat Syst Victoria Lab Natl ICT Australia Melbourne Vic 3010 Australia
answer set programming (ASP) is a powerful form of declarative programming used in areas such as planning or reasoning. ASP solvers enforce stable model semantics, which rule out solutions representing certain kinds o... 详细信息
来源: 评论
A Translation-based Approach to the Verification of Modular Equivalence
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 591-613页
作者: Oikarinen, Emilia Janhunen, Tomi Aalto Univ Dept Informat & Comp Sci FI-02015 Helsinki Finland
The goal of this article is to foster modular program development in answer set programming using a Gaifman-Shapiro-style module architecture. More specifically, a method for verifying the equivalence of logic program... 详细信息
来源: 评论
The DLVHEX system for knowledge representation: recent advances (system description)
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2016年 第5-6期16卷 866-883页
作者: Redl, Christoph Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
The DLVHEX system implements the hex-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most import... 详细信息
来源: 评论
Towards Robust and Versatile Causal Discovery for Business Applications  16
Towards Robust and Versatile Causal Discovery for Business A...
收藏 引用
22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD)
作者: Borboudakis, Giorgos Tsamardinos, Ioannis Univ Crete Dept Comp Sci Gnosis Data Anal IKE Iraklion Greece
Causal discovery algorithms can induce some of the causal relations from the data, commonly in the form of a causal network such as a causal Bayesian network. Arguably however, all such algorithms lack far behind what... 详细信息
来源: 评论