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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

293 篇 会议
7 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

229 篇 工学
- 218 篇 计算机科学与技术...
- 109 篇 软件工程
- 23 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 生物医学工程（可授...
- 3 篇 机械工程
- 3 篇 建筑学
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
47 篇 理学
- 44 篇 数学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
14 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
1 篇 医学

主题

69 篇 logic programmin...
17 篇 answer set progr...
15 篇 inductive logic ...
10 篇 fuzzy logic
10 篇 programming
9 篇 logic
7 篇 application soft...
7 篇 logic gates
7 篇 inductive logic ...
7 篇 semantics
7 篇 system testing
6 篇 machine learning
5 篇 computer science
5 篇 programming prof...
5 篇 logic testing
5 篇 computer archite...
5 篇 ontologies
5 篇 dynamic programm...
5 篇 temporal logic
4 篇 parallel process...

机构

3 篇 new mexico state...
3 篇 univ calabria ar...
3 篇 tu wien inst log...
3 篇 tech univ dresde...
2 篇 technological ed...
2 篇 univ oxford oxfo...
2 篇 univ nebraska om...
2 篇 univ helsinki de...
2 篇 network operatio...
2 篇 univ freiburg in...
2 篇 inria lille nord...
2 篇 tech univ dortmu...
2 篇 ecole polytech i...
2 篇 univ paris 13 li...
2 篇 univ pisa dept c...
2 篇 tech univ munich...
2 篇 portland state u...
2 篇 univ london impe...
2 篇 katholieke univ ...
1 篇 bolsista do prog...

作者

4 篇 riguzzi fabrizio
4 篇 ricca francesco
3 篇 gaggl sarah alic...
3 篇 kramer stefan
3 篇 page david
3 篇 son tran cao
3 篇 srinivasan ashwi...
3 篇 froehler sebasti...
3 篇 alphonse erick
2 篇 muggleton stephe...
2 篇 giordano laura
2 篇 toivonen h.
2 篇 ong irene m.
2 篇 revoredo k.
2 篇 bellodi elena
2 篇 osmani aomar
2 篇 bryant christoph...
2 篇 ray oliver
2 篇 hutter dieter
2 篇 costa vitor sant...

语言

298 篇 英文
2 篇 中文
1 篇 葡萄牙文
1 篇 其他

检索条件"任意字段=16th International Conference of Inductive Logic Programming"

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

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

详细简洁

排序：

HYDRA-RCRA 2022 - Joint Proceedings of the 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, co-located with the 16th international conference on logic programming and Non-Monotonic Reasoning, LPNMR 2022

HYDRA-RCRA 2022 - Joint Proceedings of the 1st International...

引用

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

the proceedings contain 7 papers. the topics discussed include: care robots learning rules of ethical behavior under the supervision of an ethical teacher;a parallelization approach for hybrid-AI-based models: an application study for semantic segmentation of medical images;towards inductive learning of domain-specific heuristics for ASP;mining sequences in phone recordings with answer set programming;estimation-based verification of cyber-physical systems via statistical model checking;explainability via short formulas: the case of propositional logic with implementation;and evaluating epistemic logic programs via answer set programming with quantifiers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022

16th International Conference on Logic Programming and Nonmo...

引用

16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022

ISBN: (纸本)9783031157066

the proceedings contain 39 papers. the special focus in this conference is on logic programming and Nonmonotonic Reasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming: A Case Study of Graph Coloring;a Qualitative Temporal Extension of Here-and-there logic;representing Abstract Dialectical Frameworks with Binary Decision Diagrams;Arguing Correctness of ASP Programs with Aggregates;Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination;IASCAR: Incremental Answer Set Counting by Anytime Refinement;Reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL;inference to the Stable Explanations;modal logic S5 in Answer Set programming with Lazy Creation of Worlds;Semantics for Conditional Literals via the SM Operator;state Transition in Multi-agent Epistemic Domains Using Answer Set programming;towards Provenance in Heterogeneous Knowledge Bases;Computing Smallest MUSes of Quantified Boolean Formulas;Pinpointing Axioms in Ontologies via ASP;interlinking logic Programs and Argumentation Frameworks;gradient-Based Supported Model Computation in Vector Spaces;towards Causality-Based Conflict Resolution in Answer Set Programs;xASP: An Explanation Generation System for Answer Set programming;Solving Problems in the Polynomial Hierarchy with ASP(Q);Enumeration of Minimal Models and MUSes in WASP;a Practical Account into Counting Dung’s Extensions by Dynamic programming;Clingraph: ASP-Based Visualization;A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection;QMaxSATpb: A Certified MaxSAT Solver;knowledge-Based Support for Adhesive Selection;ASP for Flexible Payroll Management;Analysis of Cyclic Fault Propagation via ASP;learning to Rank the Distinctiveness of Behaviour in Serial Offending;optimising Business Process Discovery Using Answer Set programming;DeduDeep: An Extensible Framework for Combining Deep Learning and ASP-Based Models;statis

