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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
69 册 图书
55 篇 期刊文献

馆藏范围

1,551 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

1,260 篇 工学
- 1,245 篇 计算机科学与技术...
- 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 篇 农学

主题

387 篇 logic programmin...
141 篇 artificial intel...
63 篇 semantics
52 篇 answer set progr...
48 篇 mathematical log...
43 篇 computer circuit...
42 篇 formal logic
40 篇 knowledge repres...
34 篇 logics and meani...
28 篇 programming tech...
25 篇 knowledge repres...
25 篇 calculations
21 篇 programming lang...
18 篇 software enginee...
16 篇 fuzzy logic
15 篇 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 篇 中文
4 篇 其他

检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"

共 1552 条记录，以下是1421-1430 订阅

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

详细简洁

排序：

Extended logic programming applied to the specification of multi-agent systems and their computing environments

Extended logic programming applied to the specification of m...

引用

IEEE international conference on Intelligent Processing Systems, ICIPS

作者： J. Neves J. Machado C. Analide P. Novais A. Abelha Departamento de Informática Universidade do Minho Braga Portugal

the paper presents a logical framework to model some aspects of contextuality; i.e., generating contexts in a multi-context setting. Following the existing work on extended logic programming and multi-agent systems, a contextual reasoning procedure for a particular class of multi-context systems, the law ones, is proposed based on Grice's maxims (1975), which in turn are used to support a larger set of contexts by combining contexts into compound structures, thus defining a logic of contexts. the notion of compound contexts reflects the beliefs, desires, intentions and obligations, among others, that depend on the problem, leading to a variety of dynamic context formations. In its applied form, the Portuguese Public Prosecution Service is considered, which is the state body entrusted with representing the state, bringing criminal cases to court, defending democratic legality, and any other interests that the law determines.

关键词： logic programming Multiagent systems Law Problem-solving Automatic control Humans Learning artificial intelligence Context modeling Automation

来源：评论

学校读者我要写书评

暂无评论

Extending partial orders for sort reasoning 4th

引用

4th Pacific Rim international conference on artificial intelligence, PRICAI 1996

作者： Fall, Andrew School of Computing Science Simon Fraser University BurnabyBCV5A-1S6 Canada

ISBN: (纸本)3540615326

Although mathematically elegant, partial orders limit the representation of taxonomic knowledge to subsort-supersort (or isa) relationships. We cannot, for example, directly state that two sorts are incompatible or define one sort as the intersection of a set of other sorts. this poses problems for specifying more complete taxonomic relationships as well as for denotational semantics in sorted logic. Research on many sorted logics has addressed this issue by expanding the expressive power of relationships among sorts. In this paper we propose the extraction of sort reasoning from the application, whether this is within a logic, a programming language or a knowledge representation system. this specialized sort reasoner is given information about sorts in the form of assertions and can be called upon to answer queries regarding the sort structure specified. We develop a sound and complete propositional sort logic with which the sort reasoner operates. Unfortunately, general sort reasoning is NP-Complete, and in some applications it may be important to preserve tractability. We suggest some ways to limit the expressiveness of sort reasoning to gain polynomial time operation. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

5th international Workshop on Extensions of logic programming, ELP 1996

引用

5th international Workshop on Extensions of logic programming, ELP 1996

ISBN: (纸本)9783540609834

the proceedings contain 21 papers. the special focus in this conference is on Extensions of logic programming. the topics include: Semantics of constraint logic programs with bounded quantifiers;translating a modal language with embedded implication into horn clause logic;pruning the search space of logic programs;a significant extension of logic programming by adapting model building rules;efficient resource management for linear logic proof search;a logic language based on GAMMA-like multiset rewriting;handling equality in logic programming via basic folding;an abstract machine for reasoning about situations, actions, and causality;on the computational complexity of propositional logic programs with nested implications;proof-theory for extensions of logic programming;a fibrational semantics for logic programs;language and implementation;a new framework for declarative programming;extending constructive negation for partial functions in lazy functional-logic languages;total correctness of logic programs;a declarative semantics for the prolog cut operator;a definitional approach to functional logic programming;soundness and completeness of non-classical extended SLD-resolution and some postulates for nonmonotonic theory revision applied to logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Some characteristics of strong innermost normalization 5th

