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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Preference-Based Argumentation Handling Dynamic Preferences Built on Prioritized logic programming

Preference-Based Argumentation Handling Dynamic Preferences ...

引用

14th international conference on Agents in Principles and Agents in Practice

作者： Wakaki, Toshiko Shibaura Inst Technol Minuma Ku Saitama 3378570 Japan

ISBN: (纸本)9783642250439

To treat dynamic preferences correctly is crucially required in the fields of argumentation as well as nonmonotonic reasoning. To meet such requirements, first, we propose a hierarchical Prioritized logic Program (or a hierarchical PLP, for short), which enhances the formalism of Sakama and Inoue's PLP so that it can represent and reason about dynamic preferences. Second, using such a hierarchical PLP as the underlying language, the proposed method defines the preference-based argumentation framework (called the dynamic PAP) built from it. this enables us to argue and reason about dynamic preferences in argumentation. Finally we show the interesting relationship between semantics of a hierarchical PLP given by preferred answer sets and semantics of the dynamic PAF given by P-extensions.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2011 10th Mexican international conference on artificial intelligence: Advances in artificial intelligence and Applications, MICAI 2011 - Proceedings of Special Session

Proceedings - 2011 10th Mexican International Conference on ...

引用

2011 10th Mexican international conference on artificial intelligence: Advances in artificial intelligence and Applications, MICAI 2011

ISBN: (纸本)9780769546056

the proceedings contain 32 papers. the topics discussed include: studying ideal semantics via logic programming semantics;an ontology for the conceptualization of an intelligent environment and its operation;event calculus for reasoning about erlang systems;static and dynamic semantics: preliminary report;a nominal filter for web search snippets: using the web to identify members of Latin America's highly qualified diaspora;presence or semantic information in sentiment classification?;speech recognition with limited resources for children and adult speakers;a novel design model based on genetic algorithms;rank based evolution of real parameters on noisy fitness functions: evolving a robot neurocontroller;spatial distribution through swarm behavior on a military group in the starcraft video game;and comparison of analytical and artificial intelligent models for quality assurance in micro-milling operations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

ISBN: (纸本)9783642208942

the proceedings contain 46 papers. the special focus in this conference is on logic programming and Nonmonotonic reasoning. the topics include: 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;Back and Forth between Rules and SE-Models;what Are the Necessity Rules in Defeasible reasoning?;partial Preferences and Ambiguity Resolution in Contextual Defeasible logic;on Influence and Contractions in Defeasible logic programming;foundations and Extensions of Answer Set programming: the logical Approach;termination of Grounding Is Not Preserved by Strongly Equivalent Transformations;aggregates in Answer Set Optimization;optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis;contingency-Based Equilibrium logic;Weight Constraints with Preferences in ASP;parametrized Equilibrium logic;random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison;integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report);gentzen-Type Refutation Systems for three-Valued logics with an Application to Disproving Strong Equivalence;new Semantics for Epistemic Specifications;lessons from Efforts to Automatically Translate English to Knowledge Representation Languages;cmMUS: A Tool for Circumscription-Based MUS Membership Testing;transaction logic with External Actions;an Application of Clasp in the Study of logics;Industrial-Size Scheduling with ASP+CP;secommunity: A Framework for Distributed Access Control;itemset Mining as a Challenge Application for Answer Set Enumeration;causal reasoning for Planning and Coordination of Multiple Housekeeping Robots;advances in gringo Series 3.

关键词：

来源：评论

学校读者我要写书评

暂无评论

引用

19th international conference on Case-Based reasoning, ICCBR 2011

作者： Sánchez-Ruiz, Antonio A. Ontañón, Santiago González-Calero, Pedro Antonio Plaza, Enric Dep. Ingeniería del Software e Inteligencia Artificial Universidad Complutense de Madrid Spain IIIA-CSIC Artificial Intelligence Research Institute Campus Univ. Aut. Barcelona 08193 Bellaterra Catalonia Spain

ISBN: (纸本)9783642232909