关键词：

来源：评论

学校读者我要写书评

暂无评论

Datalog-2.0 2022 - Proceedings of the 4th international Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 16th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2022

Datalog-2.0 2022 - Proceedings of the 4th International Work...

引用

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

the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchange settings beyond positive queries;new perspectives for fuzzy datalog;model checking verification of multilayer perceptrons in datalog: a many-valued approach with typicality;towards bridging traditional and smart contracts with datalog-based languages;datalog-based reasoning with heuristics over knowledge graphs;a rule-based constraint language for event streams;a formal comparison between datalog-based languages for stream reasoning;towards better understanding of the performance and design of datalog systems;and intelligent agents and complex event processing to enhance patient monitoring.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Economical high-speed inspection line for Tin-capped glass vials 16

Economical high-speed inspection line for Tin-capped glass v...

引用

16th international conference on Computer and Automation Engineering (ICCAE)

作者： Nanduri, Chanakya Hegde, Prarthana Hukkeri, Amey Rawashdeh, Nathir A. Michigan Technol Univ Dept Appl Comp Houghton MI 49931 USA

ISBN: (纸本)9798350370058;9798350370164

Vial cap inspection includes checking for missing caps, vial height or any other damage. Possible failures could be seemingly minor cosmetic problems, such as scratches or tiny punctures which could indicate potential seal problems and inappropriate height. the paper and the respective project target the over-priced setup used for high-speed inspection of glass vials in the pharma industry and offer a more economical layout/setup that can prove the same efficiency as any high sophisticated setup costing thousands of dollars. We replace the camera vision normally used in these systems by infrared radiation sensors which are easily integrated with Programmable logic Controllers and are cheaper than the camera vision systems. We used ladder logic programming to compute for bad and good parts on the conveyer system.

关键词： Industrial automation PLC Inspection line Glass vial production High speed Inspection Economical automation solution inductive sensor Infrared sensor Conveyor Pneumatic system Vial sorting

来源：评论

学校读者我要写书评

暂无评论

Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal logic Specifications 16

Path Planning for Autonomous Vehicle Turning at Intersection...

引用

16th international conference on Computer and Automation Engineering (ICCAE)

作者： Wang, Yujin Huang, Zhaoyan Dong, Shiying Chu, Hongqing Yin, Xiang Gao, Bingzhao Tongji Univ Sch Automot Studies Shanghai Peoples R China Jilin Univ Dept Control Sci & Engn Changchun Peoples R China Shanghai Jiao Tong Univ Dept Automat Shanghai Peoples R China

ISBN: (纸本)9798350370058;9798350370164

this work establishes signal temporal logic specifications for driving tasks that autonomous vehicle should execute when turning at intersections. the specifications are based on traffic regulations of China. By encoding signal temporal logic specifications as mixed-integer constraints, optimization problems could be established for path planning. By solving the problems with Gurobi optimizer, safe paths could be obtained. through this work, it is demonstrated that signal temporal logic is a profound tool for formalizing driving tasks and solving path planning problems in autonomous driving. the feasibility of the proposed method is demonstrated via a numerical experiment.

关键词： path planning signal temporal logic mixed-integer programming autonomous vehicle

来源：评论

学校读者我要写书评

暂无评论

Towards declarative intent processing and conflict resolution in IBN 16

Towards declarative intent processing and conflict resolutio...

引用

16th IEEE/ACM international conference on Utility and Cloud Computing (UCC) / 10th IEEE/ACM international conference on Big Data Computing, Applications and Technologies (BDCAT)

作者： Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9798400702341

Intent-based networking aims at achieving automated network management by allowing users to express desired outcomes rather than manually configure network resources. In this poster paper, by means of an example, we illustrate our proposal for a declarative and vendor-agnostic methodology to perform intent processing and translation, including static conflict detection and resolution between intents, by leveraging logic programming to determine feasible placements of Virtual Network Function chains. We conclude by pointing out lines for future work.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of three Neural-Symbolic Approaches to inductive logic programming 16th

A Comparative Study of Three Neural-Symbolic Approaches to I...

引用

16th international conference on logic programming and Non-Monotonic Reasoning (LPNMR)

