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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

332 篇 会议
23 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

286 篇 工学
- 273 篇 计算机科学与技术...
- 190 篇 软件工程
- 19 篇 控制科学与工程
- 13 篇 电气工程
- 12 篇 信息与通信工程
- 7 篇 生物医学工程（可授...
- 4 篇 电子科学与技术（可...
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 农业工程
- 2 篇 生物工程
- 2 篇 安全科学与工程
87 篇 理学
- 71 篇 数学
- 8 篇 系统科学
- 5 篇 物理学
- 4 篇 生物学
- 4 篇 统计学（可授理学、...
- 2 篇 化学
37 篇 管理学
- 28 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
4 篇 教育学
- 4 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
1 篇 法学
1 篇 文学

主题

86 篇 logic programmin...
29 篇 knowledge repres...
18 篇 semantics
13 篇 programming
12 篇 computer circuit...
10 篇 computer program...
9 篇 object oriented ...
9 篇 artificial intel...
9 篇 ontology
8 篇 logic gates
8 篇 mathematical log...
8 篇 functional progr...
6 篇 inductive logic ...
6 篇 programming tech...
6 篇 logics and meani...
6 篇 temporal logic
6 篇 logic design
4 篇 computer archite...
4 篇 logic
4 篇 logic circuits

机构

2 篇 genusion inc. am...
2 篇 computer science...
2 篇 univ adelaide sc...
2 篇 faculty of infor...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ minho ctr a...
2 篇 dlvsyst srl arca...
2 篇 listic universit...
2 篇 school of comput...
2 篇 vienna univ tech...
2 篇 school of softwa...
2 篇 open university ...
2 篇 centro algoritmi...
2 篇 facultad de mate...
2 篇 univ calabria de...
2 篇 etsii universida...
2 篇 university of wi...
2 篇 sri internationa...
2 篇 univ london impe...

作者

5 篇 vicente henrique
3 篇 dastani mehdi
3 篇 pereira luís mon...
3 篇 brain martin
3 篇 neves josé
3 篇 heymans stijn
3 篇 tompits hans
3 篇 de vos marina
2 篇 meseguer josé
2 篇 hommersom arjen
2 篇 durán f.
2 篇 porto antónio
2 篇 n. ajika
2 篇 leone nicola
2 篇 dell’acqua piera...
2 篇 de mel geeth
2 篇 madalina croitor...
2 篇 kelly peter m.
2 篇 dovier agostino
2 篇 hindriks koen v.

语言

357 篇 英文
8 篇 其他
4 篇 中文

检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"

共 365 条记录，以下是301-310 订阅

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

详细简洁

排序：

The Information Agent: an infrastructure agent supporting collaborative enterprise architectures

The Information Agent: an infrastructure agent supporting co...

引用

IEEE international workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)

作者： M. Barbuceanu M.S. Fox Enterprise Integration Laboratory Department of Industrial Engineering University of Toronto Canada

We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on an agent program and a knowledge management system and present out choices for these components. We show how the architecture can be designed and implemented using description logic representation systems and argue for the advantages of this approach. Then we show how services supporting time-map management, conflict resolution, deductive queries and change management have been introduced and how all of these support the functions of the Information Agent.< >

关键词： Collaboration knowledge management Intelligent agent Computer architecture Environmental management Protocols Industrial engineering logic design Information management knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Tutorial on termination of logic programs 3rd

引用

3rd international workshop on Meta-programming in logic, META 1992

作者： De Schreye, Danny Verschaetse, Kristof Department of Computer Science Katholieke Universiteit Lenven Celestijnenlaan 200A Heverlee3001 Belgium

ISBN: (纸本)9783540562825

We present a general introduction to termination analysis for logic programs, with focus on universal termination of SLD-derivations and on definite programs. We start by providing a generic definition of the termination problem. It is parametrised by the sets of goals and the sets of computation rules under consideration. We point out a distinction between two streams of work, each taking a different approach with respect to the undecidability of the halting problem. We then recall the notions of recurrency and acceptability from the works of Apt, Bezem and Pedreschi. We illustrate how these notions provide an elegant framework for reasoning about termination. We then identify four basic components that are present in any approach to termination analysis. We point out the interdependencies between these components and their relevance for the termination analysis as a whole. We also use these components to illustrate some differences between automatic approaches to termination analysis and the more theoretically oriented frameworks for termination. © Springer-Verlag Berlin Heidelberg 1992.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