Some characteristics of strong innermost normalization

引用

5th international conference on Algebraic Methodology and Software Technology, AMAST 1996

作者： Krishna Rao, M.R.K. Max-Planck-Institut für Informatik Im Stadtwald Saarbrücken66123 Germany

ISBN: (纸本)9783540614630

A term rewriting system is strongly innermost normalizing if every innermost derivation of it is of finite length. this property is very important in the integration of functional and logic programming paradigms. Unlike termination, strong innermost normalization is not preserved under subsystems, i.e., every subsystem of a strongly innermost normalizing need not be strongly innermost normalizing. Preservation of a property under subsystems is important in analyzing systems in a modular fashion. In this paper, we identify a few classes of TRSs which enjoy this property. these classes are of particular interest in studying modularity of composable and hierarchical combinations. It is also proved that the choice of the innermost redex to be reduced at any step has no bearing on termination (finiteness) of innermost derivations. It may be noted that such selection invariance does not hold for outermost derivations. the proof techniques used are novel and involve oracle based reasoning -which is very sparsely used in the rewriting literature. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

9th international conference on theorem Proving in Higher Order logics, TPHOLs 1996

9th International Conference on Theorem Proving in Higher Or...

引用

9th international conference on theorem Proving in Higher Order logics, TPHOLs 1996

ISBN: (纸本)9783540615873

the proceedings contain 28 papers. the special focus in this conference is on theorem Proving in Higher Order logics. the topics include: Translating specifications in VDM-SL to PVS;a comparison of HOL and ALF formalizations of a categorical coherence theorem;modeling a hardware synthesis methodology in isabelle;inference rules for programming languages with side effects in expressions;deciding cryptographic protocol adequacy with HOL;proving liveness of fair transition systems;program derivation using the refinement calculator;a proof tool for reasoning about functional programs;coq and hardware verification;elements of mathematical analysis in PVS;implementation issues about the embedding of existing high level synthesis algorithms in HOL;five axioms of alpha-conversion;set theory, higher order logic or both;a mizar mode for HOL;towards applying the composition principle to verify a microkernel operating system;a modular coding of unity in coq;importing mathematics from HOL into nuprl;a structure preserving encoding of Z in Isabelle/HOL;improving the result of high-level synthesis using interactive transformational design;using lattice theory in higher order logic;verification of compiler correctness for the WAM;another logic of computable functions;function definition in higher order logic;higher order annotated terms for proof search;a comparison of MDG and HOL for hardware verification and a mechanisation of computability theory in HOL.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Automated Deduction, Cade 1996

13th International Conference on Automated Deduction, Cade 1...

引用

13th international conference on Automated Deduction, CADE 1996

ISBN: (纸本)3540615113

the proceedings contain 63 papers. the special focus in this conference is on Automated Deduction. the topics include: A resolution theorem prover for intuitionistic logic;proof-terms for classical and intuitionistic resolution;proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification;extensions to a generalization critic for inductive proof;learning domain knowledge to improve theorem proving;patching faulty conjectures;internal analogy in theorem proving;termination of theorem proving by reuse;termination of algorithms over non-freely generated data types;a proof checker with abstraction;the design of the CADE-13 ATP system competition;elimination of predicate quantifiers;a geometry theorem prover;structuring metatheory on inductive definitions;an embedding of ruby in isabelle;mechanical verification of mutually recursive procedures;decentralized traffic control system based on logic programming;presenting machine-found proofs;towards an expert system for many-valued logics;a system presentation;an introduction to geometry expert;simple competitive parallel theorem provers;unification algorithms cannot be combined in polynomial time;unification and matching modulo nilpotence;an improved lower bound for the elementary theories of trees;prolog technology theorem prover for default reasoning;an updated system description;generating models by SEM;optimizing proof search in model elimination;an abstract machine for fixed-order dynamically stratified programs;unification in pseudo-linear sort theories is decidable;theorem proving with group presentations;transforming termination by self-labelling;theorem proving in cancellative abelian monoids and on the practical value of different definitional translations to normal form.

