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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,428 篇 会议
70 册 图书
56 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

1,261 篇 工学
- 1,246 篇 计算机科学与技术...
- 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 篇 农学

主题

388 篇 logic programmin...
142 篇 artificial intel...
63 篇 semantics
52 篇 answer set progr...
49 篇 mathematical log...
43 篇 computer circuit...
42 篇 formal logic
40 篇 knowledge repres...
35 篇 logics and meani...
29 篇 programming tech...
25 篇 knowledge repres...
25 篇 calculations
22 篇 programming lang...
18 篇 software enginee...
16 篇 fuzzy logic
16 篇 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...
11 篇 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,540 篇 英文
8 篇 中文
6 篇 其他

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

共 1554 条记录，以下是1501-1510 订阅

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

详细简洁

排序：

Inductive logic programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540738473

ISBN: (纸本)9783540738466

the inherent dangers of change are often summed up in the misquoted Chinese curse “May you live in interesting times.” the submission procedure for the 16th international conference of Inductive logic programming (ILP 2006) was a radical (hopefully interesting but not cursed) departure from previous years. Submissions were requested in two phases. the ?rst phase involved submission of short papers (three pages) which were then presented at the conference and included in a short papers proceedings. In the second phase, reviewers selected papersforlongpapersubmission(15pagesmaximum).thesewerethenassessed by the same reviewers, who then decided which papers to include in the journal special issue and proceedings. In the ?rst phase there were a record 77 papers, comparedto the usual20 orso long *** was- viewed by three reviewers. Out of these, 71 contributors were invited to submit long papers. Out of the long paper submissions, 7 were selected for the - chine Learning Journal special issue and 27 were accepted for the proceedings. In addition, two papers were nominated by Program Committee referees for the applications prize and two for the theory prize. the papers represent the div- sity and vitality in present ILP research including ILP theory, implementations, search and phase transition, distributed and large-scale learning, probabilistic ILP, biological applications, natural language learning and planning and action learning.

关键词： Software Engineering/programming and Operating Systems artificial intelligence programming Techniques Mathematical logic and Formal Languages Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

artificial intelligence and Symbolic Computation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Gonzalo A. Aranda-Corral Jacques Calmet Francisco J. Martín-Mateos

ISBN: (数字)9783319137704

ISBN: (纸本)9783319137698

this book constitutes the refereed proceedings of the 12th international conference on artificial intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. the 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. the goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. the papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.

关键词： Symbolic and Algebraic Manipulation artificial intelligence Math Applications in Computer Science Information Storage and Retrieval Mathematical logic and Formal Languages Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

logic and Argumentation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Pietro Baroni Christoph Benzmüller Yὶ N. Wáng

ISBN: (数字)9783030893910

ISBN: (纸本)9783030893903

this book constitutes the refereed proceedings of the 4th international conference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. the topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.

关键词： artificial intelligence programming Techniques programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Computational logic in Multi-Agent Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： João Leite Paolo Torroni

ISBN: (数字)9783540318576

ISBN: (纸本)9783540280606

the notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. the purpose of the Computational logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. the ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, ***,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European conference on logics in Arti?cial intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. the workshop received 35 submissions – a sensible increase from the previous ***-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

关键词： artificial intelligence Computer Communication Networks Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Marcello Balduccini Yuliya Lierler Stefan Woltran

this book constitutes the refereed proceedings of the 15th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.

ISBN: (数字)9783030205287

ISBN: (纸本)9783030205270

this book constitutes the refereed proceedings of the 15th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.

关键词： artificial intelligence logics and Meanings of Programs Software Engineering/programming and Operating Systems Computer Appl. in Administrative Data Processing Database Management

来源：评论

学校读者我要写书评

暂无评论

logic programming And Nonmonotonic reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540692492

ISBN: (纸本)9783540632559

this book constitutes the refereed proceedings of the 4th international conference on logic programming and Nonmonotonic reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.;the volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. the papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

关键词： artificial intelligence Software Engineering/programming and Operating Systems Computer System Implementation Mathematical logic and Formal Languages programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Computational logic — CL 2000 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey

ISBN: (数字)9783540449577

ISBN: (纸本)9783540677970

these are the proceedings of the First international conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. the theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. the conference was collocated with the following events: { 6th international conference on Rules and Objects in Databases (DOOD 2000) { 10th international Workshop on logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th international conference on Inductive logic programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { logic programming: theory and Extensions { Constraints { Automated Deduction: Putting theory into Practice { Knowledge Representation and Non-monotonic reasoning { Database Systems (DOOD 2000) { logic programming: Implementations and Applications. the LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. the acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.

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

来源：评论

学校读者我要写书评

暂无评论

Applications of Declarative programming and Knowledge Management 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dietmar Seipel Michael Hanus Ulrich Geske Oskar Bartenstein

ISBN: (数字)9783540321248

ISBN: (纸本)9783540255604

this volume contains a selection of papers presented at the 15th international conference on Applications of Declarative programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on logic programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. this speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. the INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. they comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. the Workshops on logic programming are the annual meeting of the Society for logic programming (GLP e.V.). they bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

关键词： programming Languages, Compilers, Interpreters artificial intelligence programming Techniques

来源：评论

学校读者我要写书评

暂无评论

logic-Based Program Synthesis and Transformation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Maurizio Gabbrielli

ISBN: (数字)9783030452605

ISBN: (纸本)9783030452599

this book constitutes the thoroughly refereed post-conference proceedings of the 29th international Symposium on logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. the 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.;the symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. this year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. the papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.

关键词： logics and Meanings of Programs Computer Systems Organization and Communication Networks Simulation and Modeling Computer Applications artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Advanced Intelligent Computing theories and Applications. With Aspects of artificial intelligence 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540859840

ISBN: (纸本)9783540859833

the international conference on Intelligent Computing (ICIC) was formed to p- vide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both academia and ind- try to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. ICIC 2008, held in Shanghai, China, September 15–18, 2008, constituted the 4th international conference on Intelligent Computing. It built upon the success of ICIC 2007, ICIC 2006 and ICIC 2005 held in Qingdao, Kunming and Hefei, China, 2007, 2006 and 2005, respectively. this year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. therefore, the theme for this conference was “Emerging Intelligent Computing Technology and Applications”. Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology.

关键词： programming Techniques programming Languages, Compilers, Interpreters Database Management artificial intelligence Mathematical logic and Formal Languages Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：