Similarity assessment is a key operation in many artificial intelligence fields, such as case-based reasoning, instance-based learning, ontology matching, clustering, etc. this paper presents a novel measure for assessing similarity between individuals represented using Description logic (DL). We will show how the ideas of refinement operators and refinement graph, originally introduced for inductive logic programming, can be used for assessing similarity in DL and also for abstracting away from the specific DL being used. Specifically, similarity of two individuals is assessed by first computing their most specific concepts, then the least common subsumer of these two concepts, and finally measuring their distances in the refinement graph. © 2011 Springer-Verlag.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

An Architecture for the Semantic Enhancement of Clinical Decision Support Systems

An Architecture for the Semantic Enhancement of Clinical Dec...

引用

15th international conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES)

作者： Sanchez, Eider Toro, Carlos Carrasco, Eduardo Bueno, Gloria Parra, Carlos Bonachela, Patricia Grana, Manuel Guijarro, Frank Vicomtech IK4 Res Ctr Mikeletegi Pasealekua 57 San Sebastian 20009 Spain Univ Castilla La Mancha VISILAB grp ETSII Castilla La Mancha Spain Univ Hosp Virgen del Rocio Castilla La Mancha Spain Univ Basque Country Comp Intelligence Grp Leioa Spain Bilbomatica Castilla La Mancha Spain

ISBN: (纸本)9783642238628;9783642238635

Clinical Decision Support Systems (CDSS) are useful tools that aid physicians during different tasks such as diagnosis, treatment and patient monitoring. Multidisciplinary, heterogeneous and disperse clinical information and decision criteria have to be handled by CDSSs. For such tasks, Knowledge Engineering (KE) techniques and semantic technologies are very suitable, as they support (i) the integration of heterogeneous knowledge, (ii) the expression of rich and well-defined models for knowledge aggregation, and (iii) the application of logic reasoning for the generation of new knowledge. In this paper we propose a generic architecture of a CDSS based on semantic technologies, which also considers the reutilization and enhancement of former CDSS in an organization. Particularly, an implementation of the proposed architecture is also presented, aiming to support the early diagnosis of AD.

关键词： Decision support system architecture implementation Alzheimer Disease

来源：评论

学校读者我要写书评

暂无评论

Applications of Declarative programming and Knowledge Management - 18th international conference, INAP 2009, Revised Selected Papers

Applications of Declarative Programming and Knowledge Manage...

引用

18th international conference on Applications of Declarative programming and Knowledge Management, INAP 2009

ISBN: (纸本)9783642205880

the proceedings contain 14 papers. the topics discussed include: design patterns for tabled logic programming;an alternative high-level approach to interaction with databases;ISTO: a language for temporal organizational information systems;programming patterns for logtalk parametric objects;stable model implementation of layer supported models by program transformation;towards computing revised models for FO theories;adaptive reasoning for cooperative agents;extending xquery for semantic web reasoning;reference model and perspective schemata inference for enterprise data integration;Jsquash: source code analysis of embedded database applications for determining sql statements;elder care via intention recognition and evolution prospection;knowledge management strategy and tactics for forging die design support;searching in protein state space;and network monitoring with constraint programming: preliminary specification and analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How to serve soup: Interleaving demonstration and assisted editing to support nonprogrammers 11

How to serve soup: Interleaving demonstration and assisted e...

引用

2011 15th ACM international conference on Intelligent User Interfaces, IUI'11

作者： Gervasio, Melinda Haines, Will Morley, David Lee, thomas J. Overholtzer, C. Adam Saadati, Shahin Spaulding, Aaron SRI International 333 Ravenswood Avenue Menlo Park CA 94025 United States

ISBN: (纸本)9781450304191

