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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

28 篇 会议
3 册 图书

馆藏范围

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

日期分布

学科分类号

22 篇 工学
- 22 篇 计算机科学与技术...
- 11 篇 软件工程
- 5 篇 信息与通信工程
- 4 篇 电气工程
- 2 篇 控制科学与工程
4 篇 理学
- 3 篇 数学
- 1 篇 系统科学
- 1 篇 统计学（可授理学、...
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学

主题

5 篇 logic programmin...
3 篇 artificial intel...
2 篇 computer circuit...
2 篇 probabilistic lo...
2 篇 programming tech...
2 篇 differentiation ...
1 篇 saturation based...
1 篇 computer science
1 篇 fuzzy logic
1 篇 inference engine...
1 篇 formal logic
1 篇 hidden markov mo...
1 篇 software enginee...
1 篇 reasoning
1 篇 markov processes
1 篇 ai explainabilit...
1 篇 vectors
1 篇 bottom-up reason...
1 篇 robots
1 篇 crime

机构

2 篇 univ udine udine
2 篇 kurt gödel socie...
1 篇 tu-wien austria
1 篇 vienna universit...
1 篇 department of co...
1 篇 university of ca...
1 篇 katholieke univ ...
1 篇 cardiff univ sch...
1 篇 institut für inf...
1 篇 university colle...
1 篇 microsoft resear...
1 篇 tu wien austria
1 篇 university of ox...
1 篇 fraunhofer first
1 篇 school of comput...
1 篇 national institu...
1 篇 julius-maximilia...
1 篇 guangdong univer...
1 篇 lipn cnrs umr 70...
1 篇 institute of log...

作者

3 篇 dreossi talissa
2 篇 freiman robert
2 篇 dovier agostino
2 篇 formisano andrea
1 篇 andrew craik
1 篇 shen yi-dong
1 篇 ranalter daniel
1 篇 masanobu umeda
1 篇 hommersom arjen
1 篇 wendt m
1 篇 michels steffen
1 篇 lolićanela@logic...
1 篇 sakama chiaki
1 篇 manzato agostino
1 篇 chowdhury rezaul...
1 篇 de raedt luc
1 篇 walęga przemysla...
1 篇 lang timo
1 篇 law mark
1 篇 wayne reid

语言

26 篇 英文
4 篇 其他
2 篇 中文

检索条件"任意字段=25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2024"

共 31 条记录，以下是21-30 订阅

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

详细简洁

排序：

HEX-programs with nested program calls 1

引用

19th International conference on Applications of Declarative programming and Knowledge Management, INAP 2011 and 25th Workshop on logic programming, WLP 2011

作者： Eiter, thomas Krennwallner, thomas Redl, Christoph Institut für Informationssysteme Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234

Answer-Set programming (ASP) is an established declarative programming paradigm. However, classical ASP lacks subprogram calls as in procedural programming, and access to external computations (akin to remote procedure calls) in general. this feature is desired for increasing modularity and—assuming proper access in place— (meta-)reasoning over subprogram results. While hex-programs extend classical ASP with external source access, they do not support calls of (sub-)programs upfront. We present nested hex-programs, which extend hex-programs to serve the desired feature in a user-friendly manner. Notably, the answer sets of called sub-programs can be individually accessed. this is particularly useful for applications that need to reason over answer sets like belief set merging, user-defined aggregate functions, or preferences of answer sets. We will further present a novel method for rapid prototyping of external sources by the use of nested programs. © Springer-Verlag Berlin Heidelberg 2013.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Applications of Declarative programming and Knowledge Management: 19th International conference, INAP 2011, and 25th Workshop on logic programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers 1

引用

丛书名： Lecture Notes in Computer Science 7773 Lecture Notes in artificial intelligence

2013年

作者： thomas Eiter, Michael Fink, Giovambattista Ianni, Peter Schüller (auth.), Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.)

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234;9783642415241

this book constitutes revised selected papers of the 19th International conference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logic programming, WLP 2011, held in Vienna, Austria, in September 2011. the 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. the book also contains the papers of two invited talks. the papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Generic Framework for Behavior Recognition of Complex Activities in Robotics

A Generic Framework for Behavior Recognition of Complex Acti...

引用

International conference on Tools for artificial intelligence (ICTAI)

