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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是741-750 订阅

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

详细简洁

排序：

programming mental state abduction

Programming mental state abduction

引用

10th international conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011

作者： Sindlar, Michal Dastani, Mehdi Meyer, John-Jules Intelligent Systems Group University of Utrecht Netherlands

ISBN: (纸本)9781618391018

Many multi-agent system applications involve software agents that reason about the behavior of other agents with which they interact in cooperation or competition. In order to design and develop those systems, the employed programming languages should provide tools to facilitate the implementation of agents that can perform such reasoning. this paper focuses on BDI-based programming languages and proposes a nonmonotonic reasoning mechanism that can be incorporated into agents, allowing them to reason about observed behavior to infer others' beliefs or goals. In particular, it is suggested that the behavior-generating rules of agents are translated into a nonmonotonic logic programming framework. A formal analysis of the presented approach is provided and it is shown that it has desirable properties. Categories and Subject Descriptors 1.2.11 [Distributed artificial intelligence]: Intelligent agents-mental state ascription,nonmonotonic reasoning General Terms Design, theory. Copyright © 2011, international Foundation for Autonomous Agents and Multiagent Systems.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic reasoning - 11th international conference, LPNMR 2011, Proceedings

引用

11th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2011

ISBN: (纸本)9783642208942

the proceedings contain 45 papers. the topics discussed include: symmetry breaking for distributed multi-context systems;splitting an argumentation framework;reactive answer set programming;communicating ASP and the polynomial hierarchy;loop formulas for splitable temporal logic programs;pushing efficient evaluation of HEX programs by modular decomposition;approximations for explanations of inconsistency in partially known multi-context systems;relational information exchange and aggregation in multi-context systems;stepping through an answer-set program;dynamic magic sets for programs with monotone recursive aggregates;strong equivalence of logic programs with abstract constraint atoms;partial preferences and ambiguity resolution in contextual defeasible logic;on influence and contractions in defeasible logic programming;termination of grounding is not preserved by strongly equivalent transformations;and aggregates in answer set optimization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

引用

11th international conference on logic programming and Nonmonotonic reasoning (LPNMR)

作者： Oetsch, Johannes Puehrer, Joerg Seidl, Martina Tompits, Hans Zwickl, Patrick Vienna Univ Technol Inst Informat Syst 184 3 Favoritenstr 9-11 A-1040 Vienna Austria Johannes Kepler Univ Linz Inst Formale Modelle & Verifikat A-4040 Linz Austria Tech Univ Inst Softwaretech Vienna Austria FTW Forschungszentrum Telekommunikat Wien GmbH A-1220 Vienna Austria

ISBN: (纸本)9783642208942;9783642208959

In the object-oriented world, much effort is spent into the development of dedicated tools to ease programming and to prevent programming errors. Recently, the techniques of model-driven engineering (MDE) have been proven especially valuable to manage the complexity of modern software systems during the software development process. In the world of answer-set programming (ASP), the situation is different. Much effort is invested into the development of efficient solvers, but the pragmatics of programming itself has not received much attention and more tool support to ease the actual programming phase would be desirable. To address this issue, we introduce the tool VIDEAS which graphically supports the partial specification of answer-set programs, applying technologies provided by MDE.

关键词： answer-set programming model-driven engineering ER diagrams

来源：评论

学校读者我要写书评

暂无评论

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

引用

11th international conference on logic programming and Nonmonotonic reasoning (LPNMR)

作者： Janhunen, Tomi Niemela, Ilkka Oetsch, Johannes Puehrer, Joerg Tompits, Hans Aalto Univ Dept Informat & Comp Sci POB 15400 FI-00076 Aalto Finland Techn Univ Wien Inst Informat Syst A-1040 Vienna Austria

ISBN: (纸本)9783642208942;9783642208959

Answer-set programming (ASP) is an established paradigm for declarative problem solving, yet comparably little work on testing of answer-set programs has been done so far. In a recent paper, foundations for structure-based testing of answer-set programs building on a number of coverage notions have been proposed. In this paper, we develop a framework for testing answer-set programs based on this work and study how good the structure-based approach to test input generation is compared to random test input generation. the results indicate that random testing is quite ineffective for some benchmarks, while structure-based techniques catch faults with a high rate more consistently also in these cases.

关键词： answer-set programming structure-based testing random testing

来源：评论

学校读者我要写书评

暂无评论

Transaction logic with defaults and argumentation theories

Transaction logic with defaults and argumentation theories

引用

27th international conference on logic programming, ICLP 2011

作者： Fodor, Paul Kifer, Michael Stony Brook University Stony Brook NY 11794 United States

ISBN: (纸本)9783939897316

Transaction logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many advanced applications, including modeling robot movements, actions specification, and planning in artificial intelligence. In a parallel development, much work has been devoted to various theories of defeasible reasoning. In this paper, we unify these two streams of research and develop Transaction logic with Defaults and Argumentation theories, an extension of both Transaction logic and the recently proposed unifying framework for defeasible reasoning called logic Programs with Defaults and Argumentation theories. We show that this combination has a number of interesting applications, including specification of defaults in action theories and heuristics for directed search in artificial intelligence planning problems. We also demonstrate the usefulness of the approach by experimenting with a prototype of the logic and showing how heuristics expressed as defeasible actions can significantly reduce the search space as well as execution time and space requirements.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Contingency-Based Equilibrium logic

