咨询与建议

限定检索结果

文献类型

  • 512 篇 期刊文献
  • 352 篇 会议
  • 10 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 826 篇 工学
    • 792 篇 计算机科学与技术...
    • 401 篇 软件工程
    • 58 篇 电气工程
    • 25 篇 信息与通信工程
    • 25 篇 控制科学与工程
    • 7 篇 机械工程
    • 6 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 化学工程与技术
    • 2 篇 仪器科学与技术
    • 2 篇 交通运输工程
    • 2 篇 航空宇航科学与技...
  • 408 篇 理学
    • 389 篇 数学
    • 11 篇 生物学
    • 9 篇 统计学(可授理学、...
    • 5 篇 科学技术史(分学科...
    • 2 篇 物理学
    • 2 篇 地球物理学
    • 2 篇 系统科学
  • 28 篇 管理学
    • 24 篇 管理科学与工程(可...
    • 2 篇 公共管理
    • 2 篇 图书情报与档案管...
  • 14 篇 哲学
    • 8 篇 哲学
  • 10 篇 法学
    • 9 篇 法学
    • 1 篇 社会学
  • 7 篇 医学
    • 3 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 5 篇 教育学
    • 4 篇 教育学
    • 2 篇 心理学(可授教育学...
  • 4 篇 农学
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 874 篇 answer set progr...
  • 77 篇 logic programmin...
  • 68 篇 knowledge repres...
  • 36 篇 knowledge repres...
  • 32 篇 nonmonotonic rea...
  • 27 篇 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

语言

  • 847 篇 英文
  • 22 篇 其他
  • 2 篇 土耳其文
  • 2 篇 中文
  • 1 篇 斯洛伐克文
检索条件"主题词=Answer Set Programming"
874 条 记 录,以下是21-30 订阅
排序:
Decomposition approaches for scheduling chronic outpatients' clinical pathways in answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2023年 第8期33卷 1851-1871页
作者: Cappanera, Paola Gavanelli, Marco Nonato, Maddalena Roma, Marco Univ Firenze DINFO Via S Marta 3 I-50139 Florence Italy Univ Ferrara DE Via Saragat 1 I-44122 Ferrara Italy
Chronic patients suffering from non-communicable diseases are often enrolled into a diagnostic and therapeutic care program featuring a personalized care plan. Healthcare is mostly provided at the patient's home, ... 详细信息
来源: 评论
Using answer set programming for Integrity Maintenance in a Smart Home System  8th
Using Answer Set Programming for Integrity Maintenance in a ...
收藏 引用
8th International Joint Conference on Rules and Reasoning (RuleML+RR)
作者: Wenzel, Mario Martin Luther Univ Halle Wittenberg Inst Informat Von Seckendorff Pl 1 D-06099 Halle Saale Germany
Smart homes are usually programmed using Event-Condition-Action rules, which is problematic for integrity maintenance, as the user needs to know which events may lead to an invalid state, and which actions - depending... 详细信息
来源: 评论
Constraint answer set programming: Integrational and Translational (or SMT-based) Approaches
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第1期23卷 195-225页
作者: Lierler, Yuliya Univ Nebraska Omaha NE 68182 USA
Constraint answer set programming or CASP, for short, is a hybrid approach in automated reasoning putting together the advances of distinct research areas such as answer set programming, constraint processing, and sat... 详细信息
来源: 评论
Master Surgical Scheduling via answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2023年 第8期33卷 1777-1803页
作者: Mochi, Marco Galata, Giuseppe Maratea, Marco Univ Genoa DIBRIS Viale F Causa 15 I-161415 Genoa Italy SurgiQ Srl Piazza Vittoria 12-12 I-16121 Genoa Italy Univ Calabria DeMaCS Via P Bucci Edificio 30B I-87036 Arcavacata Di Rende CS Italy
The problem of finding a Master Surgical Schedule (MSS) consists of scheduling different specialties to the operating rooms (ORs) of a hospital clinic. To produce a proper MSS, each specialty must be assigned to some ... 详细信息
来源: 评论
Reasoning About Study Regulations in answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 790-804页
作者: Hahn, Susana Schaub, Torsten Martens, Cedric Nemes, Amade Otunuya, Henry Romero, Javier Schellhorn, Sebastian Univ Potsdam Potsdam Germany Potassco Solut Potsdam Germany
We are interested in automating reasoning with and about study regulations, catering to various stakeholders, ranging from administrators, over faculty, to students at different stages. Our work builds on an extensive... 详细信息
来源: 评论
Solving an Industrial-Scale Warehouse Delivery Problem with answer set programming Modulo Difference Constraints
收藏 引用
ALGORITHMS 2023年 第4期16卷 216-216页
作者: Rajaratnam, David Schaub, Torsten Wanko, Philipp Chen, Kai Liu, Sirui Son, Tran Cao Potassco Solut D-14467 Potsdam Germany Univ Potsdam Inst Comp Sci D-14469 Potsdam Germany Dorabot Shenzhen 518068 Peoples R China New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
A warehouse delivery problem consists of a set of robots that undertake delivery jobs within a warehouse. Items are moved around the warehouse in response to events. A solution to a warehouse delivery problem is a col... 详细信息
来源: 评论
Dominating set Reconfiguration with answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 755-771页
作者: Kato, Masato Banbara, Mutsunori Schaub, Torsten Soh, Takehide Tamura, Naoyuki Nagoya Univ Grad Sch Informat Nagoya Aichi Japan Univ Potsdam Inst Informat & Computat Sci Potsdam Germany Kobe Univ Kobe Hyogo Japan
The dominating set reconfiguration problem is defined as determining, for a given dominating set problem and two among its feasible solutions, whether one is reachable from the other via a sequence of feasible solutio... 详细信息
来源: 评论
Speeding up answer set programming by Quantum Computing
Speeding up Answer Set Programming by Quantum Computing
收藏 引用
Workshop on QUAntum Search And information Retrieval (QUASAR)
作者: Della Giustina, Davide Piazza, Carla Pessotto, Stefano Romanello, Riccardo Univ Udine DMIF Udine Italy
Quantum Computing has become a more and more prominent research field in the last few decades. This growth in interest is mainly related to the so-called quantum speed up that some quantum procedure exhibits. The two ... 详细信息
来源: 评论
Early Validation of High-Level System Requirements with Event Calculus and answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第4期24卷 844-862页
作者: Vasicek, Ondrej Arias, Joaquin Fiedor, Jan Gupta, Gopal Hall, Brendal Krena, Bohuslav Larson, Brian Varanasi, Sarat chandra Vojnar, Tomas Brno Univ Technol Fac Informat Technol Brno Czech Republic Univ Rey Juan Carlos Mostoles Spain Honeywell Int SRO Brno Czech Republic UT Dallas Comp Sci Dept Richardson TX USA Ardent Innovat Labs Eden Prairie MN USA Multitude Corp St Paul MN USA GE Aerosp Res Niskayuna NY USA Masaryk Univ Fac Informat Brno Czech Republic
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances of specification errors propagating i... 详细信息
来源: 评论
Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2023年 第5期91卷 713-750页
作者: Khaled, Tarek Benhamou, Belaid Trinh, Van-Giang Aix Marseille Univ Univ Toulon CNRS LIS Marseille France
Deciphering gene regulatory networks' functioning is an essential step for better understanding of life, as these networks play a fundamental role in the control of cellular processes. Boolean networks have been w... 详细信息
来源: 评论