作者： Kai Haeussermann Oliver Zweigle Paul Levi Universitat Stuttgart Stuttgart Baden-WÃ¼rttemberg DE Department of Image Understanding University of Stuttgart Stuttgart Germany

Considering the current state in service-robotics, an expert is still necessary to add new tasks and execution behaviors by textual and error-prone programming. Under the consideration that humans typically execute same activities almost identical (or at least similar) and further combine simple behaviors to more complex activities, we follow the constitutive assumption that all complex behaviors are composed of a limited set of atomic behaviors. this work introduces a generic framework for spatial-temporal analysis and classification of arbitrary atomic behaviors. therefore, we propose the combination of Self-Organizing Maps (SOM) and Probabilistic Graphical Models (PGM) in order to exploit the advantages of both concepts. In this work, we describe the essential methods of the framework briefly, whereas the data-driven training of the spatial-temporal model and the reasoning process are described in detail. In order to demonstrate the potential and to emphasize the high level of generalization and flexibility in real-world environments, the framework is evaluated in an exemplary scenario.

关键词： Robots Training Context Hidden Markov models Vectors Probability Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

the AC(C) language: Integrating answer set programming and constraint logic programming

The AC(C) language: Integrating answer set programming and c...

引用

25th AAAI conference on artificial intelligence and the 23rd Innovative Applications of artificial intelligence conference, AAAI-11 / IAAI-11

作者： Bao, Forrest Sheng Department of Computer Science Texas Tech. University Lubbock TX 79409 United States

ISBN: (纸本)9781577355090

Combining Answer Set programming (ASP) and Constraint logic programming (CLP) can create a more powerful language for knowledge representation and reasoning. the language AC(C) is designed to integrate ASP and CLP. Compared with existing integration of ASP and CSP, AC(C) allows representing user-defined constraints. Such integration provides great power for applications requiring logical reasoning involving constraints, e.g., temporal planning. In AC(C), user-defined and primitive constraints can be solved by a CLP inference engine while the logical reasoning over those constraints and regular logic literals is solved by an ASP inference engine (i.e., solver). My PhD work includes improving the language AC(C), implementing its faster inference engine and investigating how effective the new system can be used to solve a challenging application, temporal planning. Copyright © 2011, Association for the Advancement of artificial intelligence. All rights reserved.

关键词： Inference engines

来源：评论

学校读者我要写书评

暂无评论

Towards practical ABox abduction in large OWL DL ontologies 25

Towards practical ABox abduction in large OWL DL ontologies

引用

25th AAAI conference on artificial intelligence and the 23rd Innovative Applications of artificial intelligence conference, AAAI-11 / IAAI-11

作者： Du, Jianfeng Qi, Guilin Shen, Yi-Dong Pan, Jeff Z. Guangdong University of Foreign Studies Guangzhou 510006 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China School of Computer Science and Engineering Southeast University NanJing 211189 China State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Department of Computing Science University of Aberdeen Aberdeen AB243UE United Kingdom

ISBN: (纸本)9781577355090

ABox abduction is an important aspect for abductive reasoning in Description logics (DLs). It finds all minimal sets of ABox axioms that should be added to a background ontology to enforce entailment of a specified set of ABox axioms. As far as we know, by now there is only one ABox abduction method in expressive DLs computing abductive solutions with certain minimality. However, the method targets an ABox abduction problem that may have infinitely many abductive solutions and may not output an abductive solution in finite time. Hence, in this paper we propose a new ABox abduction problem which has only finitely many abductive solutions and also propose a novel method to solve it. the method reduces the original problem to an abduction problem in logic programming and solves it with Prolog engines. Experimental results show that the method is able to compute abductive solutions in benchmark OWL DL ontologies with large ABoxes. Copyright © 2011, Association for the Advancement of artificial intelligence. All rights reserved.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Answering Questions from Natural Language Using A-Prolog 1

引用

25th International conference on logic programming (ICLP)

作者： Todorova, Yana Texas Tech Univ Lubbock TX 79409 USA

ISBN: (数字)9783642028465

ISBN: (纸本)9783642028458

the topic of this research is the development of methodology for building computer systems capable of answering questions from natural language (NL) texts. Existing methodologies take the NL text and question as an input, transform it to a logical form, and use reasoning systems to obtain the answer. Sometimes little or no commonsense knowledge is added to the original input. However, we believe that most answers are commonsense answers and we want to investigate how additional knowledge can be used to produce them.

