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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

488 篇 会议
59 篇 期刊文献
21 册 图书

馆藏范围

567 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

391 篇 工学
- 344 篇 计算机科学与技术...
- 209 篇 软件工程
- 50 篇 电气工程
- 28 篇 信息与通信工程
- 22 篇 控制科学与工程
- 9 篇 电子科学与技术（可...
- 7 篇 机械工程
- 3 篇 材料科学与工程（可...
- 3 篇 生物工程
- 2 篇 力学（可授工学、理...
- 2 篇 动力工程及工程热...
- 2 篇 化学工程与技术
- 2 篇 核科学与技术
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
102 篇 理学
- 87 篇 数学
- 10 篇 系统科学
- 5 篇 物理学
- 5 篇 生物学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
32 篇 管理学
- 20 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 7 篇 工商管理
7 篇 教育学
- 7 篇 教育学
6 篇 法学
- 6 篇 社会学
6 篇 文学
- 5 篇 外国语言文学
- 1 篇 新闻传播学
3 篇 医学
- 2 篇 临床医学
1 篇 经济学
- 1 篇 应用经济学

主题

144 篇 logic programmin...
18 篇 artificial intel...
16 篇 logic gates
16 篇 linear programmi...
16 篇 computer program...
15 篇 probabilistic lo...
14 篇 programming
14 篇 mathematical log...
14 篇 programming lang...
12 篇 semantics
11 篇 formal logic
11 篇 computer program...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 software enginee...
9 篇 computer circuit...
9 篇 logic
9 篇 programming tech...
8 篇 answer set progr...
8 篇 inductive logic ...

机构

4 篇 univ minho ctr a...
4 篇 univ texas dept ...
3 篇 universita di pi...
3 篇 the weizmann ins...
3 篇 new mexico state...
3 篇 univ malaga dept...
3 篇 univ calabria de...
2 篇 aalto univ dept ...
2 篇 ontario power ge...
2 篇 univ pisa dipart...
2 篇 department of th...
2 篇 texas tech univ ...
2 篇 univ freiburg in...
2 篇 school of comput...
2 篇 katholieke univ ...
2 篇 inst natl teleco...
2 篇 vienna univ tech...
2 篇 university of po...
2 篇 arizona state un...
2 篇 inria rennes

作者

5 篇 vicente henrique
4 篇 eiter t
4 篇 neves jose
4 篇 saint-dizier pat...
4 篇 faber w
3 篇 stéphan i
3 篇 deville yves
3 篇 pereira lm
3 篇 leone n
3 篇 wang bin
3 篇 levi giorgio
3 篇 neves joao
3 篇 zhang zhizheng
3 篇 son tc
2 篇 polleres a
2 篇 gueddes abdelweh...
2 篇 gongjie liu
2 篇 pontelli e
2 篇 dung phan minh
2 篇 lee kin hong

语言

520 篇 英文
43 篇 其他
4 篇 中文
1 篇 法文

检索条件"任意字段=8th Conference on Logic Programming, 1989"

共 568 条记录，以下是111-120 订阅

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

详细简洁

排序：

Declarative Reasoning Approaches for Agent Coordination

Declarative Reasoning Approaches for Agent Coordination

引用

8th Hellenic conference on Artificial Intelligence (SETN)

作者： Gouidis, Filippos Patkos, theodore Flouris, Giorgos Plexousakis, Dimitris FORTH Inst Comp Sci Iraklion Crete Greece

ISBN: (纸本)9783319070636;9783319070643

Reasoning about Action and Change (RAC) and Answer Set programming (ASP) are two well-known fields in AI for logic-based reasoning. Each paradigm bears unique features and a possible integration can lead to more effective ways to address hard AI problems. In this paper, we report on implementations that embed RAC formalisms and concepts in ASP and present the experimental results obtained, building on a graph-based problem setting that introduces casual and temporal requirements.

关键词： Answer Set programming Event Calculus Reasoning about Action and Change Multi-Agent Action Coordination

来源：评论

学校读者我要写书评

暂无评论

A Hoare-like calculus using the SROIQσ logic on transformations of graphs

A Hoare-like calculus using the SROIQσ logic on transformat...

引用

8th IFIP TC 1/WG 2.2 International conference on theoretical Computer Science, TCS 2014

作者： Brenas, Jon Haël Echahed, Rachid Strecker, Martin CNRS University of Grenoble France Université de Toulouse IRIT France

ISBN: (纸本)9783662446010

We tackle the problem of partial correctness of programs processing structures defined as graphs. We introduce a kernel imperative programming language endowed with atomic actions that participate in the transformation of graph structures and provide a decidable logic for reasoning about these transformations in a Hoare-style calculus. the logic for reasoning about the transformations (baptized SROIQσ) is an extension of the Description logic (DL) SROIQ, and the graph structures manipulated by the programs are models of this logic. the programming language is non-standard in that it has an instruction set targeted at graph manipulations (such as insertion and deletion of arcs), and its conditional statements (in loops and selections) are SROIQσ formulas. the main challenge solved in this paper is to show that the resulting proof problems are decidable. © 2014 IFIP International Federation for Information Processing.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Distributed Authorization in Complex Multi Entity-Driven API Ecosystems 8