SysObjC: C extension for development of object-oriented operating systems

SysObjC: C extension for development of object-oriented oper...

引用

3rd workshop on programming Languages and Operating Systems, PLOS 2006: Linguistic Support for Modern Operating Systems

作者： Balogh, Ádám Csörnyei, Zoltán Department of Algorithms and Their Applications Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pazmany Peter setany 1/C 1117 Budapest Hungary

ISBN: (纸本)1595935770

Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware's manufacturer do not fit into this scheme. First of all, traditional object-oriented languages do not support objects with user-defined representation, which would be needed to these data structures as objects. Secondly, classic object-oriented languages have an overhead unacceptable for operating systems. To overcome both problems we introduce predicate classes into C as an extension of the standard structures. Inheritance is based on overlapping reserved fields without extending the object in size, which enables polymorphism by value, a very important feature in system programming. Dispatcher routines of methods add no significant overhead compared to standard C. Copyright © 2006 ACM.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

E-Friend: A logical-Based AI Agent System Chat-Bot for Emotional Well-Being and Mental Health 1st

E-Friend: A Logical-Based AI Agent System Chat-Bot for Emoti...

引用

1st international workshop on Deceptive AI, DeceptECAI 2020, held in conjunction with 24th European Conference on Artificial Intelligence, ECAI 2020 and 2nd international workshop on Deceptive AI, DeceptAI 2021, held in conjunction with 30th international Joint Conference on Artificial Intelligence, IJCAI 2021

作者： Galindo, Mauricio J. Osorio Moreno, Luis A. Montiel Rojas-Velázquez, David Nieves, Juan Carlos Universidad de las Américas Puebla Ex Hacienda Sta. Catarina Mártir S/N. San Andrés Cholula Puebla72810 Mexico San Andrés Cholula Mexico Department of Computing Science Umeå University Umeå Sweden

ISBN: (纸本)9783030917784

In this work, it is proposed the design of a Reasoning logical Based Intelligent Agent System Chat-bot for Dialogue Composition (DC) named E-friend, which uses logic programming (LP) for reasoning tasks. The main contribution is the use of knowledge representation Reasoning with LP theories modelling the knowledge of the user agent (beliefs, intentions, and expectations) to reason, plan and to optimally solve the DC problem. Another contribution is the design of a system component that extends the theory of mind, for the user model, with emotions to detect if the user decepts to the system or to itself. This component has the aim to alert and inform the facilitator when E-friend detects possible deceit signals from the student. E-friend was designed to help first year university students to manage stress/anxiety to optimal well-being development and attempt the prevention of depression and addictions leading. Students can interact through a chat-bot (text-based questions and answers) to help the system learns from the user, at the same time the user learns from itself improving mental health well-being. © 2021, Springer Nature Switzerland AG.

关键词： knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Spatiotemporal = Spatial × Temporal 3

Spatiotemporal = Spatial × Temporal

引用

3rd Joint Ontology workshops, Episode VIII: The Svear Sommar of Ontology, JOWO 2022

作者： Bai, Yunpiao Grüninger, Michael Department of Mechanical and Industrial Engineering University of Toronto TorontoON Canada

There has been a constant debate about how to integrate spatial and temporal representation together. Three-dimensionalists believe that objects only have spatial dimensions;thus, they take space and time as two separate domains, so-called "three-plus-one"dimensional approach. Controversially, four dimensionalists argue that objects extend on time just as they extend on space, in which space and time is one primitive domain. In this research, we attempt to harmonize both of these views and interlink the two;meanwhile we justify our choices through a set of motivating scenarios. We also present our axiomatization of spatiotemporal regions and their mereotopology using the product order of spatial and temporal mereotopologies. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

Conditional narrowing with constructive negation 3rd

引用

3rd international workshop on Extensions of logic programming, ELP 1992

作者： Ramírez, María José Falaschi, Moreno Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Camino de Vera s/n Apdo. 22012 Valencia46020 Spain Dipartimento di Informatica Università di Pisa Corso Italia 40 Pisa56125 Italy

ISBN: (纸本)9783540564546

