咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
answer set programming for pattern generation in logical analysis of data
收藏 引用
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2025年 1-25页
作者: Becker, Katinka Bockmayr, Alexander Phys Tech Bundesanstalt Div Med Phys & Metrol Informat Technol Abbestr 2-12 D-10587 Berlin Germany Free Univ Berlin Dept Math & Informat Arnimallee 6 D-14195 Berlin Germany
Logical Analysis of Data (LAD) is a powerful technique for data classification based on partially defined Boolean functions. The decision rules for class prediction in LAD are formed out of patterns. According to diff... 详细信息
来源: 评论
answer set programming for Legal Decision Support and Explanation  36
Answer Set Programming for Legal Decision Support and Explan...
收藏 引用
36th Annual International Conference on Legal Knowledge and Information Systems (JURIX)
作者: Dupre, Daniele Theseider Univ Piemonte Orientale DISIT Novara Italy
The ANGELIC methodology was successfully used to predict decisions of the European Court of Human Rights based on a set of logical rules, with significantly better accuracy than the one achieved by machine learning ap... 详细信息
来源: 评论
Operating Room Scheduling via answer set programming: improved encoding and test on real data
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2024年 第8期34卷 1556-1579页
作者: Dodaro, Carmine Galata, Giuseppe Gebser, Martin Maratea, Marco Marte, Cinzia Mochi, Marco Scanu, Marco Univ Calabria DeMaCS I-87036 Arcavacata Di Rende Italy SurgiQ Srl I-16100 Genoa Italy Univ Klagenfurt Dept Artificial Intelligence & Cybersecur Klagenfurt Austria Univ Genoa DIBRIS I-16100 Genoa Italy
The Operating Room Scheduling (ORS) problem deals with the optimization of daily operating room surgery schedules. It is a challenging problem subject to many constraints, like to determine the starting time of differ... 详细信息
来源: 评论
Scheduling pre-operative assessment clinic with answer set programming
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2024年 第3期34卷 465-493页
作者: Caruso, Simone Galata, Giuseppe Maratea, Marco Mochi, Marco Porro, Ivan Univ Genoa DIBRIS I-16145 Genoa Italy SurgiQ srl I-16100 Genoa Italy Univ Calabria DeMaCS I-87036 Arcavacata Di Rende Italy
The problem of scheduling pre-operative assessment clinic (PAC) consists of assigning patients to a day for the exams needed before a surgical procedure, taking into account patients with different priority levels, du... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The XAI system for answer set programming xASP2
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2024年 第8期34卷 1500-1525页
作者: Alviano, Mario Trieu, Ly Ly Son, Tran Cao Balduccini, Marcello Univ Calabria DEMACS Via Bucci 30-B I-87036 Arcavacata Di Rende CS Italy New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA St Josephs Univ Dept Decis Syst Sci Philadelphia PA 19131 USA
Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling solutions with reasons that justify the provided answer. In the context of answer set programming (ASP) the user may be interes... 详细信息
来源: 评论
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by answer set programming
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2024年 第5期24卷 973-1010页
作者: Takemura, Akihiro Inoue, Katsumi SOKENDAI Grad Univ Adv Studies Chiyoda Ku Tokyo Japan Natl Inst Informat Chiyoda Ku Tokyo Japan
We propose a method for generating rule sets as global and local explanations for tree-ensemble learning methods using answer set programming (ASP). To this end, we adopt a decompositional approach where the split str... 详细信息
来源: 评论
ASPER: answer set programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第4期23卷 765-781页
作者: Le, Trung Hoang Cao, Huiping Cao Son, Tran New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
A plethora of approaches have been proposed for joint entity-relation (ER) extraction. Most of these methods largely depend on a large amount of manually annotated training data. However, manual data annotation is tim... 详细信息
来源: 评论
Forgetting in answer set programming - A Survey
收藏 引用
THEORY AND PRACTICE OF LOGIC programming 2023年 第1期23卷 111-156页
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Univ Nova Lisboa NOVA LINCS Dept Informat Fac Ciencias & Tecnol Lisbon Portugal
Forgetting - or variable elimination - is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in answer... 详细信息
来源: 评论