the Adept Task Learning system is an end-user programming environment that combines programming by demonstration and direct manipulation to support customization by nonprogrammers. Previously, Adept enforced a rigid procedure-authoring workflow consisting of demonstration followed by editing. However, a series of system evaluations with end users revealed a desire for more feedback during learning and more flexibility in authoring. We present a new approach that interleaves incremental learning from demonstration and assisted editing to provide users with a more flexible procedure-authoring experience. the approach relies on maintaining a "soup" of alternative hypotheses during learning, propagating user edits through the soup, and suggesting repairs as needed. We discuss the learning and reasoning techniques that support the new approach and identify the unique interaction design challenges they raise, concluding with an evaluation plan to resolve the design challenges and complete the improved system. © 2011 ACM.

关键词： Demonstrations

来源：评论

学校读者我要写书评

暂无评论

Rule-based reasoning for building learner model in programming tutoring system

Rule-based reasoning for building learner model in programmi...

引用

10th international conference on Advances in Web-Based Learning, ICWL 2011

作者： Vesin, Boban Ivanović, Mirjana Klašnja-Milićević, Aleksandra Budimac, Zoran Higher School of Professional Business Studies Novi Sad Serbia Faculty of Science Department of Mathematics and Informatics Novi Sad Serbia

ISBN: (纸本)9783642258121

Semantic Web provides huge potential and opportunities for developing the next generation of e-learning systems. Although ontologies have a set of basic implicit reasoning mechanisms derived from the description logic, they need rules to make further inferences and to express relations that cannot be represented by ontological reasoning. We implemented an adaptive and intelligent web-based programming TUtoring System - Protus. One of the most important features of Protus is the adaptation of the presentation and navigation of a course material based on particular learner knowledge. this system aims at automatically guiding the learner's activities and recommend relevant actions during the learning process. this paper describes the functionality, structure and implementation of a learner model used in Protus as well as syntax of SWRL rules implemented for on-the-fly update of learner model ontology. © 2011 Springer-Verlag.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Computed Answers Collecting Proof Information

引用

11th international Work-conference on artificial Neural Networks (IWANN)

作者： Morcillo, Pedro J. Moreno, Gines Penabad, Jaime Vazquez, Carlos Univ Castilla La Mancha Fac Comp Sci Engn Albacete 02071 Spain

ISBN: (纸本)9783642214981

MALP (i.e., the so-called Multi-Adjoint logic programming approach) can be seen as a promising fuzzy extension of the popular, pure logic language Prolog, including too a wide repertoire of constructs based on fuzzy logic in order to support uncertainty and approximated reasoning in a natural way. Moreover, the Fuzzy logic programming Environment for Research, FLOPER in brief, that we have implemented in our research group, is intended to assists the development of real-world applications written with MALP syntax. Among other capabilities, the system is able to safely translate fuzzy code into Prolog clauses which can be directly executed inside any standard Prolog interpreter in a completely transparent way for the final user. In this fuzzy setting, it is mandatory the use of lattices modeling truth degrees beyond {true;false}. As described in this paper, FLOPER is able to successfully deal (in a very easy way) with sophisticated lattices modeling truth degrees in the real interval [0, 1], also documenting -via declarative traces-the proof procedures followed when solving queries, without extra computational cost.

关键词： Fuzzy logic programming logic Proofs Declarative Debugging

来源：评论

学校读者我要写书评

暂无评论

Inline evaluation of hybrid knowledge bases: PhD description

Inline evaluation of hybrid knowledge bases: PhD description

引用

5th international conference on Web reasoning and Rule Systems, RR 2011

作者： Xiao, Guohui Eiter, thomas Institute of Information Systems 184/3 Vienna University of Technology Favoritenstraße 9-11 A-1040 Vienna Austria

ISBN: (纸本)9783642235795

the deployment of knowledge representation formalisms to the Web has created the need for hybrid formalisms that combine heterogeneous knowledge bases. the aim of this research is to improve the reasoning efficiency over hybrid knowledge bases (KBs). the traditional way of reasoning over hybrid KBs is to use different underlying reasoners to access the different data sources, which causes overhead. To remedy this, we propose a new strategy, called inline evaluation, which compiles the whole hybrid KB into a new KB using only one single formalism. Hence we can use a single reasoner to do the reasoning tasks, and improve the efficiency of hybrid reasoning. © 2011 Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：