作者： Beretta, Davide Monica, Stefania Bergenti, Federico Univ Parma Dipartimento Sci Matemat Fis & Informat I-43124 Parma Italy Univ Modena & Reggio Emilia Dipartimento Sci & Metodi Ingn I-42122 Reggio Emilia Italy

ISBN: (纸本)9783031157073;9783031157066

An interesting feature that traditional approaches to inductive logic programming are missing is the ability to treat noisy and non-logical data. Neural-symbolic approaches to inductive logic programming have been recently proposed to combine the advantages of inductive logic programming, in terms of interpretability and generalization capability, with the characteristic capacity of deep learning to treat noisy and nonlogical data. this paper concisely surveys and briefly compares three promising neural-symbolic approaches to inductive logic programming that have been proposed in the last five years. the considered approaches use Datalog dialects to represent background knowledge, and they are capable of producing reusable logical rules from noisy and non-logical data. therefore, they provide an effective means to combine logical reasoning with state-of-the-art machine learning.

关键词： Neural-symbolic learning inductive logic programming Machine learning Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Declarative and linear programming approaches to service placement, reconciled 16

Declarative and linear programming approaches to service pla...

引用

IEEE 16th international conference on Cloud Computing (IEEE CLOUD)

作者： Massa, Jacopo Forti, Stefano Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9798350304817

this article proposes an approach to the data-aware multi-service application placement problem in Cloud-Edge settings. We propose both declarative programming and a Mixed-Integer Linear programming (MILP) approach to determine eligible placements that minimise operational costs and reduce the number of used nodes to contain the amount of data transfers. After assessing the performance of both approaches, we reconcile them into a methodology that combines the best of the two worlds by exploiting a declarative pre-processing step to boost the MILP solver while determining optimal solutions. We open-sourced the methodology into a prototype that is 10x faster than pure MILP, determines optimal results, and easily accommodates non-numerical constraints on application placements.

关键词： fog computing application placement data-awareness mathematical optimisation logic programming

来源：评论

学校读者我要写书评

暂无评论

Analytical concepts of causal inference and intensification of data prioritizing meta-heuristic approach 16

Analytical concepts of causal inference and intensification ...

引用

16th international conference on Electronics, Computers and Artificial Intelligence, ECAI 2024

作者： Polkowski, Zdzislaw Mishra, Jyoti Prakash Mishra, Sambit Kumar Jan Wyzykowski University Polkowice Poland Gandhi Institute for Education and Technology Bhubaneswar Affiliated to Biju Patnaik University of Technology Odisha Rourkela India

ISBN: (纸本)9798350371154

In general data science is the prioritization on large size data provisioning multidisciplinary approach towards extraction of meaningful insights in general as well as business applications. In this context, general purpose programming languages have already been thought of in which the basic importance has been provisioned towards code readability with transparency. As the direct involvement may be on multiple programming paradigms, the interpreters associated with the conceptualized programming environment can be provisioned with many operating systems. Somehow due to structured programming approach, the linkages can be associated towards functional programming as well as aspect oriented and logic programming. In many situations, it has been observed that the dynamic implementation can be initiated provisioning specified sequenced references in memory management. Accordingly, the programming languages associated with the features of binding methods can be properly sequenced during program execution. As per maximum extensibilities of some specific programming languages, the programmable interfaces towards existing applications can enhance the feasibilities with the existing applications. In practical situation, analysis of the huge amount of heterogeneous data implementing learning principles is possible to focus on meaningful intelligent applications to maximize the outcomes from each and every stage of application. As it is understood that modeling data with predictive analysis is quite feasible using intelligent agents as well as meta-heuristic approaches, accordingly in this work, the meta-heuristic technique has been prioritized to focus on causal inference with intensification data. © 2024 IEEE.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

the Minimal Negated Model Semantics of Assumable logic Programs 16th

The Minimal Negated Model Semantics of Assumable Logic Progr...

引用

16th international conference on Knowledge Science, Engineering and Management (KSEM)

作者： Zhang, Shutao Zhang, Zhizheng Southeast Univ Nanjing Jiangsu Peoples R China

ISBN: (纸本)9783031402883;9783031402890

Assumable logic programming (ALP) extends the regular logic programs with an assumption operator C. the intuition of Cp is that it is acceptable to assume p unless it is forced not to. this paper presents the minimal negated model semantics, a new semantics of ALP, where the minimal negated set is defined to formalize this intuition. the assumptions in this set must be negated, and the ones outside are considered acceptable. this paper also discusses the relationship between the minimal negated model semantics and the stable model semantics. this new semantics provides new insight into assumable logic programming.

关键词： Stable Model Semantics Assumable logic programming Minimal Negated Model Reverse Reduct

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：