咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是121-130 订阅
Rescheduling master surgical schedules via answer set programming
收藏 引用
PROGRESS IN ARTIFICIAL INTELLIGENCE 2024年 1-16页
作者: Galata, Giuseppe Maratea, Marco Marte, Cinzia Mochi, Marco SurgiQ Srl Genoa Italy Univ Calabria Arcavacata Di Rende Italy Univ Genoa Genoa Italy
The problem of finding a Master Surgical Schedule (MSS) consists of scheduling different specialties to the operating rooms of a hospital clinic. To produce a proper MSS, each specialty must be assigned to some operat... 详细信息
来源: 评论
Multi-Shot answer set programming for Flexible Payroll Management
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第3期24卷 453-481页
作者: Callewaert, Benjamin Vennekens, Joost Katholieke Univ Leuven Dept Comp Sci De Nayer CampusJ P De Nayerlaan 5 B-2860 St Katelijne Waver Belgium AI KU Leuven Inst AI B-3000 Leuven Belgium Flanders Make DTAI FET Leuven Belgium
Payroll management is a critical business task that is subject to a large number of rules, which vary widely between companies, sectors, and countries. Moreover, the rules are often complex and change regularly. There... 详细信息
来源: 评论
Applications of non-monotonic reasoning to automotive product configuration using answer set programming
收藏 引用
JOURNAL OF INTELLIGENT MANUFACTURING 2019年 第3期30卷 1407-1422页
作者: Gencay, Eray Schuller, Peter Erdem, Esra Turkish German Univ Istanbul Turkey Marmara Univ Istanbul Turkey Sabanci Univ Istanbul Turkey
In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of confi... 详细信息
来源: 评论
Human Robot Collaborative Assembly Planning: An answer set programming Approach
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2020年 第6期20卷 1006-1020页
作者: Rizwan, Momina Patoglu, Volkan Erdem, Esra Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
For planning an assembly of a product from a given set of parts, robots necessitate certain cognitive skills: high-level planning is needed to decide the order of actuation actions, while geometric reasoning is needed... 详细信息
来源: 评论
Approximate postdictive reasoning with answer set programming
收藏 引用
JOURNAL OF APPLIED LOGIC 2015年 第4期13卷 676-719页
作者: Eppe, Manfred Bhatt, Mehul Int Comp Sci Inst Berkeley CA 94704 USA Univ Bremen D-28359 Bremen Germany
We present an answer set programming realization of the h-approximation (HPX) theory [8] as an efficient and provably sound reasoning method for epistemic planning and projection problems that involve postdictive reas... 详细信息
来源: 评论
Complexity results for answer set programming with bounded predicate arities and implications
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2007年 第2-4期51卷 123-165页
作者: Eiter, Thomas Faber, Wolfgang Fink, Michael Woltran, Stefan Vienna Univ Technol Inst Informat Syst Vienna Austria Univ Calabria Dept Math I-87036 Arcavacata Di Rende Italy
answer set programming is a declarative programming paradigm rooted in logic programming and non-monotonic reasoning. This formalism has become a host for expressing knowledge representation problems, which reinforces... 详细信息
来源: 评论
Handling distributed authorization with delegation through answer set programming
收藏 引用
INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2007年 第1期6卷 27-46页
作者: Wang, Shujing Zhang, Yan Univ Western Sydney Sch Comp Math Penrith NSW 1797 Australia
Distributed authorization is an essential issue in computer security. Recent research shows that trust management is a promising approach for the authorization in distributed environments. There are two key issues for... 详细信息
来源: 评论
Hybrid answer set programming
收藏 引用
ANNALS OF PURE AND APPLIED LOGIC 2014年 第1期165卷 134-163页
作者: Brik, Alex Remmel, Jeffrey Univ Calif San Diego Dept Math La Jolla CA 92093 USA
This paper discusses an extension of answer set programming (ASP) called Hybrid answer set programming (H-ASP) which allows the user to reason about dynamical systems that exhibit both discrete and continuous aspects.... 详细信息
来源: 评论
Shared aggregate sets in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2018年 第3-4期18卷 301-318页
作者: Alviano, Mario Dodaro, Carmine Maratea, Marco Univ Calabria DEMACS Commenda Di Rende Italy Univ Genoa DIBRIS Genoa Italy
Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as... 详细信息
来源: 评论
Aggregates in answer set programming
收藏 引用
KUNSTLICHE INTELLIGENZ 2018年 第2-3期32卷 119-124页
作者: Alviano, Mario Faber, Wolfgang Univ Calabria DEMACS Arcavacata Di Rende Italy Alpen Adria Univ Klagenfurt AINF Klagenfurt Austria
Aggregates are among the most important linguistic extensions of answer set programming (ASP), allowing for compact representations of properties and inductive definitions involving sets of propositions. Common use ca... 详细信息
来源: 评论