In this paper we present a narrower for conditional equational theories whose clauses allow disequations in their bodies (normal theories). Our approach deals with disequations in a constructive manner and thus allows non ground negative queries. We give a formal operational semantics for normal theories and define the notion of completion and stratification of a normal theory. We show that there exists one minimal model for the completion of a stratified normal theory. Then we prove the correctness of the operational semantics with respect to the completion of a stratified normal theory. © Springer-Verlag Berlin Heidelberg 1993.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A representation of software systems evolution based on the theory of the general system 3rd

引用

3rd international workshop on Computer Aided Systems Theory, EUROCAST 1993

作者： Parets, José Anaya, Ana Rodríguez, María J. Paderewski, Patricia Dept. de Lenguajes y Sistemas Informáticos Facultad de Ciencias Universidad de Granada Granada18001 Spain

ISBN: (纸本)9783540576013

The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the representation of the evolution of these systems, based on Le Moigne’s theory of the General System, and a prototype developed in an object-oriented programming language which implements the concepts used. To do this we distinguish, in the evolution of software systems, between the Functional and Structural History of the system. These concepts have allowed us to elaborate a recursive-evolutive model of the software development process, which permits us to implement the concepts of the theory and to make prototypes of software systems. Perhaps the most important contribution comes from the uniformity provided by a well founded epistemological background, the System Theory, which allows us to treat the design, functioning and modifications of software systems in an homogeneous way. © 1994, Springer Verlag. All rights reserved.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

SAVE/GTS-VLT: Visual logic tool for geo-temporal specification and verification of safety requirements in smart IoT systems 3

SAVE/GTS-VLT: Visual logic tool for geo-temporal specificati...

引用

3rd international workshop on Practicing Open Enterprise Modeling Within OMiLAB, PrOse 2019

作者： Lee, Sunghyun Lee, Moonkun Chonbuk National University 567 Baekje-daero Deokjin-gu Jeonju-si Jeonbuk54896 Korea Republic of

Visual representation for operational requirements for Smart IoT Systems is desirable in process algebra, since it is more intuitive than textual representation. Further visual representation for safety requirements in the systems is more desirable in real-time logic since it reduces the complexity of verification of the requirements. However it is not well known that there are common logics for such visualization. In that purpose, this paper presents a visual logic, called GTS Visual logic, to specify and verify the geo-temporal safety requirements for Smart IoT Systems specified with a process algebra, called dT-Calculus. The calculus is used to specify the operational requirements for the systems on some conceptual geographical space. Once they are specified, a set of simulations can be performed to construct all possible execution cases for the requirements, and a set of outputs are produced in terms of processes, their actions and interactions, and dependencies on the 2-dimentional geo-temporal space. Then the visual logic is used to specify and verify all the safety requirements for the systems in terms of dependencies, especially precedencies and conditions, among all the processes, their independent actions and synchronous interactions. For feasibility, a tool, called GTS-VLT, was developed on ADOxx as a basic component of the SAVE tool suite, which is the tool set to model Smart IoT Systems, in order to demonstrate the feasibility of the logic. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Providing Dynamic Instructional Adaptation in programming Learning

Providing Dynamic Instructional Adaptation in Programming Le...

引用

3rd international workshop on Hybrid Artificial Intelligence Systems

作者： Jurado, Francisco Santos, Olga C. Redodo, Miguel A. Boticario, Jesus G. Ortega, Manuel Univ Castilla La Mancha Comp Sci & Engn Fac Paseo Univ 4 E-13071 Ciudad Real Spain Univ Nacl Educ Distancia Sch Comp Sci aDeNu Res Grp E-28040 Madrid Spain

ISBN: (纸本)9783540876557

This paper describes an approach to create an Intelligent Tutoring System that provides dynamic personalization and learning activities sequencing adaptation by combining eLearning standards and Artificial Intelligent techniques. The work takes advantage of the functionalities provided by an open source Learning Management System, dotLRN, which supports eLearning standards such as IMS-LD, and generates personalized sequences of learning activities. Moreover, the user model draws on standards such as IMS-LIP and IMS-AccLIP and the personalized learning path provided to the user is enriched with feedback coming from various Agents. In turn, the agents apply Fuzzy logic to evaluate the students' assignments and to update the user model with their preferences by means of machine learning techniques.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Reachability Problems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Olivier Bournez Igor Potapov

ISBN: (数字)9783642044205

ISBN: (纸本)9783642044199

This book constitutes the research papers presented at the 3rd international workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.

关键词： Mathematics of Computing Theory of Computation programming Techniques Algorithm Analysis and Problem Complexity logics and Meanings of Programs Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：