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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

173 篇 会议
25 篇 期刊文献
14 册 图书

馆藏范围

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

日期分布

学科分类号

126 篇 工学
- 112 篇 计算机科学与技术...
- 62 篇 软件工程
- 5 篇 电气工程
- 5 篇 控制科学与工程
- 2 篇 电子科学与技术（可...
- 2 篇 信息与通信工程
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 交通运输工程
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 建筑学
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
43 篇 理学
- 39 篇 数学
- 4 篇 统计学（可授理学、...
- 3 篇 生物学
- 3 篇 系统科学
- 1 篇 化学
9 篇 管理学
- 6 篇 图书情报与档案管...
- 4 篇 管理科学与工程(可...
- 2 篇 工商管理
2 篇 教育学
- 2 篇 教育学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学

主题

63 篇 logic programmin...
16 篇 logic
8 篇 programming prof...
8 篇 mathematical log...
7 篇 fuzzy logic
7 篇 programming
7 篇 semantics
7 篇 answer set progr...
7 篇 artificial intel...
7 篇 logics and meani...
7 篇 engines
6 篇 computer science
6 篇 information syst...
6 篇 logic gates
6 篇 uncertainty
5 篇 software enginee...
5 篇 application soft...
5 篇 automation
5 篇 software enginee...
5 篇 natural language...

机构

3 篇 new mexico state...
2 篇 katholieke univ ...
2 篇 mpi sws kaisersl...
2 篇 computer systems...
2 篇 i3s-cnrs la valb...
2 篇 institute of log...
2 篇 univ colorado de...
2 篇 ecole polytech i...
2 篇 vienna univ tech...
2 篇 imperial college...
2 篇 aarhus univ aarh...
2 篇 univ birmingham ...
2 篇 telecommunicatio...
1 篇 laboratore d''an...
1 篇 liris f-69134 ec...
1 篇 escola politécni...
1 篇 free university ...
1 篇 institute of inf...
1 篇 kyushu sangyo un...
1 篇 saarland univ sa...

作者

4 篇 woltran stefan
4 篇 eiter thomas
3 篇 russo alessandra
3 篇 cabalar pedro
2 篇 flanagan rh
2 篇 gebser martin
2 篇 arntzenius micha...
2 篇 schaub torsten
2 篇 plamen zahariev
2 篇 dovier agostino
2 篇 georgi hristov
2 篇 calautti marco
2 篇 nina bencheva
2 篇 a. fall
2 篇 m.-c. thomas
2 篇 birkedal lars
2 篇 vicente henrique
2 篇 v. dahl
2 篇 vidal concepcion
2 篇 nikolay kostadin...

语言

201 篇 英文
9 篇 其他
2 篇 中文

检索条件"任意字段=21st International Conference on Logic Programming, ICLP 2005"

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

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

详细简洁

排序：

BEWARE 2022 - Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of logic and logic programming, co-located with the 21st international conference of the Italian Association for Artificial Intelligence, AI*IA 2022

BEWARE 2022 - Proceedings of 1st Workshop on Bias, Ethical A...

引用

1st Workshop on Bias, Ethical AI, Explainability and the Role of logic and logic programming, BEWARE 2022

The proceedings contain 14 papers. The topics discussed include: ethics and gender for responsible research and innovation in AI;proof-checking bias in labeling methods;two remarks on counting propositional logic;logics for binary-input classifiers and their explanations;reasoning about algorithmic opacity;investigating bias with a synthetic data generator: empirical evidence and philosophical interpretation;fairness and bias in learning systems: a generative perspective;using inductive logic programming to globally approximate neural networks for preference learning: challenges and preliminary results;investigation and mitigation of bias in explainable AI;explaining predictions with enthymematic counterfactuals information;and gender knowledge and artificial intelligence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Toward Declarative Auditing of Java Software for Graceful Exception Handling 21

Toward Declarative Auditing of Java Software for Graceful Ex...

引用

21st ACM SIGPLAN international conference on Managed programming Languages and Runtimes (MPLR)

作者： Amour, Leo st Tilevich, Eli Virginia Tech Blacksburg VA 24061 USA

ISBN: (纸本)9798400711183

Despite their language-integrated design, Java exceptions can be difficult to use effectively. Although Java exceptions are syntactically straightforward, negligent practices often result in code logic that is not only inelegant but also unsafe. This paper explores the challenge of auditing Java software to enhance the effectiveness and safety of its exception logic. We revisit common anti-patterns associated with Java exception usage and argue that, for auditing, their detection requires a more nuanced approach than mere identification. Specifically, we investigate whether reporting such anti-patterns can be prioritized for subsequent examination. We prototype our approach as HANDEL, in which anti-patterns and their priority, or weight, are expressed declar-atively using probabilistic logic programming. Evaluation with representative open-source code bases suggests HANDEL'S promise in detecting, reporting, and ranking the anti-patterns, thus helping streamline Java software auditing to ensure the safety and quality of exception-handling logic.

关键词： Software Auditing static Program Analysis Probabilistic Reasoning Exceptions Java logic programming

来源：评论

学校读者我要写书评

暂无评论

Advancing Smart Urban Futures in the Healthcare Sector 21st

Advancing Smart Urban Futures in the Healthcare Sector

引用

21st international Symposium on Distributed Computing and Artificial Intelligence

作者： Alves, Vitor Marreiros, Goreti Fdez-Riverola, Florentino Neves, Jose Ribeiro, Jorge Vicente, Henrique Inst Politecn Viana Castelo ADiT LAB Viana do Castelo Portugal Univ Vigo Dept Comp Sci ESEI Escuela Super Ingn Informat CINBIO Orense 32004 Spain SERGAS UVIGO Galicia Hlth Res Inst IIS Galicia SING Res Grp Vigo Spain Inst Super Engenharia Porto Dept Engenharia Informat Porto Portugal Univ Minho Centro Algoritmi LASI Braga Portugal Inst Politecn Saude Norte CESPU Famalicao Portugal Univ Evora Dept Quim Bioquim Escola Ciencias & Tecnol REQUIMTE LAQV Evora Portugal

ISBN: (纸本)9783031809453;9783031809460

As urban development stands on the brink of a new epoch, the imperative exploration of artificial intelligence, logic programming, and entropy demands visionary planning, ethical conduct, and a deep appreciation of their far-reaching impact when synergized within smart city frameworks. This study delves into the complex relationship between artificial intelligence, logic programming, and entropy, highlighting their pivotal role in advancing smart cities towards operational excellence and evolutionary success. By harnessing artificial intelligence's understanding of human emotions and sentiments, urban centers are redefining city living. Employing cutting-edge technologies not only empowers healthcare innovation but also improves city planning, public safety, transit systems, and environmental management, significantly enhancing the quality of life for citizens. The key finding of this study underscores the importance of addressing challenges inherent in such integration, particularly in healthcare, leading to a high degree of citizens' wellbeing.

关键词： Artificial Intelligence logic programming Entropy Smart Cities Urban Life Sentiments and Feelings Healthcare Citizens Wellbeing

来源：评论

学校读者我要写书评

暂无评论

Hybridization of Description logics and logic programming

Hybridization of Description Logics and Logic Programming

引用

21st international conference on The Semantic Web (ESWC)

作者： Sheela, Arun Raveendran Nair Clermont Auvergne Univ Clermont Ferrand France

ISBN: (纸本)9783031789540;9783031789557

Thales aims to develop a virtual assistant to support pilots during flights, with a central component being the knowledge base. This knowledge base is built using a knowledge representation (KR) and reasoning system, encompassing various knowledge types including static and dynamic. However, existing KR systems present some limitations which include expressiveness and reasoning performance. The problem of expressiveness can be addressed by integrating two distinct KR concepts: Rules and Ontologies. Ontologies offers a framework for formalizing concepts, properties, and relationships, whereas rules express knowledge through IF-Then constructs. Integrating these approaches enriches knowledge representation and reasoning systems in many ways and helps to achieve completeness. However, this integration poses challenges, such as the difficulty of aligning their semantics and addressing issues of decidability. This thesis focuses on defining a methodology to combine rules and ontologies to overcome these challenges and build an optimized reasoner to execute the reasoning tasks of the virtual assistant ensuring good performance.

关键词： Description logic Rules logic programming Hybrid Knowledge Base

来源：评论

学校读者我要写书评

暂无评论

NMR 2024 - Proceedings of the 22nd international Workshop on Nonmonotonic Reasoning, co-located with 21st international conference on Principles of Knowledge Representation and Reasoning, KR 2024

NMR 2024 - Proceedings of the 22nd International Workshop on...

引用

22nd international Workshop on Nonmonotonic Reasoning, NMR 2024

The proceedings contain 19 papers. The topics discussed include: on computational problems for infinite argumentation frameworks: the complexity of finding acceptable extensions;linear algebraic partial evaluation of logic programs;probabilistic logic programming under the l-stable semantics;walking the tightrope between expressiveness and uncomputability: AGM contraction beyond the finitary realm;reasoning about simultaneous change in trust and belief;an extension-based argument-ranking semantics: social rankings in abstract argumentation;defining an adaptable framework for behavior support agents in default logic;a first peek into preferential logics with team semantics;extraction of conditional belief bases and the system Z ranking model from multilayer perceptrons for binary classification;and on the correspondence of non-flat assumption-based argumentation and logic programming with negation as failure in the head.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DEVELOPMENT AND EVALUATION OF A METHOD FOR IDENTIFYING logic ERRORS USING MACHINE LEARNING WITH A FOCUS ON PROGRAM stRUCTURE 21

DEVELOPMENT AND EVALUATION OF A METHOD FOR IDENTIFYING LOGIC...

引用

21st international conference on Applied Computing 2024, AC 2024 and 23rd international conference on WWW/Internet 2024, ICWI 2024

作者： Harada, Yuta Sato, Soichiro Nakamura, Shoichi Miyadera, Youzou Department of Education Tokyo Gakugei University 4-1-1 Nukuikitamachi Koganei-shi Tokyo184-8501 Japan Department of Computer Science and Mathematics Fukushima University 1 Kanayagawa Fukusima-shi Fukushima960-1296 Japan Division of Natural Science Tokyo Gakugei University 4-1-1 Nukuikitamachi Koganei-shi Tokyo184-8501 Japan

ISBN: (纸本)9789898704627

In programming exercise classes at universities, instructors must quickly determine the learner's situation and provide support. However, it is difficult to deal with learners making logic errors. This is because there is more than one way to solve a task that a learner is working on, and the method of program logic coding (hereinafter, "coding method") differs for each student. Therefore, when instructors help learners solve logic errors, they must be supported by considering each learner's coding method. This study aims to develop a method for identifying logic errors that learners are currently making, considering each learner's coding method. In this study, we assume that the learner’s coding method is reflected in the program structure. We then attempt to analyze the program focusing on its structure. Specifically, using clustering, we tried to categorize source code by the learner’s coding method and identify logic errors in it. Results of evaluating our method using the Hold-out Validation show it can identify logic errors with 70% accuracy. This result indicates a new approach for instructors to help learners when they are stuck during programming practice. © 2024 Proceedings of the international conferences on Applied Computing and WWW/Internet 2024. All rights reserved.

关键词： Identifying stumbling logic Error Machine Learning programming Learning Support Source Code Editing History

来源：评论

学校读者我要写书评

暂无评论

21st international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2024

21st International Conference on the Integration of Constrai...

引用

21st international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2024

ISBN: (纸本)9783031606014

The proceedings contain 21 papers. The special focus in this conference is on Integration of Constraint programming, Artificial Intelligence, and Operations Research. The topics include: Acquiring Constraints for a Non-linear Transmission Maintenance Scheduling Problem;efficiently Mining Closed Interval Patterns with Constraint programming;Local Alterations of the Lagrange Multipliers for Enhancing the Filtering of the AtMostNValue Constraint;Single Constant Multiplication for SAT;towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches;accelerating Continuous Variable Coherent Ising Machines via Momentum;decision-Focused Predictions via Pessimistic Bilevel Optimization: A Computational study;bi-objective Discrete Graphical Model Optimization;an Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis;UNSAT Solver Synthesis via Monte Carlo Forest Search;a Hybrid Approach Integrating Generalized Arc Consistency and Differential Evolution for Global Optimization;assessing Group Fairness with Social Welfare Optimization;modeling and Exploiting Dominance Rules for Discrete Optimization with Decision Diagrams;ViolationLS: Constraint-Based Local Search in CP-SAT;ULD Build-Up Scheduling with logic-Based Benders Decomposition;a Benders Decomposition Approach for a Capacitated Multi-vehicle Covering Tour Problem with Intermediate Facilities;don’t Explain Noise: Robust Counterfactuals for Randomized Ensembles;Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs;learning to Solve Job Shop Scheduling Under Uncertainty.

关键词：

来源：评论

学校读者我要写书评

暂无评论

21st international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2024

21st International Conference on the Integration of Constrai...

引用

21st international conference on the Integration of Constraint programming, Artificial Intelligence, and Operations Research, CPAIOR 2024

ISBN: (纸本)9783031605963

关键词：

来源：评论

学校读者我要写书评

暂无评论

Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined logic 21

Gate Camouflaging Using Reconfigurable ISFET-Based Threshold...

引用

21st IEEE Interregional NEWCAS conference (NEWCAS)

作者： Moussavi, Elmira Singh, Animesh Sisejkovic, Dominik Kumar, Aravind Padma Kizatov, Daniyar Ingebrandt, Sven Leupers, Rainer Pachauri, Vivek Merchant, Farhad Rhein Westfal TH Aachen Aachen Germany Corp Res Robert Bosch GmbH Secur Privacy & Safety Res Grp Gerlingen Germany Newcastle Univ Newcastle Upon Tyne England

ISBN: (纸本)9798350300246

Most chip designers outsource the manufacturing of their integrated circuits (ICs) to external foundries due to the exorbitant cost and complexity of the process. This involvement of untrustworthy, external entities opens the door to major security threats, such as reverse engineering (RE). RE can reveal the physical structure and functionality of intellectual property (IP) and ICs, leading to IP theft, counterfeiting, and other misuses. The concept of the threshold voltage-defined (TVD) logic family is a potential mechanism to obfuscate and protect the design and prevent RE. However, it addresses post-fabrication RE issues, and it has been shown that dopant profiling techniques can be used to determine the threshold voltage of the transistor and break the obfuscation. In this work, we propose a novel TVD modulation with ion-sensitive field-effect transistors (ISFETs) to protect the IC from RE and IP piracy. Compared to the conventional TVD logic family, ISFET-TVD allows post-manufacture programming. The ISFET-TVD logic gate can be reconfigured after fabrication, maintaining an exact schematic architecture with an identical layout for all types of logic gates, and thus overcoming the shortcomings of the classic TVD. The threshold voltage of the ISFETs can be adjusted after fabrication by changing the ion concentration of the material in contact with the ion-sensitive gate of the transistor, depending on the Boolean functionality. The ISFET is CMOS compatible, and therefore implemented on 45 nm CMOS technology for demonstration.

关键词： Reverse engineering camouflaging ion-sensitive field-effect transistor threshold voltage-defined

来源：评论

学校读者我要写书评

暂无评论

Contracted Temporal Equilibrium logic 21

Contracted Temporal Equilibrium Logic

引用

21st international conference on Principles of Knowledge Representation and Reasoning, KR 2024

作者： Cabalar, Pedro Eiter, Thomas Soldà, Davide University of A Coruña Spain Institute of Logic and Computation Technische Universität Wien Austria

ISBN: (纸本)9781956792058

The stable model semantics of logic programs has been characterized by Equilibrium logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we consider a selection that in addition may reduce the number of transitions in a trace, intuitively forming a contraction of it. We thus introduce contracted THT and contracted TEL on top of a model selection on a logical basis. The resulting c-stable models can be viewed as stable models in TEL that can not be summarized into a smaller trace. We illustrate contraction on several examples related to logic programming and explore several properties, like the relation to TEL and LTL, and in particular the connection to the LTL property of stuttering. © 2024 Proceedings of the international conference on Knowledge Representation and Reasoning. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：