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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,425 篇 会议
69 册 图书
55 篇 期刊文献

馆藏范围

1,548 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,260 篇 工学
- 1,245 篇 计算机科学与技术...
- 663 篇 软件工程
- 83 篇 控制科学与工程
- 62 篇 电气工程
- 48 篇 信息与通信工程
- 10 篇 生物工程
- 9 篇 生物医学工程（可授...
- 6 篇 交通运输工程
- 5 篇 化学工程与技术
- 4 篇 材料科学与工程（可...
- 4 篇 电子科学与技术（可...
- 4 篇 安全科学与工程
- 3 篇 机械工程
- 3 篇 建筑学
360 篇 理学
- 337 篇 数学
- 23 篇 统计学（可授理学、...
- 17 篇 系统科学
- 14 篇 生物学
- 10 篇 物理学
- 5 篇 化学
86 篇 管理学
- 53 篇 图书情报与档案管...
- 37 篇 管理科学与工程(可...
- 17 篇 工商管理
10 篇 法学
- 7 篇 法学
- 3 篇 社会学
9 篇 医学
- 9 篇 临床医学
- 7 篇 基础医学(可授医学...
- 6 篇 药学(可授医学、理...
7 篇 教育学
- 7 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学

主题

387 篇 logic programmin...
141 篇 artificial intel...
63 篇 semantics
52 篇 answer set progr...
48 篇 mathematical log...
43 篇 computer circuit...
42 篇 formal logic
40 篇 knowledge repres...
34 篇 logics and meani...
28 篇 programming tech...
25 篇 knowledge repres...
25 篇 calculations
21 篇 programming lang...
18 篇 software enginee...
16 篇 fuzzy logic
15 篇 inductive logic ...
13 篇 constraint progr...
12 篇 programming
12 篇 data description
12 篇 temporal logic

机构

15 篇 vienna univ tech...
13 篇 univ minho ctr a...
11 篇 univ potsdam pot...
10 篇 tu wien austria
8 篇 univ evora escol...
8 篇 univ texas dept ...
6 篇 new mexico state...
6 篇 inria rennes ren...
6 篇 university of po...
6 篇 imperial coll lo...
6 篇 univ kentucky de...
6 篇 univ minho dept ...
5 篇 univ potsdam ins...
5 篇 katholieke univ ...
5 篇 univ genoa dibri...
5 篇 natl inst inform...
5 篇 natl univ irelan...
5 篇 suny stony brook...
5 篇 mediclin arabian...
5 篇 carnegie mellon ...

作者

31 篇 schaub torsten
30 篇 ricca francesco
24 篇 eiter thomas
20 篇 vicente henrique
19 篇 gebser martin
18 篇 neves jose
17 篇 alviano mario
17 篇 tompits hans
16 篇 leone nicola
16 篇 woltran stefan
13 篇 faber wolfgang
13 篇 cabalar pedro
13 篇 dodaro carmine
12 篇 son tran cao
12 篇 baral chitta
11 篇 voronkov andrei
11 篇 maratea marco
11 篇 inoue katsumi
10 篇 fink michael
10 篇 neves joao

语言

1,537 篇 英文
8 篇 中文
4 篇 其他

检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"

共 1549 条记录，以下是1521-1530 订阅

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

详细简洁

排序：

logic programming and Nonmonotonic reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Georg Gottlob Daniela Inclezan Marco Maratea

ISBN: (数字)9783031157073

ISBN: (纸本)9783031157066

this book constitutes the refereed proceedings of the 16th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.;the 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. they were organized in topical sections as follows: Technical Contributions; Systems; Applications.;Statistical Statements in Probabilistic logic programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 international License via ***.;Chapters “Statistical Statements in Probabilistic logic programming” and “Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination” are available open access under a Creative Commons Attribution 4.0 international License via ***.

关键词： artificial intelligence programming Techniques programming Languages, Compilers, Interpreters logics and Meanings of Programs Computer Appl. in Administrative Data Processing

来源：评论

学校读者我要写书评

暂无评论

PRICAI’98: Topics in artificial intelligence 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540494614

ISBN: (纸本)9783540652717

this book constitutes the refereed proceedings of the 5th Pacific Rim international conference on artificial intelligence, PRICAI'98, held in Singapore, in November 1998.;the 56 revised papers presented were carefully reviewed and selected from a total of 197 submissions received from 25 countries. the papers are organized in sections on induction; multi-agent architecture; knowledge acquisition, modeling and validation; reasoning; knowledge discovery and data mining; knowledge management; application of fuzzy logic; applications of neural networks; searching; Bayesian networks; text analysis; knowledge structure; inductive logic programming; intelligent systems; foundations of AI; stochastic processes; abduction; information retrieval and speech recognition.

关键词： artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Esra Erdem Fangzhen Lin Torsten Schaub

ISBN: (数字)9783642042386

ISBN: (纸本)9783642042379

this volume contains the proceedings of the 10th international conference on logic programming and Nonmonotonic reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. the aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. the special theme of LPNMR 2009 was “Applications of logic Progr- ming and Nonmonotonic reasoning” in general and “Answer Set programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. the special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. the presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

关键词： artificial intelligence Discrete Mathematics theory of Computation Discrete Mathematics in Computer Science logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Deontic logic and Normative Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Fabrizio Cariani Davide Grossi Joke Meheus Xavier Parent

ISBN: (数字)9783319086156

ISBN: (纸本)9783319086149

this volume presents the refereed proceedings of the 12th international conference on Deontic logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in July 2014. the 17 revised papers and the 2 invited papers included in this volume were carefully reviewed and selected from 31 submissions. Topics covered include challenges from natural language for deontic logic; the relationship between deontic and other types of modality: epistemic modality, imperatives, supererogatory, etc.; the deontic paradoxes; the modeling of normative concepts other than obligation and permission, e.g., values; the game-theoretical aspects of deontic reasoning; the emergence of norms; norms from a conversational and pragmatic point of view; and norms and argumentation.

关键词： Mathematical logic and Formal Languages artificial intelligence logics and Meanings of Programs Computer Appl. in Administrative Data Processing programming Techniques Discrete Mathematics in Computer Science

来源：评论

学校读者我要写书评

暂无评论

logic for programming, artificial intelligence, and reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Edmund M. Clarke Andrei Voronkov

ISBN: (数字)9783642175114

ISBN: (纸本)9783642175107

this book constitutes the thoroughly refereed post-conference proceedings of the 16th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. the 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. the papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

关键词： artificial intelligence programming Techniques Software Engineering logics and Meanings of Programs Mathematical logic and Formal Languages programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Automated reasoning with Analytic Tableaux and Related Methods 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Anupam Das Sara Negri

ISBN: (数字)9783030860592

ISBN: (纸本)9783030860585

this book constitutes the proceedings of the 30th international conference on Automated reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September *** 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 *** present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. the papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

关键词： artificial intelligence Mathematical logic and Formal Languages logics and Meanings of Programs Software Engineering/programming and Operating Systems Computer System Implementation Control Structures and Microprogramming

来源：评论

学校读者我要写书评

暂无评论

logic for programming, artificial intelligence, and reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Nikolaj Bjørner Andrei Voronkov

ISBN: (数字)9783642287176

ISBN: (纸本)9783642287169

this book constitutes the proceedings of the 18th international conference on logic for programming, artificial intelligence, and reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. the 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. the series of international conferences on logic for programming, artificial intelligence and reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

关键词： Software Engineering artificial intelligence logics and Meanings of Programs Mathematical logic and Formal Languages programming Techniques programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

logic for programming, artificial intelligence, and reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Iliano Cervesato Helmut Veith Andrei Voronkov

ISBN: (数字)9783540894391

ISBN: (纸本)9783540894384

this book constitutes the refereed proceedings of the 15th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. the 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. the papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

关键词： artificial intelligence Software Engineering/programming and Operating Systems programming Techniques Software Engineering logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

logic programming and Automated reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540485735

ISBN: (纸本)9783540582168

this volume presents the proceedings of the 5th international conference on logic programming and Automated reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. the LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.;this proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. the papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.

关键词： Computer System Implementation programming Languages, Compilers, Interpreters theory of Computation artificial intelligence programming Techniques Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Intelligent Computer Mathematics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： James H. Davenport William M. Farmer Josef Urban Florian Rabe

ISBN: (数字)9783642226731

ISBN: (纸本)9783642226724

this book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized reasoning, Calculemus 2011, the 10th international conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. the events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.

关键词： artificial intelligence Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Mathematical logic and Formal Languages Data Mining and Knowledge Discovery

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共155页 << < 146 147 148 149 150 151 152 153 154 155 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：