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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

708 篇 会议
39 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

696 篇 工学
- 693 篇 计算机科学与技术...
- 366 篇 软件工程
- 21 篇 电气工程
- 20 篇 信息与通信工程
- 19 篇 控制科学与工程
- 4 篇 生物工程
- 3 篇 交通运输工程
- 3 篇 生物医学工程（可授...
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 化学工程与技术
- 2 篇 石油与天然气工程
- 2 篇 农业工程
- 2 篇 环境科学与工程（可...
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
148 篇 理学
- 135 篇 数学
- 7 篇 生物学
- 7 篇 统计学（可授理学、...
- 6 篇 物理学
- 4 篇 系统科学
34 篇 管理学
- 25 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 4 篇 工商管理
5 篇 法学
- 5 篇 社会学
4 篇 医学
- 4 篇 临床医学
- 2 篇 基础医学(可授医学...
- 2 篇 药学(可授医学、理...
2 篇 教育学
- 2 篇 教育学
2 篇 农学
- 2 篇 作物学
2 篇 军事学
1 篇 文学

主题

270 篇 logic programmin...
51 篇 answer set progr...
49 篇 semantics
28 篇 knowledge repres...
25 篇 computer circuit...
24 篇 artificial intel...
19 篇 nonmonotonic rea...
15 篇 formal logic
12 篇 mathematical log...
11 篇 knowledge repres...
10 篇 logics and meani...
9 篇 atoms
9 篇 ontology
8 篇 answer-set progr...
8 篇 stream reasoning
8 篇 semantic web
8 篇 programming tech...
8 篇 constraint progr...
7 篇 model checking
7 篇 software enginee...

机构

19 篇 vienna univ tech...
15 篇 univ potsdam pot...
10 篇 univ kentucky de...
10 篇 vienna univ tech...
8 篇 inria rennes ren...
7 篇 new mexico state...
7 篇 univ a coruna la...
7 篇 univ potsdam ins...
7 篇 univ texas dept ...
6 篇 tech univ wien i...
6 篇 tu wien austria
6 篇 univ minho ctr a...
6 篇 university of po...
6 篇 institut für inf...
6 篇 univ calabria ar...
5 篇 univ manchester ...
5 篇 univ genoa dibri...
5 篇 institut für inf...
5 篇 univ calabria de...
5 篇 univ alberta dep...

作者

41 篇 eiter thomas
40 篇 schaub torsten
26 篇 gebser martin
26 篇 tompits hans
23 篇 ricca francesco
20 篇 woltran stefan
17 篇 leone nicola
16 篇 ianni giovambatt...
16 篇 fink michael
16 篇 cabalar pedro
15 篇 faber wolfgang
15 篇 alviano mario
12 篇 calimeri frances...
11 篇 oetsch johannes
10 篇 kaminski roland
10 篇 redl christoph
10 篇 janhunen tomi
9 篇 krennwallner tho...
9 篇 leite joao
8 篇 eiter t

语言

761 篇 英文
6 篇 中文
4 篇 其他

检索条件"任意字段=9th International Conference on Logic Programming and Nonmonotonic Reasoning"

共 771 条记录，以下是741-750 订阅

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

详细简洁

排序：

Automating the Development of Metabolic Network Models 13th

Automating the Development of Metabolic Network Models

引用

13th international conference on Computational Methods in Systems Biology (CMSB)

作者： Rozanski, Robert Bragaglia, Stefano Ray, Oliver King, Ross Univ Manchester Sch Comp Sci Manchester M13 9PL Lancs England Univ Bristol Dept Comp Sci Bristol BS8 1TH Avon England

ISBN: (纸本)9783319234014;9783319234007

Although substantial progress has been made in the automation of many areas of systems biology, from data processing and model building to experimentation, comparatively little work has been done on integrated systems that combine all of these aspects. this paper presents an active learning system, "Huginn", that integrates experiment design and model revision in order to automate scientific reasoning about Metabolic Network Models. We have validated our approach in a simulated environment using substantial test cases derived from a state-of-the-art model of yeast metabolism. We demonstrate that Huginn can not only improve metabolic models, but that it is able to both solve a wider range of biochemical problems than previous methods, and to utilise a wider range of experiment types. Also, we show how design of extended crucial experiments can be automated using Abductive logic programming for the first time.

关键词： Metabolism

来源：评论

学校读者我要写书评

暂无评论

Probabilistic reasoning with a Bayesian DNA device based on strand displacement

Probabilistic reasoning with a Bayesian DNA device based on ...

引用

18th international conference on DNA Computing and Molecular programming, DNA 18

作者： Sainz De Murieta, Iñaki Rodríguez-Patón, Alfonso Campus de Montegancedo s/n Boadilla del Monte Madrid 28660 Spain

ISBN: (纸本)9783642322075

We present a computing model based on the DNA strand displacement technique which performs Bayesian inference. the model will take single stranded DNA as input data, representing the presence or absence of a specific molecular signal (evidence). the program logic encodes the prior probability of a disease and the conditional probability of a signal given the disease playing with a set of different DNA complexes and their ratios. When the input and program molecules interact, they release a different pair of single stranded DNA species whose relative proportion represents the application of Bayes' Law: the conditional probability of the disease given the signal. the models presented in this paper can empower the application of probabilistic reasoning in genetic diagnosis in vitro. © 2012 Springer-Verlag.

关键词： DNA

来源：评论

学校读者我要写书评

暂无评论

the IMPL policy language for managing inconsistency in multi-context systems 1

引用

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

作者： Eiter, thomas Fink, Michael Ianni, Giovambattista Schüller, Peter Institut für Informationssysteme Technische Universität Wien Favoritenstraße 9-11 ViennaA-1040 Austria Dipartimento di Matematica Cubo 30B Università della Calabria RendeCS87036 Italy

ISBN: (数字)9783642415241

ISBN: (纸本)9783642415234

Multi-context systems are a declarative formalism for interlinking knowledge-based systems (contexts) that interact via (possibly nonmonotonic) bridge rules. Interlinking knowledge provides ample opportunity for unexpected inconsistencies. these are undesired and come in different categories: some may simply be repaired automatically, while others are more serious and must be inspected by a human operator. In general, no one-fits-all solution exists, since these categories depend on the application scenario. To nevertheless tackle inconsistencies in a general and principled way, we thus propose a declarative policy language for inconsistency management in multi-context systems. We define its syntax and semantics, discuss methodologies for applying the language in real world applications, and outline an implementation by rewriting to acthex, a formalism extending Answer Set Programs. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

A program logic for resource verification

引用

17th international conference on theorem Proving in Higher Order logics, TPHOLs 2004

作者： Aspinall, David Beringer, Lennart Hofmann, Martin Loidl, Hans-Wolfgang Momigliano, Alberto Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh EdinburghEH9 3JZ United Kingdom Institut für Informatik Ludwig-Maximilians Universität MünchenD-80538 Germany

ISBN: (纸本)3540230173

We present a program logic for reasoning about resource consumption of programs written in Grail, an abstract fragment of the Java Virtual Machine Language. Serving as the target logic of a certifying compiler, the logic exploits Grail's dual nature of combining a functional interpretation with object-oriented features and a cost model for the JVM. We present the resource-aware operational semantics of Grail, the program logic, and prove soundness and completeness. All of the work described has been formalised in the theorem prover Isabelle/HOL, which provides us with an implementation of the logic as well as confidence in the results. We conclude with examples of using the logic for proving resource bounds on code resulting from compiling high-level functional programs. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Kara: A system for visualising and visual editing of interpretations for answer-set programs 19th

Kara: A system for visualising and visual editing of interpr...

引用

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

作者： Kloimüllner, Christian Oetsch, Johannes Pührer, Jörg Tompits, Hans Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria Institut für Informationssysteme 184/3 Technische Universität Wien Favoritenstraße 9-11 Vienna1040 Austria

ISBN: (纸本)9783642415234

In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. these answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. the tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpretations. Unlike existing tools that position graphic primitives according to static coordinates only, Kara allows for more high-level specifications, supporting graph structures, grids, and relative positioning of graphical elements. Moreover, generalising the functionality of previous tools, Kara provides modifiable visualisations such that interpretations can be manipulated by graphically editing their visualisations. this is realised by resorting to abductive reasoning techniques using ASP itself. Kara is part of SeaLion, an integrated development environment (IDE) for ASP. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Qualitative Spatial and Temporal reasoning with Answer Set programming

Qualitative Spatial and Temporal Reasoning with Answer Set P...

引用

international conference on Tools with Artificial Intelligence

作者： Jason Jingshi Li Artificial Intelligence Laboratory Ecole Polytechnique Federale de Lausanne

ISBN: (纸本)9781479902279

Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and temporal reasoning into logic programs for answer set programming solvers. Each encoding reflects a different type of modeling abstraction. We evaluate our approach with two of the most well known qualitative spatial and temporal reasoning formalisms, the Interval Algebra and Region Connection Calculus. Our results show some surprising findings, including the strong performance of the solver for disjunctive logic programs over the non-disjunctive ones on our benchmark problems.

关键词： temporal reasoning Answer logic programming programming Solvers Qualitative time information Benchmark testing computer science Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

A Soft Computing Approach to Quality Evaluation of General Chemistry Learning in Higher Education 6th

A Soft Computing Approach to Quality Evaluation of General C...

引用

6th international conference on Methodologies and Intelligent Systems for Technology Enhanced Learning (mis4TEL)

作者： Figueiredo, Margarida Neves, Jose Vicente, Henrique Univ Evora Dept Quim Ctr Invest Educ & Psicol Escola Ciencias & Tecnol Evora Portugal Univ Minho Ctr Algoritmi Braga Portugal Univ Evora Dept Quim Escola Ciencias & Tecnol Evora Portugal

ISBN: (纸本)9783319401652;9783319401645

In contemporary societies higher education must shape individuals able to solve problems in a workable and simpler manner and, therefore, a multidisciplinary view of the problems, with insights in disciplines like psychology, mathematics or computer science becomes mandatory. Undeniably, the great challenge for teachers is to provide a comprehensive training in General Chemistry with high standards of quality, and aiming not only at the promotion of the student's academic success, but also at the understanding of the competences/skills required to their future doings. thus, this work will be focused on the development of an intelligent system to assess the Quality-of-General-Chemistry-Learning, based on factors related with subject, teachers and students.

关键词： General Chemistry Higher Education logic programming Knowledge representation and reasoning Artificial Neural Networks

来源：评论

学校读者我要写书评

暂无评论

Computational space efficiency and minimal model generation for guarded formulae 8

引用

8th international conference on logic for programming, Artificial Intelligence and reasoning, LPAR 2001

作者： Georgieva, Lilia Hustadt, Ullrich Schmidt, Renate A. Department of Computer Science University of Manchester ManchesterM13 9PL United Kingdom Department of Computer Science University of Liverpool LiverpoolL69 7ZF United Kingdom

ISBN: (纸本)9783540429579

this paper describes a number of hyperresolution-based decision procedures for a subfragment of the guarded fragment. We first present a polynomial space decision procedure of optimal worst-case space and time complexity for the fragment under consideration. We then consider minimal model generation procedures which construct all and only minimal Herbrand models for guarded formulae. these procedures are based on hyperresolution, (complement) splitting and either model constraint propagation or local minimality tests. All the procedures have concrete application domains and are relevant for multi-modal and description logics that can be embedded into the considered fragment. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Leveraging Neurosymbolic AI for Slice Discovery 18th

Leveraging Neurosymbolic AI for Slice Discovery

引用

18th international conference on Neural-Symbolic Learning and reasoning (NeSy)

作者： Collevati, Michele Eiter, thomas Higuera, Nelson Tech Univ Wien Inst Log & Computat Favoritenstr 9-11 A-1040 Vienna Austria

ISBN: (纸本)9783031711664;9783031711671

While remarkable recent developments in deep neural networks have significantly contributed to advancing the state-of-the-art in Computer Vision (CV), several studies have also shown their limitations and defects. In particular, CV models often make systematic errors on important subsets of data called slices, which are groups of data sharing a set of attributes. the slice discovery problem involves detecting semantically meaningful slices on which the model performs poorly, called rare slices. We propose a modular Neurosymbolic AI approach whose distinct advantage is the extraction of human-readable logical rules that describe rare slices, and thus enhances explainability of CV models. To this end, we present a methodology to induce rare slice occurrences in a model. Experiments on datasets from our data generator leveraging on Super-CLEVR show that the approach can correctly identify rare slices and produce logical rules describing them. the rules can be fruitfully used to generate new training data to mend model behavior or may be integrated into the model to enhance its inference capabilities. (the code for reproducing our experiments is available as an online repository: https://***/kbs/nesy- ai/ilp4sd).

关键词： Neurosymbolic AI Slice Discovery Inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

Acquiring and adapting probabilistic models of agent conversation

Acquiring and adapting probabilistic models of agent convers...

引用

4th international conference on Autonomous Agents and Multi agent Systems, AAMAS 05

作者： Fischer, Felix Rovatsos, Michael Weiss, Gerhard Department of Informatics Technical University of Munich 85748 Garching Germany School of Informatics University of Edinburgh Edinburgh EH8 9LE United Kingdom

Communication in multiagent systems (MASs) is usually governed by agent communication languages (ACLs) and communication protocols carrying a clear cut semantics. With an increasing degree of openness, however, the need arises for more flexible models of communication that can handle the uncertainty associated with the fact that adherence to a supposedly agreed specification of possible conversations cannot be ensured on the side of other agents. As one example for such a model, interaction frames follow an empirical semantics view of communication, where meaning is defined in terms of expected consequences, and allow for a combination of existing expectations with empirical observation of how communication is used in practice. In this paper, we use methods from the fields of case-based reasoning, inductive logic programming and cluster analysis to devise a formal scheme for the acquisition and adaptation of interaction frames from actual conversations, enabling agents to autonomously (i.e. independent of users and system designers) create and maintain a concise model of the different classes of conversation in a MAS on the basis of an initial set of ACL and protocol specifications. this resembles the first rigorous attempt to solve this problem that is decisive for building truly autonomous agents. Copyright 2005 ACM.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共78页 << < 69 70 71 72 73 74 75 76 77 78 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：