关键词：

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Advanced Information Systems Engineering, CAiSE 1996

引用

8th international conference on Advanced Information Systems Engineering, CAiSE 1996

ISBN: (纸本)3540612920

the proceedings contain 30 papers. the special focus in this conference is on CASE Environments, Temporal, Active Database Technologies, Experience Reports and Interoperability in Information Systems. the topics include: A fully configurable multi-user and multi-tool case and came environment;a computer aided requirements engineering environment;a logic-based framework for reasoning support in software evolution;a temporal active language and execution model;tool-based re-engineering of a legacy MIS;developing an information system using troll;active relationships for controlling the propagation of information and activities in databases;multi-data models translations in interoperable information systems;interoperable transactions in business models;on information modeling to support interoperable spatial databases;guidelines for formalizing fusion object-oriented analysis models;handling conceptual model validation by planning;the world-wide web as a platform for supporting interactive concurrent engineering;context-driven information base update;managing overlapping transactional workflows;shared data management mechanism for distributed software development based on a reflective object-oriented model;agent-based tool integration for distributed information systems;cognitive biases in information modeling;the role of benchmarking in information system development;user-enhanceability for organizational information systems through visual programming;advanced primitives for changing schemas of object databases;views for information system design without reorganization;semantics, features, and applications of the viewpoint abstraction and towards a content-based data model for information retrieval.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hypothetical updates, priority and inconsistency in a logic programming language 3rd

Hypothetical updates, priority and inconsistency in a logic ...

引用

3rd international conference on logic programming and Nonmonotonic reasoning (LPNMR 95)

作者： Gabbay, D Giordano, L Martelli, A Olivetti, N UNIV TURIN DIPARTIMENTO INFORMATI-10149 TURINITALY

ISBN: (纸本)3540594876

In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. the language allows sequences of updates by sets of atoms and it makes use of a revision mechanism to restore consistency when an update violates some integrity constraint. the revision policy we adopt is based on the simple idea that more recent information is preferred to earlier one. this language can be used to perform several types of defeasible reasoning. We define a goal-directed proof procedure for the language and develope a logical characterization in a modal logic by introducing an abductive semantics.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

BQM: A system integrating logic, objects, and non-monotonic reasoning

BQM: A system integrating logic, objects, and non-monotonic ...

引用

7th international conference on Tools with artificial intelligence (TAI 95)

作者： Leone, N Rullo, P UNICAL DEISCNRISII-87030 RENDEITALY

the BQM1 system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a kno... 详细信息

ISBN: (纸本)0818673125

the BQM¹ system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a knowledge representation language that combines the declarativeness of logic programming with the notions of object, inheritance with exceptions, and message passing. Exceptions are supported by allowing rules with negated heads. the use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. the paper describes BQM focusing on both the language and the implementation techniques. An informal overview of the language is first given. then, a number of techniques for efficient query evaluation are presented. these techniques significantly extend 'traditional' deductive database query evaluation strategies to deal with nonmonotonic reasoning. A description of the architecture of the current prototype of the BQM system is also given.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

new HELIC-II: a software tool for legal reasoning

new HELIC-II: a software tool for legal reasoning

引用

Proceedings of the 5th international conference on artificial intelligence and Law

作者： Nitta, Katsumi Shibasaki, Masato Sakata, Tsuyoshi Yamaji, Takahiro Xianchang, Wang Ohsaki, Hiroshi Tojo, Satoshi Kokubo, Iwao Inst for New Generation Computer Technology Tokyo Japan

the new HELIC-II is a software tool for legal reasoning. It consists of two functions - argumentation function and debating function. Argumentation function is realized by a typed logic programming language with generalization of rules and defeasible reasoning based on priority of rules. Debating function is realized by meta knowledge which controls the argumentation function. this paper introduces overview of the new HELIC-II system. We show how legal knowledge is represented in the new HELIC-II illustrated by presenting the example of an actual criminal case.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共156页 << < 139 140 141 142 143 144 145 146 147 148 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：