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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
20 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
16 篇 artificial intel...
15 篇 mathematical log...
14 篇 inductive logic ...
12 篇 logics and meani...
11 篇 software enginee...
11 篇 logic
11 篇 programming tech...
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

380 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

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

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

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

详细简洁

排序：

What Is Decidable in Separation logic Beyond Progress, Connectivity and Establishment? 12th

What Is Decidable in Separation Logic Beyond Progress, Conne...

引用

12th international Joint conference on Automated Reasoning (IJCAR)

作者： Bozec, Tanguy Peltier, Nicolas Petitjean, Quentin Sighireanu, Mihaela Univ Grenoble Alpes LIG CNRS F-38000 Grenoble France Univ Paris Saclay Lab Methodes Formelles ENS Paris Saclay CNRS F-91190 Gif Sur Yvette France

ISBN: (纸本)9783031635007;9783031635014

the predicate definitions in Separation logic (SL) play an important role: they capture a large spectrum of unbounded heap shapes due to their inductiveness. this expressiveness power comes with a limitation: the entailment problem is undecidable if predicates have general inductive definitions (ID). Iosif et al. [8] proposed syntactic and semantic conditions, called PCE, on the ID of predicates to ensure the decidability of the entailment problem. We provide a (possibly nonterminating) algorithm to transform arbitrary ID into equivalent PCE definitions when possible. We show that the existence of an equivalent PCE definition for a given ID is undecidable, but we identify necessary conditions that are decidable. the algorithm has been implemented, and experimental results are reported on a benchmark, including significant examples from SL-COMP.

关键词： Separation logic inductive definitions Bounded treewidth fragment PCE fragment Symbolic heaps Decision procedures

来源：评论

学校读者我要写书评

暂无评论

Learning logic Programs through Divide, Constrain, and Conquer 36

Learning Logic Programs Through Divide, Constrain, and Conqu...

引用

36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence

作者： Cropper, Andrew Univ Oxford Oxford England

ISBN: (纸本)9781577358763

We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate invention. Our experiments on three domains (classification, inductive general game playing, and program synthesis) show that our approach can increase predictive accuracies and reduce learning times.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

METAGPT: META programming FOR A MULTI-AGENT COLLABORATIVE FRAMEWORK 12

METAGPT: META PROGRAMMING FOR A MULTI-AGENT COLLABORATIVE FR...

引用

12th international conference on Learning Representations, ICLR 2024

作者： Hong, Sirui Zhuge, Mingchen Chen, Jonathan Zheng, Xiawu Cheng, Yuheng Zhang, Ceyao Wang, Jinlin Wang, Zili Yau, Steven Ka Shing Lin, Zijuan Zhou, Liyang Ran, Chenyu Xiao, Lingfeng Wu, Chenglin Schmidhuber, Jürgen DeepWisdom AI Initiative King Abdullah University of Science and Technology Saudi Arabia Xiamen University China The Chinese University of Hong Kong Shenzhen China Nanjing University China University of Pennsylvania United States University of California Berkeley United States The Swiss AI Lab IDSIA USI SUPSI Switzerland

Remarkable progress has been made on automated problem solving through societies of agents based on large language models (LLMs). Existing LLM-based multi-agent systems can already solve simple dialogue tasks. Solutions to more complex tasks, however, are complicated through logic inconsistencies due to cascading hallucinations caused by naively chaining LLMs. Here we introduce MetaGPT, an innovative meta-programming framework incorporating efficient human workflows into LLM-based multi-agent collaborations. MetaGPT encodes Standardized Operating Procedures (SOPs) into prompt sequences for more streamlined workflows, thus allowing agents with human-like domain expertise to verify intermediate results and reduce errors. MetaGPT utilizes an assembly line paradigm to assign diverse roles to various agents, efficiently breaking down complex tasks into subtasks involving many agents working together. On collaborative software engineering benchmarks, MetaGPT generates more coherent solutions than previous chat-based multi-agent systems. Our project can be found at https://***/geekan/MetaGPT. © 2024 12th international conference on Learning Representations, ICLR 2024. All rights reserved.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Neuro-Symbolic inductive logic programming with logical Neural Networks 36

Neuro-Symbolic Inductive Logic Programming with Logical Neur...

引用

36th AAAI conference on Artificial Intelligence / 34th conference on Innovative Applications of Artificial Intelligence / 12th Symposium on Educational Advances in Artificial Intelligence