引用

11th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2011

作者： Fariñas del Cerro, Luis Herzig, Andreas IRIT-CNRS Université de Toulouse France

ISBN: (纸本)9783642208942

We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equilibrium logic (that is based on conjunction and intuitionistic implication). © 2011, Springer-Verlag Berlin Heidelberg.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Rich goal types in agent programming

Rich goal types in agent programming

引用

10th international conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011

作者： Dastani, Mehdi Birna Van Riemsdijk, M. Winikoff, Michael Utrecht University Netherlands Delft University of Technology Netherlands University of Otago New Zealand

ISBN: (纸本)9781618391018

Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals in agent programming frameworks only deals with a limited set of goal types, typically achievement goals, and sometimes maintenance goals. In this paper we extend a previously proposed unifying framework for goals with additional richer goal types that are explicitly represented as Linear Temporal logic (LTL) formulae. We show that these goal types can be modelled as a combination of achieve and maintain goals. this is done by providing an operationalization of these new goal types, and showing that the operationalization generates computation traces that satisfy the temporal formula. Categories and Subject Descriptors 1.2.11 [artificial intelligence]: Distributed artificial intelligence- Intelligent agents, languages and structures;1.2.5 [artificial intelligence]: programming Languages and Software;F.3.3 [logics and Meaning of Programs]: Studies of Program Constructs;D.3.3 [programming Languages]: Language Constructs and Features General Terms theory, Languages. Copyright © 2011, international Foundation for Autonomous Agents and Multiagent Systems.

关键词： Intelligent agents

来源：评论

学校读者我要写书评

暂无评论

the third Answer Set programming Competition: Preliminary Report of the System Competition Track

引用

11th international conference on logic programming and Nonmonotonic reasoning (LPNMR)

作者： Calimeri, Francesco Ianni, Giovambattista Ricca, Francesco Alviano, Mario Bria, Annamaria Catalano, Gelsomina Cozza, Susanna Faber, Wolfgang Febbraro, Onofrio Leone, Nicola Manna, Marco Martello, Alessandra Panetta, Claudio Perri, Simona Reale, Kristian Santoro, Maria Carmela Sirianni, Marco Terracina, Giorgio Veltri, Pierfrancesco Univ Calabria Dipartimento Matemat I-87030 Commenda Di Rende Italy

ISBN: (纸本)9783642208942;9783642208959

Answer Set programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo theories, Constraint Handling Rules, FO(.), PDDL and many others. Since its first informal editions, ASP systems are compared in the nowadays customary ASP Competition. the third ASP Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006-2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. the Competition ran on two tracks: the Model & Solve Competition, held on an open problem encoding, on an open language basis, and open to any kind of system based on a declarative specification paradigm;and the System Competition, held on the basis of fixed, public problem encodings, written in a standard ASP language. this paper briefly discuss the format and rationale of the System competition track, and preliminarily reports its results.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

t-DeLP: A Temporal Extension of the Defeasible logic programming Argumentative Framework

引用

5th international conference on Scalable Uncertainty Management (SUM 2011)

作者： Pardo, Pere Godo, Lluis CSIC IIIA E-08193 Bellaterra Catalonia Spain

ISBN: (纸本)9783642239625;9783642239632

the aim of this paper is to offer an argumentation-based defeasible logic that enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of temporal literals and durative rules. these temporal facts and rules combine into durative arguments representing temporal processes, that permit us to reason defeasibly about future states. the corresponding notion of logical consequence, or warrant, is defined slightly different from that of DeLP, due to the temporal aspects. As usual, this notion takes care of inconsistencies, and in particular we prove the consistency of any logical program whose strict part is consistent. Finally, we define and study a sub-class of arguments that seem appropriate to reason with natural processes, and suggest a modification to the framework that is equivalent to restricting the logic to this class of arguments.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Learning Action Descriptions of Opponent Behaviour in the Robocup 2D Simulation Environment

引用

20th international conference on Inductive logic programming (ILP)

作者： Illobre, A. Gonzalez, J. Otero, R. Santos, J. Univ A Coruna Dept Comp Sci La Coruna Spain

ISBN: (纸本)9783642212949;9783642212956

the Robocup 2D simulation competition [13] proposes a dynamic environment where two opponent teams are confronted in a simplified soccer game. All major teams use a fixed algorithm to control its players. An unexpected opponent strategy, not previously considered by the developers, might result in winning all matches. To improve this we use ILP to learn action descriptions of opponent players;for learning on dynamic domains, we have to deal with the frame problem. the induced descriptions can be used to plan for desired field states. To show this we start with a simplified scenario where we learn the behaviour of a goalkeeper based on the actions of a shooter player. this description is used to plan for states where a goal can be scored. this result can directly be extended to a multiplayer environment.

关键词： ILP Action Descriptions Answer Sets Nonmonotonic reasoning Robocup Simulation Environment

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 71 72 73 74 75 76 77 78 79 80 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：