Distributed Authorization in Complex Multi Entity-Driven API...

引用

8th International conference on Signal Processing and Communication Systems, (ICSPCS)

作者： thatmann, Dirk Tech Univ Berlin Telekom Innovat Labs Serv Ctr Networking SNET D-10587 Berlin Germany

ISBN: (纸本)9781479952557

In certain business sectors adapting to modern and cost reducing technologies and service models can be still a challenge. this especially applies for health care related SME, such as hospitals, where cost reduction runs counter the need of being compliant to legal regulations and where the access control has to struggle against a diverse landscape of health care equipment accompanied by dynamic and complex role models. Outsourcing data storage and data processing seems not to reduce the complexity, rather bears the risks of reduced data availability, loss or abuse of data and can increase legal compliance risks and concerns. Since this applies for many SMEs, a common platform, such as an ecosystem, can help to lower the entrance barrier by regaining helpful management functionalities, standardized basic services and therefore push the adoption to modern cost reducing service consumption scenarios. In this paper a generic design pattern for realizing distributed authorization in an API ecosystem is presented. the pattern is applied within a research project, which aims to develop an ecosystem for trading and consuming services within demanding business sectors and reduce lock-in effects for both, service providers and consumers. the concept of Distributed Authorization is applied in a new complex multi entity use-case, where access policies for RESTful APIs can be designed flexible under consideration of service providers' and consumers' requirements which are enforced by a central trusted 3rd party provider.

关键词： application program interfaces authorisation API ecosystem SME access control complex multientity-driven API ecosystems data processing distributed authorization generic design pattern health care equipment hospitals outsourcing data storage trading Authorization Contracts Ecosystems logic gates Monitoring Servers Authorization Application programming interfaces Ecosystem access control logic gates Servers contract hospital Business sectors Commerce SUPERCONDUCTING MAGNETIC ENERGY STORAGE Automatic data processing data processing

来源：评论

学校读者我要写书评

暂无评论

A hybrid diagnosis approach combining black-box and white-box reasoning

引用

8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European conference on Artificial Intelligence, ECAI 2014

作者： Chen, Mingmin Yu, Shizhuo Franz, Nico Bowers, Shawn Ludäscher, Bertram Dept. of Computer Science University of California Davis CA United States School of Life Sciences Arizona State University AZ United States Dept. of Computer Science Gonzaga University WA United States

ISBN: (纸本)9783319098692

We study model-based diagnosis and propose a new approach of hybrid diagnosis combining black-box and white-box reasoning. We implemented and compared different diagnosis approaches including the standard hitting set algorithm and new approaches using answer set programming engines (DLV, Potassco) in the application of Euler/X toolkit, a logic-based toolkit for alignment of multiple biological taxonomies. Our benchmarks show that the new hybrid diagnosis approach runs about twice fast as the black-box diagnosis approach of the hitting set algorithm. © 2014 Springer International Publishing.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

On verifying reactive rules using rewriting logic

引用

8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European conference on Artificial Intelligence, ECAI 2014

作者： Ksystra, Katerina Triantafyllou, Nikos Stefaneas, Petros National Technical University of Athens Iroon Polytexneiou 9 15780 Zografou Athens Greece

ISBN: (纸本)9783319098692

Rule-based programming has been gaining a lot of interest in the industry lately, through the growing use of rules to model the behavior of software systems. A demand for verifying and analyzing rule based systems has thus emerged. In this paper we propose a methodology, based on rewriting logic specifications written in CafeOBJ, for reasoning about structural errors of systems whose behavior is expressed in terms of reactive rules and verifying safety properties within the same framework. We present our approach through a simple but illustrative example of an e-commerce web site. © 2014 Springer International Publishing.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Web Stream Reasoning Using Probabilistic Answer Set programming

Web Stream Reasoning Using Probabilistic Answer Set Programm...

引用

8th International conference on Web Reasoning and Rule Systems (RR)

作者： Nickles, Matthias Mileo, Alessandra Natl Univ Ireland INSIGHT Ctr Data Analyt Galway Ireland

ISBN: (纸本)9783319111131;9783319111124

We propose a framework for reasoning about dynamic Web data, based on probabilistic Answer Set programming (ASP). Our approach, which is prototypically implemented, allows for the annotation of first-order formulas as well as ASP rules and facts with probabilities, and for learning of such weights from examples (parameter estimation). Knowledge as well as examples can be provided incrementally in the form of RDF data streams. Optionally, stream data can be configured to decay over time. With its hybrid combination of various contemporary AI techniques, our framework aims at prevalent challenges in relation to data streams and Linked Data, such as inconsistencies, noisy data, and probabilistic processing rules.

