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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

254 篇 会议
24 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

235 篇 工学
- 230 篇 计算机科学与技术...
- 146 篇 软件工程
- 11 篇 电气工程
- 9 篇 控制科学与工程
- 8 篇 信息与通信工程
- 3 篇 建筑学
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 网络空间安全
77 篇 理学
- 73 篇 数学
- 6 篇 统计学（可授理学、...
- 2 篇 化学
- 2 篇 生物学
- 2 篇 系统科学
11 篇 管理学
- 9 篇 管理科学与工程(可...
- 4 篇 工商管理
- 3 篇 图书情报与档案管...
3 篇 医学
- 3 篇 临床医学
- 2 篇 基础医学(可授医学...
- 2 篇 药学(可授医学、理...
1 篇 法学
- 1 篇 法学
1 篇 军事学
- 1 篇 军队指挥学

主题

60 篇 logic programmin...
34 篇 answer set progr...
18 篇 non-monotonic re...
15 篇 knowledge repres...
9 篇 semantics
7 篇 inductive logic ...
6 篇 computer circuit...
5 篇 fuzzy logic
5 篇 formal logic
5 篇 programming
4 篇 belief revision
4 篇 epistemic logic ...
4 篇 non-monotonic lo...
4 篇 model checking
4 篇 ontologies
4 篇 defeasible logic
4 篇 knowledge repres...
4 篇 machine learning
3 篇 equilibrium logi...
3 篇 abduction

机构

9 篇 univ potsdam pot...
6 篇 univ calabria ar...
5 篇 univ a coruna la...
4 篇 new mexico state...
4 篇 vrije univ bruss...
4 篇 imperial coll lo...
4 篇 univ milano bico...
4 篇 univ angers leri...
3 篇 tu wien austria
3 篇 univ genoa dibri...
3 篇 univ calabria de...
3 篇 vienna univ tech...
3 篇 tech univ dresde...
2 篇 university of ma...
2 篇 univ torino dipa...
2 篇 katholieke univ ...
2 篇 univ calabria di...
2 篇 univ hasselt has...
2 篇 univ politecn ma...
2 篇 univ ferrara dip...

作者

16 篇 ricca francesco
9 篇 cabalar pedro
8 篇 alviano mario
7 篇 fandinno jorge
6 篇 schaub torsten
6 篇 maratea marco
5 篇 maher michael j.
5 篇 gebser martin
4 篇 eiter thomas
4 篇 son tran cao
3 篇 akbar siami nami...
3 篇 governatori guid...
3 篇 gaggl sarah alic...
3 篇 perez gilberto
3 篇 riguzzi fabrizio
3 篇 penaloza rafael
3 篇 formisano andrea
3 篇 aguado felicidad
3 篇 russo alessandra
3 篇 ielo antonio

语言

282 篇 英文

检索条件"任意字段=17th International Conference on Logic Programming and Non-monotonic Reasoning"

共 282 条记录，以下是71-80 订阅

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

详细简洁

排序：

logic programming: the 14th international conference

引用

1997年

作者： Lee Naish

8-12 July 1997, Leuven, Belgium the international conference on logic programming is the main annual conference sponsored by the Association for logic programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive reasoning in the Presence of Imperfect Security Requirements 40

Adaptive Reasoning in the Presence of Imperfect Security Req...

引用

40th Annual IEEE Computer Software and Applications conference Symposium (COMPSAC) / Symposium on Software Engineering Technology and Applications (SETA)

作者： Sartoli, Sara Namin, Akbar Siami Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA

ISBN: (纸本)9781467388450

Self-adaptive systems have received great attention in the last decade. In the context of self-adaptive systems, adaptive security concerns with adjusting protection mechanisms at runtime while changes occur in the operating environment. One of the challenges with self-adaptation paradigm is that the reasoning engine must leverage existing requirements and constraints and at the same time deal with different types of imperfections due to absence of knowledge or data. the problem arises when the existing runtime requirements models offer no explicit support for imperfections. By imperfections, we mean the values of some attributes of interest are not available at certain points. To address this problem, we propose uncertain reasoning based on imperfect requirements using non-monotonic logic. We model security requirements, system executions and changes in operation environment through non-monotonic logic that explicitly represents imperfect information and accounts for uncertainty.

关键词： Self-Adaptive Systems Security Requirements Formal Methods logic programming

来源：评论

学校读者我要写书评

暂无评论

Visual Generalized Rule programming Model for Prolog with Hybrid Operators

Visual Generalized Rule Programming Model for Prolog with Hy...

引用

17th international conference on Applications of Declarative programming and Knowledge Management/21st Workshop on logic programming

作者： Nalepa, Grzegorz J. Wojnicki, Igor AGH Univ Sci & Technol Inst Automat PL-30059 Krakow Poland

ISBN: (纸本)9783642006746

the rule-based programming paradigm is omnipresent in a number of engineering domains. However, there are some fundamental semantical differences between it and classic programming approaches. No generic solution for using rules to model business logic in classic software has been provided so far. In this paper a new approach for Generalized Rule-based programming (GREP) is given. It is based on the use of an advanced rule representation called XTT, which includes an extended attribute-based language, a non-monotonic inference strategy, with an explicit inference control at the rule level. the paper shows, how some typical programming constructs, as well as classic programs can be modelled with this approach. the paper also presents possibilities of an efficient integration of this technique with existing software systems. It describes the so-called Hybrid Operators in Prolog - a concept which extends the Generalized Rule Based programming Model (GREP). this extension allows a GREP-based application to communicate with the environment by providing input/output operations, user interaction, and process synchronization. Furthermore, it allows for integration of such an application with contemporary software technologies including Prolog-based code. the proposed Hybrid Operators extend GREP forming a knowledge-based software development concept.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Partial Preferences and Ambiguity Resolution in Contextual Defeasible logic

引用

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

作者： Bikakis, Antonis Antoniou, Grigoris Univ Luxembourg Luxembourg Luxembourg FORTH Inst Comp Sci Iraklion Greece

ISBN: (纸本)9783642208942;9783642208959

Domains, such as Ambient Intelligence and Social Networks, are characterized by some common features including distribution of the available knowledge, entities with different backgrounds, viewpoints and operational environments, and imperfect knowledge. Multi-Context Systems (MCS) has been proposed as a natural representation model for such environments, while recent studies have proposed adding non-monotonic features to MCS to address the issues of incomplete, uncertain and ambiguous information. In previous works, we introduced a non-monotonic extension to MCS and an argument-based reasoning model that handle imperfect context information based on defeasible argumentation. Here we propose alternative variants that integrate features such as partial preferences, ambiguity propagating and team defeat, and study the relations between the different variants in terms of conclusions being drawn in each case.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Ticker: A system for incremental ASP-based stream reasoning

Ticker: A system for incremental ASP-based stream reasoning

引用

33rd international conference on logic programming colocated with the 23rd international conference on Principles and Practice of Constraint programming / 20th international conference on theory and Applications of Satisfiability Testing

作者： Beck, Harald Eiter, thomas Folie, Christian Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria

In complex reasoning tasks, as expressible by Answer Set programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously changing, the question arises how a given model can be incrementally adjusted relative to new and outdated information. this paper introduces Ticker, a prototypical engine for well-defined logical reasoning over streaming data. Ticker builds on a practical fragment of the recent rule-based language LARS, which extends ASP for streams by providing flexible expiration control and temporal modalities. We discuss Ticker's reasoning strategies: first, the repeated one-shot solving mode calls Clingo on an ASP encoding. We show how this translation can be incrementally updated when new data is streaming in or time passes by. Based on this, we build on Doyle's classic justification-based truth-maintenance system to update models of non-stratified programs. Finally, we empirically compare the obtained evaluation mechanisms.

关键词： Stream reasoning Answer set programming non-monotonic reasoning

来源：评论

学校读者我要写书评

暂无评论

Representing defaults and negative information without negation-as-failure

引用

13th international conference on logic for programming, Artificial Intelligence, and reasoning

作者： Fillottrani, Pablo R. Simari, Guillermo R. Univ Nacl Sur Dept Comp Sci & Engn Av Alem 1253 RA-8000 Bahia Blanca Buenos Aires Argentina

ISBN: (纸本)3540482814

In logic programs, negation-as-failure has been used both for representing negative information and for providing default non-monotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also plays against declarative programming, especially if further negation symbols such as strong negation are also available. We therefore propose a new logic programming approach in which negation and default inference are independent, orthogonal concepts. Semantical characterization of this approach is given in the style of answer sets, but other approaches are also possible. Finally, we compare them with the semantics for logic programs with two kinds of negation.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

the design of the sixth answer set programming competition 13th

The design of the sixth answer set programming competition

引用

13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015

作者： Gebser, Martin Maratea, Marco Ricca, Francesco Helsinki Institute for Information Technology HIIT Aalto University Espoo Finland DIBRIS Università di Genova Genova Italy Dipartimento di Matematica e Informatica Università della Calabria Rende Cs Italy

ISBN: (纸本)9783319232638

Answer Set programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely-related problemsolving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advances in ASP solving are assessed in competition events. In this paper, we report about the design of the Sixth ASP Competition, which is jointly organized by the University of Calabria (Italy), Aalto University (Finland), and the University of Genova (Italy), in affiliation with the 13th international conference on logic programming and non-monotonic reasoning (LPNMR 2015). this edition maintains some of the design decisions introduced in the last event, e.g., the design of tracks, the scoring scheme, and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. On the other hand, it features also some novelties, like a benchmarks selection stage to classify instances according to their expected hardness, and a "marathon" track where the best performing systems are given more time for solving hard benchmarks. © Springer international Publishing Switzerland 2015.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

WOLED: A Tool for Online Learning Weighted Answer Set Rules for Temporal reasoning Under Uncertainty 17

WOLED: A Tool for Online Learning Weighted Answer Set Rules ...

引用

17th international conference on Principles of Knowledge Representation and reasoning (KR and R)

作者： Katzouris, Nikos Artikis, Alexander Natl Ctr Sci Res Demokritos Athens Greece Univ Pireaus Piraeus Greece

ISBN: (纸本)9780999241172

Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. logic-based approaches are of special interest in CER, since, via Statistical Relational AI, they combine uncertainty-resilient reasoning with time and change, with machine learning, thus alleviating the cost of manual event pattern authoring. We presentWOLED, a system based on Answer Set programming (ASP), capable of probabilistic reasoning with complex event patterns in the form of weighted rules in the Event Calculus, whose structure and weights are learnt online. We compare our ASP-based implementation with a Markov logic-based one and with a crisp version of the algorithm that learns unweighted rules, on CER datasets for activity recognition, maritime surveillance and fleet management. Our results demonstrate the superiority of our novel implementation, both in terms of efficiency and predictive performance.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

A First-Order logic of Limited Belief Based on Possible Worlds 17

A First-Order Logic of Limited Belief Based on Possible Worl...

引用

17th international conference on Principles of Knowledge Representation and reasoning (KR and R)

作者： Lakemeyer, Gerhard Levesque, Hector J. Rhein Westfal TH Aachen Dept Comp Sci Aachen Germany Univ Toronto Dept Comp Sci Toronto ON Canada

ISBN: (纸本)9780999241172

In a recent paper Lakemeyer and Levesque proposed a first-order logic of limited belief to characterize the beliefs of a knowledge base (KB). Among other things, they show that their model of belief is expressive, eventually complete, and tractable. this means, roughly, that a KB may consist of arbitrary first-order sentences, that any sentence which is logically entailed by the KB is eventually believed, given enough reasoning effort, and that reasoning is tractable under reasonable assumptions. One downside of the proposal is that epistemic states are defined in terms of sets of clauses, possibly containing variables, giving the logic a distinct syntactic flavour compared to the more traditional possible-world semantics found in the literature on epistemic logic. In this paper we show that the same properties as above can be obtained by defining epistemic states as sets of three-valued possible worlds. this way we are able to shed new light on those properties by recasting them using the more familiar notion of truth over possible worlds.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Awareness in Games, Awareness in logic

Awareness in Games, Awareness in Logic

引用

17th international conference on logic for programming, Artificial Intelligence, and reasoning

作者： Halpern, Joseph Y. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA

ISBN: (纸本)9783642162411

Standard game theory models implicitly assume that all significant aspects of a game (payoffs, moves available, etc.) are common knowledge among the players. there are well-known techniques going back to Harsanyi [4] for transforming a game where some aspects are not common knowledge to one where they are common knowledge. © 2010 Springer-Verlag.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共29页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：