检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

137 篇 会议
16 篇 期刊文献

馆藏范围

153 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

123 篇 工学
- 118 篇 计算机科学与技术...
- 68 篇 软件工程
- 8 篇 信息与通信工程
- 7 篇 控制科学与工程
- 5 篇 机械工程
- 4 篇 电气工程
- 4 篇 建筑学
- 3 篇 材料科学与工程（可...
- 3 篇 生物医学工程（可授...
- 2 篇 冶金工程
- 2 篇 交通运输工程
- 2 篇 食品科学与工程（可...
- 1 篇 力学（可授工学、理...
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 生物工程
- 1 篇 安全科学与工程
39 篇 理学
- 33 篇 数学
- 5 篇 生物学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
19 篇 管理学
- 14 篇 管理科学与工程(可...
- 9 篇 工商管理
- 6 篇 图书情报与档案管...
4 篇 医学
- 4 篇 临床医学
- 3 篇 基础医学(可授医学...
- 2 篇 药学(可授医学、理...
3 篇 经济学
- 3 篇 应用经济学
2 篇 农学

主题

29 篇 logic programmin...
14 篇 answer set progr...
6 篇 programming
5 篇 java programming...
4 篇 object oriented ...
4 篇 artificial intel...
4 篇 dynamic programm...
4 篇 knowledge repres...
3 篇 conferences
3 篇 prolog (programm...
3 篇 computer program...
2 篇 genetic programm...
2 篇 access control
2 篇 fill-in-blank pr...
2 篇 problem solving
2 篇 aspect oriented ...
2 篇 fortran (program...
2 篇 education
2 篇 c++ (programming...
2 篇 module theorem

机构

3 篇 univ bath dept c...
2 篇 univ angers leri...
2 篇 aalto univ dept ...
2 篇 macquarie univ d...
2 篇 univ americas pu...
2 篇 university of ke...
1 篇 zaporizhzhia pol...
1 篇 dipartimento di ...
1 篇 department of co...
1 篇 graduate school ...
1 篇 ibm toronto lab....
1 篇 icmc university ...
1 篇 oak ridge natl l...
1 篇 vienna universit...
1 篇 univ evry val de...
1 篇 guilin univ tech...
1 篇 univ bologna dei...
1 篇 computer enginee...
1 篇 univ western ont...
1 篇 department of el...

作者

3 篇 faber wolfgang
3 篇 alviano mario
3 篇 osorio m
3 篇 de vos marina
2 篇 ortiz m
2 篇 gavanelli marco
2 篇 oikarinen emilia
2 篇 stephan igor
2 篇 da mota benoit
2 篇 schwitter rolf
2 篇 balduccini marce...
2 篇 brain martin
2 篇 greis noel p.
2 篇 janhunen tomi
2 篇 maratea marco
2 篇 ricca francesco
2 篇 zhang yuanlin
2 篇 nogueira monica ...
2 篇 ayala g
2 篇 nicolas pascal

语言

152 篇 英文
1 篇 其他

检索条件"任意字段=4th International Workshop on Answer Set Programming"

共 153 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 4

A Tool for Encoding Controlled Natural Language Specificatio...

引用

4th international workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2022

作者： Dodaro, Carmine Maratea, Marco Riccio, Francesco DeMaCS University of Calabria Italy DIBRIS University of Genoa Italy

answer set programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Albeit ASP has been widely adopted in both academic and industrial contexts, it might be difficult for people who are not familiar with logic programming conventions to use it. In this paper, we propose a translation of English sentences expressed in a controlled natural language (CNL) form into ASP. In particular, we first provide a definition of the type of sentences allowed by our CNL and their translation as ASP rules, and then exemplify the usage of CNL for the specification of well-known combinatorial problems. © 2022 Copyright for this paper by its authors.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Modeling Administrative Discretion Using Goal-Directed answer set programming 38

Modeling Administrative Discretion Using Goal-Directed Answe...

引用

38th international Conference on Logic programming workshops, ICLP workshops 2022

作者： Arias, Joaquín Moreno-Rebato, Mar Rodríguez-García, José A. Ossowski, Sascha CETINIA Universidad Rey Juan Carlos Madrid Spain

this paper is an extended abstract of: J. Arias, M. Moreno-Rebato, J. A. Rodriguez-García, S. Ossowski, Modeling Administrative Discretion Using Goal-Directed answer set programming, in: Advances in Artificial Intelligence, CAEPIA 20/21, Springer international Publishing, Cham, 2021, pp. 258–267. doi:10.1007/978-3-030-85713-4_25 [1]. © 2022 Copyright for this paper by its authors.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Recent answer set programming Applications to Scheduling Problems in Digital Health 1

Recent Answer Set Programming Applications to Scheduling Pro...

引用

1st international workshop on Artificial Intelligence for Climate Change, 12th Italian workshop on Planning and Scheduling, 31st RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and SPIRIT workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, AI4CC-IPS-RCRA-SPIRIT 2024

作者： Cappanera, Paola Caruso, Simone Dodaro, Carmine Galatà, Giuseppe Gavanelli, Marco Maratea, Marco Marte, Cinzia Mochi, Marco Nonato, Maddalena Roma, Marco DIBRIS University of Genoa Genoa Italy DeMaCS University of Calabria Rende Italy SurgiQ srl Genova Italy DE University of Ferrara Italy DINFO University of Firenze Italy

the answer set programming (ASP) methodology has been recognized to be a viable solution to many practical applications, including scheduling problems in the Healthcare sector, where ASP proved to be an effective solution since 2017. In this paper, we present new scheduling problems in such field that have been successfully solved via ASP in the last few years. the interesting point is that some of these applications either deal with parts of the Healthcare process that were not previously addressed (i.e., the Pre-operative operations), or needed new solving approaches in order to be solved efficiently (i.e., the Chronic Outpatients problem solved via a Logic-Based Bender Decomposition method). For some of the problems discussed, we also provide preliminary experiments not appearing in previous publications on such problems. For all presented problems, we are also working on more "practical" issues, like solving rescheduling-related problems, providing explainability features, and implementing web applications for easy access to such solutions. © 2024 Copyright for this paper by its authors.

关键词： Electronic health record

来源：评论

学校读者我要写书评

暂无评论

Advancements in xASP, an XAI System for answer set programming 38

Advancements in xASP, an XAI System for Answer Set Programmi...

引用

38th Italian Conference on Computational Logic, CILC 2023

作者： Alviano, Mario Trieu, Ly Ly Son, Tran Balduccini, Marcello DEMACS University of Calabria Via Bucci 30/B CS Rende87036 Italy New Mexico State University United States Saint Joseph's University United States

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 interested in linking the presence or absence of an atom in an answer set to the logic rules involved in the inference of the atom. Such explanations can be given in terms of directed acyclic graphs (DAGs). this article reports on the advancements in the development of the XAI system xASP by revising the main foundational notions and by introducing new ASP encodings to compute minimal assumption sets, explanation sequences, and explanation DAGs. © 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Reasoning on Multi-Relational Contextual Hierarchies via answer set programming with Algebraic Measures 35

Reasoning on Multi-Relational Contextual Hierarchies via Ans...

引用

35th international workshop on Description Logics, DL 2022

作者： Bozzato, Loris Eiter, thomas Kiesel, Rafael Fondazione Bruno Kessler Via Sommarive 18 Trento38123 Italy Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria

this extended abstract summarizes our previous work on a defeasible extension of Description Logic (DL) for contextual reasoning.1 Here, we considered on the one hand the addition of multiple dimensions of defeasibility, allowing us to express for example that a rule has to be satisfied no matter the geographical context but that the rule can change in the next years. On the other hand, we showed that answer set programming (ASP) especially when enhanced with algebraic measures provide a powerful tool to implement our framework and open up perspectives for the future. © 2022 Copyright for this paper by its authors.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

Enhancing ASP(Q) evaluation 22

Enhancing ASP(Q) evaluation

引用

22nd international Conference of the Italian Association for Artificial Intelligence, AIxIA 2023 DP 2023

作者： Faber, Wolfgang Mazzotta, Giuseppe Ricca, Francesco Alpen-Adria Universität Klagenfurt Austria University of Calabria Rende Italy

is an extension of answer set programming (ASP) that enables the declarative and modular modeling of problems within the entire polynomial hierarchy. the first implementation of ASP(Q), known as qasp, utilized a translation to Quantified Boolean Formulae (QBF) to take advantage of the advanced and mature QBF-solving technology. However, the QBF encoding implemented by qasp is highly general, potentially leading to complex formulas that existing QBF solvers struggle to evaluate due to the large number of symbols and sub-clauses. In the paper titled "An efficient solver for ASP(Q) ", that has been presented during the 39th international Conference on Logic programming (ICLP23), we introduced a novel implementation that builds upon the concepts of qasp and incorporates a more efficient encoding procedure, optimized encodings of ASP(Q) programs in QBF, and a machine learning model for the automatic selection of QBF-solving back-ends. In this paper, we give an overview of the results we have obtained in the above-mentioned paper and discuss possible future directions. © 2022 Copyright for this paper by its authors.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Mining Sequences in Phone Recordings with answer set programming 1

Mining Sequences in Phone Recordings with Answer Set Program...

引用

1st international workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning and the 29th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, HYDRA-RCRA 2022

作者： Lisi, Francesca A. Sterlicchio, Gioacchino Dipartimento di Informatica University of Bari "Aldo Moro" Via E. Orabona 4 Bari70125 Italy Dept. Mechanical Engineering Polytechnic University of Bari Via G. Amendola 126/b Bari70126 Italy

the analysis of phone recordings is one of the activities typically performed in the Digital Forensics practice. It provides information such as the geographical position of some suspect, useful to reconstruct the network of contacts. In this work we have considered the problem of analyzing a dataset of anonymized phone recordings made available within the DigForASP project by looking for sequential patterns in the recordings. the approach followed leverages the expressive and inferential power of the answer set programming paradigm. the experiments reported here concern the extraction of closed and maximal patterns (condensed representations), which significantly reduces the number of returned patterns without loss of information. © 2022 Copyright for this paper by its authors.

关键词： Digital forensics

来源：评论

学校读者我要写书评

暂无评论

Experimental and Exploratory Analysis of programming Languages Popularity According to the PYPL Index 4

Experimental and Exploratory Analysis of Programming Languag...

引用

4th international workshop of Modern Machine Learning Technologies and Data Science, MoMLeT and DS 2022

作者： Mediakov, Oleksandr Korostynskyi, Bohdan Vysotska, Victoria Markiv, Oksana Chyrun, Sofia Lviv Polytechnic National University S. Bandera Street 12 Lviv79013 Ukraine Osnabrück University Friedrich-Janssen-Str. 1 Osnabrück49076 Germany

this article dwells upon procedure for primary and exploratory analysis of data concerning programming languages popularity according to the PYPL index. Classical, but flexible methods of cluster and correlation analysis, and mathematical statistics have been used in data analysis. Examples of various researches in the field of popularity and development of programming languages have been provided, and based on open questions in this area, set of graphic results has been constructed by data analysis, which logically has resulted in conclusions regarding the selection of models and methods for further data forecasting. Integral part of the report information content consists of executable code examples in the R programming language, which can be used to conduct similar studies. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Cluster analysis

来源：评论

学校读者我要写书评

暂无评论

A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education

A Combined Approach of Process Mining and Rule-Based AI for ...

引用

4th international Conference on Process Mining (ICPM)

作者： Wagner, Miriam Helal, Hayyan Roepke, Rene Judel, Sven Doveren, Jens Goerzen, Sergej Soudmand, Pouya Lakemeyer, Gerhard Schroeder, Ulrik van der Aalst, Wil M. P. Rhein Westfal TH Aachen PADS Aachen Germany Rhein Westfal TH Aachen Knowledge Based Syst Grp Aachen Germany Rhein Westfal TH Aachen Learning Technol Res Grp Aachen Germany

ISBN: (纸本)9783031278143;9783031278150

this paper presents an approach of using methods of process mining and rule-based artificial intelligence to analyze and understand study paths of students based on campus management system data and study program models. Process mining techniques are used to characterize successful study paths, as well as to detect and visualize deviations from expected plans. these insights are combined with recommendations and requirements of the corresponding study programs extracted from examination regulations. Here, event calculus and answer set programming are used to provide models of the study programs which support planning and conformance checking while providing feedback on possible study plan violations. In its combination, process mining and rule-based artificial intelligence are used to support study planning and monitoring by deriving rules and recommendations for guiding students to more suitable study paths with higher success rates. Two applications will be implemented, one for students and one for study program designers.

关键词： Educational Process Mining Conformance checking Rule-based AI Study planning Study monitoring

来源：评论

学校读者我要写书评

暂无评论

An Application of ASP for Procedural Content Generation in Video Games 37

An Application of ASP for Procedural Content Generation in V...

引用

37th Italian Conference on Computational Logic, CILC 2022

作者： De seta, Andrea Alviano, Mario Rende87036 Italy

Procedural content generation eases and accelerates the development of video games by creating data algorithmically through a combination of human-generated assets and algorithms usually coupled with computer-generated randomness. this paper presents a use case of answer set programming (ASP) for procedural content generation of levels in a rougelike video game powered by the Godot Engine. the main elements of a set of human-generated rooms are represented by ASP facts, among them positions of doors, presence of treasures and power-ups. Within this knowledge, ASP is asked to generate dungeons satisfying a few conditions, among them the correct positioning of rooms, the absence of unreachable rooms and constraints on the occurrences of rooms. Scalability of ASP in this context is evaluated empirically, showing that it can generate in few seconds levels that comprise thousands of rooms. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0)

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共16页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：