关键词： Web Reasoning Uncertainty Stream Reasoning Answer Set programming RDF Probabilistic Inductive logic programming Machine Learning

来源：评论

学校读者我要写书评

暂无评论

Checking termination of logic programs with function symbols through linear constraints

引用

8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European conference on Artificial Intelligence, ECAI 2014

作者： Calautti, Marco Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Italy

ISBN: (纸本)9783319098692

Enriching answer set programming with function symbols makes modeling easier, increases the expressive power, and allows us to deal with infinite domains. However, this comes at a cost: common inference tasks become undecidable. To cope with this issue, recent research has focused on finding trade-offs between expressivity and decidability by identifying classes of logic programs that impose limitations on the use of function symbols but guarantee decidability of common inference tasks. Despite the significant body of work in this area, current approaches do not include many simple practical programs whose evaluation terminates. In this paper, we present the novel class of rule-bounded programs. While current techniques perform a limited analysis of how terms are propagated from an individual argument to another, our technique is able to perform a more global analysis, thereby overcoming several limitations of current approaches. We also present a further class of cycle-bounded programs where groups of rules are analyzed together. We show different results on the correctness and the expressivity of the proposed techniques. © 2014 Springer International Publishing.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set programming

Investigating Information Diffusion in a Multi-Social-Networ...

引用

8th International conference on Web Reasoning and Rule Systems (RR)

作者： Marra, Giuseppe Nocera, Antonino Ricca, Francesco Terracina, Giorgio Ursino, Domenico Univ Mediterranea Reggio Calabria DIIES Via Graziella I-89122 Reggio Di Calabria Italy Univ Calabria Dipartmento Matemat I-89136 Arcavacata Di Rende Italy

ISBN: (纸本)9783319111131;9783319111124

Information Diffusion is a classical problem in Social Network Analysis, where it has been deeply investigated for single social networks. In this paper, we begin to study it in a multi-social-network scenario, where many social networks coexist and are strictly connected to each other, thanks to those users who join more social networks. In this activity, Answer Set programming provided us with a powerful and flexible tool for an easy set-up and implementation of our investigations.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Exchange-Repairs: Managing Inconsistency in Data Exchange

Exchange-Repairs: Managing Inconsistency in Data Exchange

引用

8th International conference on Web Reasoning and Rule Systems (RR)

作者： ten Cate, Balder Halpert, Richard L. Kolaitis, Phokion G. Univ Calif Santa Cruz Santa Cruz CA 95064 USA

ISBN: (纸本)9783319111131;9783319111124

In a data exchange setting with target constraints, it is often the case that a given source instance has no solutions. Intuitively, this happens when data sources contain inconsistent or conflicting information that is exposed by the target constraints at hand. In such cases, the semantics of target queries trivialize, because the certain answers of every target query over the given source instance evaluate to "true". the aim of this paper is to introduce and explore a new framework that gives meaningful semantics in such cases by using the notion of exchange-repairs. Informally, an exchange-repair of a source instance is another source instance that differs minimally from the first, but has a solution. In turn, exchange-repairs give rise to a natural notion of exchange-repair certain answers (in short, XR-certain answers) for target queries in the context of data exchange with target constraints. After exploring the structural properties of exchange-repairs, we focus on the problem of computing the XR-certain answers of conjunctive queries. We show that for schema mappings specified by source-to-target GAV dependencies and target equality-generating dependencies (egds), the XR-certain answers of a target conjunctive query can be rewritten as the consistent answers (in the sense of standard database repairs) of a union of source conjunctive queries over the source schema with respect to a set of egds over the source schema, thus making it possible to use a consistent query-answering system to compute XR-certain answers in data exchange. In contrast, we show that this type of rewriting is not possible for schema mappings specified by source-to-target LAV dependencies and target egds. We then examine the general case of schema mappings specified by source-to-target GLAV constraints, a weakly acyclic set of target tgds and a set of target egds. the main result asserts that, for such settings, the XR-certain answers of conjunctive queries can be rewritten as the certai

关键词： data exchange certain answers database repairs consistent query answering disjunctive logic programming stable models

来源：评论

学校读者我要写书评

暂无评论

Inferring UI Patterns with Inductive logic programming

Inferring UI Patterns with Inductive Logic Programming

引用

8th Iberian conference on Information Systems and Technologies (CISTI)

作者： Nabuco, Miguel Paiva, Ana C. R. Camacho, Rui Faria, Joao Pascoal Univ Porto Fac Engn Dept Engn Informat P-4100 Oporto Portugal

ISBN: (纸本)9789899843400

this paper presents an approach to infer UI patterns existent in a web application. this reverse engineering process is performed in two steps. First, execution traces are collected from user interactions using the Selenium software. Second, the existing UI patterns within those traces are identified using Machine Learning inference with the Aleph ILP system. the paper describes and illustrates the proposed methodology on a case study over the Amazon web site.

关键词： Reverse Engineering Inductive logic programming Web Application UI Patterns

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共57页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：