关键词： artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Probabilistic logic learning - A tutorial abstract 1

引用

25th International conference on logic programming, ICLP 2009

作者： De Raedt, Luc Department of Computer Science Katholieke Universiteit Leuven Belgium

ISBN: (数字)9783642028465

ISBN: (纸本)3642028454

Probabilistic logic learning (PLL), sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integration of probabilistic reasoning with first order logic representations and machine learning. It has received a lot of attention recently and a rich variety of different formalisms and learning techniques have been developed, which are now being applied to applications in network analysis, robotics, bio-informatics, intelligent agents, etc. this tutorial starts with an introduction to probabilistic representations and machine learning, and then continues with an overview of the state-of-the-art in probabilistic logic learning. We start from classical settings for logic learning (or inductive logic programming) namely learning from entailment, learning from interpretations, and learning from proofs, and show how they can be extended with probabilistic methods. While doing so, we review state-of-the-art probabilistic logic learning approaches and formalisms, such as PRISM, ICL, stochastic logic programs, Bayesian logic programs, CP-logic and Markov logic. More detailed introductory overviews on probabilistic logic learning can be found in [1,2,3,4,5]. © 2009 Springer Berlin Heidelberg.

关键词： Probabilistic logics

来源：评论

学校读者我要写书评

暂无评论

reasoning about inherent parallelism in modern object-oriented languages 08

Reasoning about inherent parallelism in modern object-orient...

引用

Australasian Computer Science conference

作者： Wayne Reid Wayne Kelly Andrew Craik Queensland University of Technology Brisbane QLD Australia

ISBN: (纸本)9781920682552

the Australasian Computer Science conference (ACSC) series is an annual forum, bringing together research sub-disciplines in Computer Science. the meeting allows academics and researchers to discuss research topics as well as progress in the field, and policies to stimulate its growth. this volume contains papers presented at the thirty First ACSC in Wollongong, NSW, Australia. ACSC 2008 is part of the Australasian Computer Science Week which ran from Jan 22nd to 25th, 2008.

the ACSC 2008 call for papers solicited contributions in all areas of computer science research. this years conference received submissions from Australia, New Zealand, China, France, India, Iran, Jamaica, Jordon, Malaysia, Pakistan, South Africa, Turkey, UK, and Taiwan. the topics addressed by the submitted papers illustrate the broadness of the discipline. the authors categorised their submissions into one or more of the following topics:

- Algorithms (9 papers)

- artificial intelligence (7 papers)

- Communications and Networks (4 papers)

- Computer Architecture (2 paper)

- Computer Vision (4 papers)

- Databases (5 papers)

- Distributed Systems (6 papers)

- E-Commerce (4 papers)

- Formal Methods (6 papers)

- Graphics (6 papers)

- High Performance Computing (7 papers)

- Human-Computer Interaction (8 papers)

- Mobile Computing (6 papers)

- Multimedia (1 paper)

- Object Oriented Systems (3 papers)

- Ontologies (1 paper)

- Operating Systems (5 papers)

- programming Languages (4 papers)

- Robotics (1 paper)

- Scientific Computing (5 papers)

- Security and Trusted Systems (5 papers)

- Simulation (6 papers)

- Software Engineering (5 papers)

- Speech (1 paper)

- theory (3 papers)

- Visualization (6 papers)

- Web Services (3 papers)

the programme committee consisted of 28 highly regarded academics from

关键词： reasoning paper reasoning computer science logic programming Computer programming Languages

来源：评论

学校读者我要写书评

暂无评论

the well-founded semantics is a stratified fitting semantics 25th

引用

25th Annual German conference on artificial intelligence

作者： Hitzler, P Wendt, M Tech Univ Dresden Dept Comp Sci Artificial Intelligence Inst D-8027 Dresden Germany

ISBN: (纸本)3540441859

Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. While several different semantics have been proposed, and some have been more successful than others, the exact relationships between the approaches have not yet been fully understood. In this paper, we give new characterizations, using level mappings, of the Fitting semantics, the well-founded semantics, and the weakly perfect model semantics. the results will unmask the well-founded semantics as a stratified version of the Fitting semantics.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Applications of Declarative programming and Knowledge Management 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Hans Tompits Salvador Abreu Johannes Oetsch Jörg Pührer Dietmar Seipel Masanobu Umeda Armin Wolf

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234

关键词： artificial intelligence programming Techniques

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：