作者： Sen, Prithviraj de Carvalho, Breno W. S. R. Riegel, Ryan Gray, Alexander IBM Res Armonk NY 10504 USA

ISBN: (纸本)9781577358763

Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with differentiable operators from fuzzy or real-valued logic that are parameter-free thus diminishing their capacity to fit the data, other approaches are only loosely based on logic making it difficult to interpret the learned "rules". In this paper, we propose learning rules with the recently proposed logical neural networks (LNN). Compared to others, LNNs offer a strong connection to classical Boolean logic thus allowing for precise interpretation of learned rules while harboring parameters that can be trained with gradient-based optimization to effectively fit the data. We extend LNNs to induce rules in first-order logic. Our experiments on standard benchmarking tasks confirm that LNN rules are highly interpretable and can achieve comparable or higher accuracy due to their flexible parameterization.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

12th International Symposium on Leveraging Applications of F...

引用

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

ISBN: (纸本)9783031753794

the proceedings contain 25 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Klaim in the Making;formal Approaches for Modeling and Analysis of Business Process Collaborations;an Abstract Account of Up-to Techniques for inductive Behavioural Relations;language Equivalence from Nondeterministic to Weighted Automata—and Back;a Process Algebraic View of In/Out Prisoners;towards a Formal Testing theory for Quantum Processes;testing Quantum Processes;the ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops;towards a Probabilistic programming Approach to Analyse Collective Adaptive Systems;Can AI Help with the Formalization of Railway Cybersecurity Requirements?;white-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining;analysing Collective Adaptive Systems by Proving theorems;engineering Ethical-Aware Collective Adaptive Systems;emerging Synchrony in Applauding Audiences: Formal Analysis and Specification;flocks of Birds: A Quantitative Evaluation;strategies in Spatio-Temporal logics for Multi-agent Systems;function-as-a-Service Allocation Policies Made Formal;asynchronous Multiparty Sessions with Internal Delegation: Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday;code-Centric Code Generation;attack Tree Generation via Process Mining;local Spaces in Soft Concurrent Constraint programming Oriented to Security;Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING;preventing Out-of-Gas Exceptions by Typing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Strongly Equivalent logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order logic 1

引用

12th international Joint conference on Automated Reasoning (IJCAR)

作者： Heuer, Jan Wernhard, Christoph Univ Potsdam Potsdam Germany

ISBN: (数字)9783031634987

ISBN: (纸本)9783031634970;9783031634987

We show a projective Beth definability theorem for logic programs under the stable model semantics: For given programs P and Q and vocabulary V (set of predicates) the existence of a program R in V such that P. R and P. Q are strongly equivalent can be expressed as a first-order entailment. Moreover, our result is effective: A program R can be constructed from a Craig interpolant for this entailment, using a known first-order encoding for testing strong equivalence, which we apply in reverse to extract programs from formulas. As a further perspective, this allows transforming logic programs via transforming their first-order encodings. In a prototypical implementation, the Craig interpolation is performed by first-order provers based on clausal tableaux or resolution calculi. Our work shows how definability and interpolation, which underlie modern logic-based approaches to advanced tasks in knowledge representation, transfer to answer set programming.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

12th International Symposium on Leveraging Applications of F...

引用

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

ISBN: (纸本)9783031737084

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

12th International Symposium on Leveraging Applications of F...

引用

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

ISBN: (纸本)9783031753794

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

12th International Symposium on Leveraging Applications of F...

引用

12th international Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

ISBN: (纸本)9783031751066

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Equivalence Relations for Solving a Multiple Objective Linear programming Problem 1

引用

Fuzzy logic and Technology, and Aggregation Operators 13th conference of the European Society for Fuzzy logic and Technology, EUSFLAT 2023, and 12th international Summer School on Aggregation Operators, AGOP 2023

作者： Grigorenko, Olga Zemlītis, Mārtiņš Institute of Mathematics and Computer Science University of Latvia Raina bulv. 29 Riga1459 Latvia

ISBN: (数字)9783031399657

ISBN: (纸本)9783031399640

We are developing an approach that is an alternative to the Zimmermann approach to solving a multiple objective linear programming problem. We use fuzzy equivalence relations to solve the problem, where fuzzy sets are used in the Zimmermann approach. We will prove the effectiveness of the new approach, illustrate and compare the use of different approaches with illustrative examples. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：