咨询与建议

限定检索结果

文献类型

  • 510 篇 期刊文献
  • 348 篇 会议
  • 11 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 823 篇 工学
    • 789 篇 计算机科学与技术...
    • 399 篇 软件工程
    • 57 篇 电气工程
    • 24 篇 信息与通信工程
    • 24 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 航空宇航科学与技...
  • 406 篇 理学
    • 387 篇 数学
    • 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 篇 应用经济学

主题

  • 869 篇 answer set progr...
  • 77 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 31 篇 nonmonotonic rea...
  • 28 篇 artificial intel...
  • 26 篇 equilibrium logi...
  • 23 篇 inductive logic ...
  • 23 篇 non-monotonic re...
  • 21 篇 stable models
  • 20 篇 stable model sem...
  • 16 篇 aggregates
  • 16 篇 computational co...
  • 16 篇 stream reasoning
  • 15 篇 strong equivalen...
  • 12 篇 theory
  • 11 篇 description logi...
  • 11 篇 forgetting
  • 11 篇 semantic web
  • 11 篇 declarative prog...

机构

  • 35 篇 univ potsdam pot...
  • 18 篇 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
  • 33 篇 eiter thomas
  • 29 篇 maratea marco
  • 28 篇 leone nicola
  • 28 篇 gebser martin
  • 26 篇 calimeri frances...
  • 24 篇 fandinno jorge
  • 23 篇 erdem esra
  • 21 篇 ianni giovambatt...
  • 20 篇 lifschitz vladim...
  • 20 篇 gupta gopal
  • 18 篇 balduccini marce...
  • 18 篇 lierler yuliya
  • 18 篇 zangari jessica
  • 18 篇 faber wolfgang
  • 18 篇 perri simona

语言

  • 846 篇 英文
  • 18 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
869 条 记 录,以下是71-80 订阅
排序:
Reactive answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2022年 第3期22卷 367-418页
作者: Broda, Krysia Sadri, Fariba Butler, Stephen Imperial Coll London London England
Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that spec... 详细信息
来源: 评论
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第6期20卷 942-957页
作者: Izmirlioglu, Yusuf Erdem, Esra Sabanci Univ Fac Engn & Nat Sci TR-34956 Istanbul Turkey
We propose a novel formal framework (called 3D-NCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using answer set programming (ASP). 3D-NCDC-ASP extends ... 详细信息
来源: 评论
Train routing in shunting yards using answer set programming
收藏 引用
EXPERT SYSTEMS WITH APPLICATIONS 2015年 第21期42卷 7292-7302页
作者: Adlbrecht, Jan-Alexander Huettler, Benno Ho, Nikola Gronalt, Manfred Univ Nat Resources & Life Sci Inst Prod & Logist A-1180 Vienna Austria
We use answer set programming (ASP), a modern method for knowledge representation and reasoning, to build a fully automated decision support system for routing of trains in shunting yards. The system leverages the kno... 详细信息
来源: 评论
Embracing Background Knowledge in the Analysis of Actual Causality: An answer set programming Approach
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第4期23卷 715-729页
作者: Gelfond, Michael Fandinno, Jorge Balai, Evgenii Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ Nebraska Dept Comp Sci Omaha NE USA
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark examples from the literature of actual... 详细信息
来源: 评论
Complexity of fuzzy answer set programming under Lukasiewicz semantics
收藏 引用
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2014年 第9期55卷 1971-2003页
作者: Blondeel, Marjon Schockaert, Steven Vermeir, Dirk De Cock, Martine Vrije Univ Brussel Dept Comp Sci B-1050 Brussels Belgium Cardiff Univ Sch Comp Sci & Informat Cardiff CF24 3AA S Glam Wales Univ Ghent Dept Appl Math Comp Sci & Stat B-9000 Ghent Belgium
Fuzzy answer set programming (FASP) is a generalization of answer set programming (ASP) in which propositions are allowed to be graded. Little is known about the computational complexity of FASP and almost no techniqu... 详细信息
来源: 评论
An answer set programming encoding of Prioritized Removed sets Revision: application to GIS
收藏 引用
APPLIED INTELLIGENCE 2010年 第1期32卷 60-87页
作者: Benferhat, Salem Ben-Naim, Jonathan Papini, Odile Wuerbel, Eric Univ Artois CNRS CRIL F-62307 Lens France Univ Toulouse 3 CNRS IRIT F-31062 Toulouse 2 France Univ Mediterranee Dept Informat ESIL LSISCNRS F-13288 Marseille 09 France Univ Sud Toulon Var CNRS LSIS F-83957 La Garde France
Geographical information systems are ones of the most important application areas of belief revision. Recently, Wurbel and colleagues (Proceedings of the seventh international conference about principles of knowledge ... 详细信息
来源: 评论
A General Framework for Stable Roommates Problems using answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第6期20卷 911-925页
作者: ERDEM, E. S. R. A. FIDAN, M. U. G. E. MANLOVE, D. A. V. I. D. PROSSER, P. A. T. R. I. C. K. Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey Univ Glasgow Sch Comp Sci Glasgow Lanark Scotland
The Stable Roommates problem (SR) is characterized by the preferences of agents over other agents as roommates: each agent ranks all others in strict order of preference. A solution to SR is then a partition of the ag... 详细信息
来源: 评论
Reasoning about delegation and revocation schemes in answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2014年 第1期24卷 89-116页
作者: Barker, Steve Boella, Guido Gabbay, Dov Genovese, Valerio Kings Coll London London WC2R 2LS England Univ Torino Cso Svizzera 185 Dept Comp Sci I-10149 Turin Italy Bar Ilan Univ IL-52900 Ramat Gan Israel Kings Coll London Dept Informat London WC2R 2LS England Univ Luxembourg L-1359 Luxembourg Luxembourg
In this article we show how to model a range of notions in the context of delegation and revocation applied to security scenarios. We demonstrate how a range of delegation-revocation models and policies may be represe... 详细信息
来源: 评论
Extended High-Utility Pattern Mining: An answer set programming-Based Framework and Applications
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第2期24卷 313-343页
作者: Cauteruccio, Francesco Terracina, Giorgio Polytech Univ Marche DII Ancona Italy Univ Calabria DEMACS Arcavacata Di Rende Italy
Detecting sets of relevant patterns from a given dataset is an important challenge in data mining. The relevance of a pattern, also called utility in the literature, is a subjective measure and can be actually assesse... 详细信息
来源: 评论
Optimising Dynamic Traffic Distribution for Urban Networks with answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 825-843页
作者: Cardellini, Matteo Dodaro, Carmine Maratea, Marco Vallati, Mauro Univ Genoa Genoa Italy Politecn Torino Turin Italy Univ Calabria Arcavacata Di Rende Italy Univ Huddersfield Huddersfield England
answer set programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an application in which ASP has been succe... 详细信息
来源: 评论