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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 187 篇 软件工程
- 19 篇 控制科学与工程
- 16 篇 电气工程
- 15 篇 信息与通信工程
- 7 篇 生物医学工程（可授...
- 4 篇 电子科学与技术（可...
- 3 篇 动力工程及工程热...
- 3 篇 建筑学
- 3 篇 化学工程与技术
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 2 篇 土木工程
- 2 篇 农业工程
- 2 篇 生物工程
- 2 篇 安全科学与工程
90 篇 理学
- 74 篇 数学
- 8 篇 系统科学
- 5 篇 物理学
- 4 篇 生物学
- 4 篇 统计学（可授理学、...
- 2 篇 化学
36 篇 管理学
- 27 篇 图书情报与档案管...
- 9 篇 管理科学与工程(可...
- 6 篇 工商管理
7 篇 医学
- 7 篇 临床医学
- 6 篇 基础医学(可授医学...
- 5 篇 药学(可授医学、理...
3 篇 教育学
- 3 篇 教育学
2 篇 农学
- 2 篇 作物学
1 篇 经济学
1 篇 法学
1 篇 文学

主题

87 篇 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 篇 programming tech...
6 篇 logics and meani...
6 篇 temporal logic
6 篇 logic design
5 篇 answer set progr...
4 篇 computer archite...
4 篇 logic
4 篇 inductive logic ...

机构

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.

语言

354 篇 英文
11 篇 其他
1 篇 中文

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

共 365 条记录，以下是251-260 订阅

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

详细简洁

排序：

AGENP: An ASGrammar-based GENerative Policy Framework 2nd

AGENP: An ASGrammar-based GENerative Policy Framework

引用

23rd European Symposium on Research in Computer Security (ESORICS) / 2nd international workshop on Policy-Based Autonomic Data Governance (PADG

作者： Calo, Seraphin Manotas, Irene de Mel, Geeth Cunnington, Daniel Law, Mark Verma, Dinesh Russo, Alessandra Bertino, Elisa IBM TJ Watson Res Ctr Distributed AI Dept Yorktown Hts NY 10549 USA Purdue Univ Dept Comp Sci W Lafayette IN 47907 USA IBM Res UK Hartree Ctr Warrington Cheshire England IBM Res UK Emerging Technol Hursley Pk Hursley England Imperial Coll London South Kensington Campus London England

ISBN: (纸本)9783030172770;9783030172763

Generative policies have been proposed as a mechanism to learn the constraints and preferences of a system-especially complex systems such as the ones found in coalitions-in a given context so that the system can adapt to unexpected changes seamlessly, thus achieving the system goals with minimal human intervention. Generative policies can help a coalition system to be more effective when working in a distributed, continuously transforming environment with a diverse set of members, resources, and tasks. Learning mechanisms based on logic programming, e.g., Inductive logic programming (ILP), have several properties that make them suitable and attractive for the creation and adaptation of generative policies, such as the ability to learn a general model from a small number of examples, and being able to incorporate existing background knowledge. ILP has recently been extended with the introduction of systems for Inductive Learning of Answer Set Programs (ILASP) which are capable of supporting automated acquisition of complex knowledge such as constraints, preferences and rule-based models. Motivated by the capabilities of ILASP, we present AGENP, an Answer Set Grammar-based Generative Policy Framework for Autonomous Managed Systems (AMS) that aims to support the creation and evolution of generative policies by leveraging ILASP. We describe the framework components, i.e., inputs, data structures, mechanisms to support the refinement and instantiation of policies, identification of policy violations, monitoring of policies, and policy adaptation according to changes in the AMS and its context. Additionally, we present the main work-flow for the global and local refinement of policies and their adaptation based on Answer Set programming (ASP) for policy representation and reasoning using ILASP. We then discuss an application of the AGENP framework and present preliminary results.

关键词： Inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Projection and unification for conceptual graphs 3rd

引用

3rd international Conference on Conceptual Structures (ICCS 95)

作者： Willems, M Vrije Universiteit Amsterdam De Boelelaan 1081a Amsterdam 1081 HV Netherlands

ISBN: (纸本)3540601619

In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs is well-known as it essentially defines a partial order (subsumption hierarchy) on the graphs, that allows one to speed up search considerably. We investigate the complexity of projection by introducing a weaker notion of structural similarity, polyprojection. We prove that a polyprojection implies a projection for so-called non-repeating conceptual graphs. Furthermore, we show that a polyprojection can be determined by a polynomial algorithm. Indeed, the algorithm presented generalizes well-known algorithms for subtree isomorphism, and subsumption between feature term graphs. A maximal join is defined as the join on a maximally extended compatible projection. The operation is closely related to unification in feature logics and logic programming, but it is allows more flexibility of representation. In essence, a maximal join corresponds to the greatest lower bound of two conceptual graphs when the partial order due to projection is a lattice. Finally, unification of structured descriptions as maximal join is shown to be polynomially related to projection.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

3rd international workshop on New Approaches for Multidimensional Signal Processing, NAMSP 2022

3rd International Workshop on New Approaches for Multidimens...

引用

3rd international workshop on New Approaches for Multidimensional Signal Processing, NAMSP 2022

ISBN: (纸本)9789811978418

The proceedings contain 23 papers. The special focus in this conference is on New Approaches for Multidimensional Signal Processing. The topics include: Development of IoT Indoor Monitoring System for Independent Elderly;improving the Process of Evaluating User Stories Using the Paraconsistent Annotated Evidential logic Eτ;neural Network Algorithm Applied in Electrical Engineering Automation;Truss Structure Optimization Design Based on FE-PSO-SQP Algorithm;practice System of Ant Colony Optimization Algorithm in Business Administration;literature Review of Smart Contracts Using Blockchain Technology;a Comprehensive Study of 5th Generation Scheduling Algorithms;a Comparative Analysis of Homogeneous and Heterogeneous Protocols to Maximize the Lifetime of Wireless Sensor Network for Precision Agriculture;the Integration Development and Upgrading Path of Industry 4.0 Architecture Industrial Engineering Network Driven by Big Data;video Tracing of Moving Objects by Fusing Three-Term Decompositions;SAAS Application Prospect Analysis in Hrm and Methods to Upgrade the Contemporary System;All Digital Phase Locked Loop (ADPLL) and Its Blocks—A Comprehensive knowledge;on Realization of Smart Logistic Warehouse Management with Internet of Things;development and Design of Intelligent Traction System for Bulk Cargo Terminal;deep Learning Approaches for Classroom Audio Classification Using Mel Spectrograms;Tensor Spectral Pyramid for Color Video Sequences representation, Based on 3D FO-AHKLT;electromyography Signal Acquisition, Processing, Optimization and Its Applications;research on the Radar Signal Classification Method Based on the Deep Faith Network Model;measuring Machine Intelligence Using Black-Box-Based Universal Intelligence Metrics;COVID Detection Using ECG Image Reports: A Survey;disease Detection Techniques in Plants: Transition from Manual to Automation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Neurosymbolic Visual Commonsense On Integrated Reasoning and Learning about Space and Motion in Embodied Multimodal Interaction 3

Neurosymbolic Visual Commonsense On Integrated Reasoning and...

引用

3rd international workshop on Spatio-Temporal Reasoning and Learning, STRL 2024

作者： Bhatt, Mehul School of Science and Technology Örebro University Sweden

We present recent and emerging advances in computational cognitive vision addressing artificial visual and spatial intelligence at the interface of (spatial) language, (spatial) logic and (spatial) cognition research. With a primary focus on explainable sensemaking of dynamic visuospatial imagery, we highlight the (systematic and modular) integration of methods from knowledge representation and reasoning, computer vision, spatial informatics, and computational cognitive modelling. A key emphasis here is on generalised (declarative) neurosymbolic reasoning & learning about space, motion, actions, and events relevant to embodied multimodal interaction under ecologically valid naturalistic settings in everyday life. Practically, this translates to general-purpose mechanisms for computational visual commonsense encompassing capabilities such as (neurosymbolic) semantic question-answering, relational spatio-temporal learning, visual abduction etc. The presented work is motivated by and demonstrated in the applied backdrop of areas as diverse as autonomous driving, cognitive robotics, design of digital visuoauditory media, and behavioural visual perception research in cognitive psychology and neuroscience. More broadly, our emerging work is driven by an interdisciplinary research mindset addressing human-centred responsible AI through a methodological confluence of AI, Vision, Psychology, and (human-factors centred) Interaction Design. © 2024 CoDesign Lab EU.

关键词： knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Advanced Languages of Terms for Ontologies 35

Advanced Languages of Terms for Ontologies

引用

35th international workshop on Description logics, DL 2022

作者： Balbiani, Philippe Diéguez, Martin Gencer, Çiğdem Institut de recherche en informatique de Toulouse CNRS-INPT-UT3 Université de Toulouse Toulouse France Laboratoire d’étude et de recherche en informatique d’Angers University of Angers Angers France Faculty of Arts and Sciences Istanbul Aydın University Istanbul Turkey

This paper is about the integration in a unique formalism of knowledge representation languages such as those provided by description logic languages and rule-based reasoning paradigms such as those provided by logic programming languages. We aim at creating an hybrid formalism where description logics constructs are used for defining concepts that are given as arguments to the predicates of the logic programs. © 2022 Copyright for this paper by its authors.

关键词： Data description

来源：评论

学校读者我要写书评

暂无评论

Behavioral and coinductive rewriting

Behavioral and coinductive rewriting

引用

The 3rd international workshop on Rewriting logic and its Applications

作者： Goguen, Joseph Lin, Kai Roşu, Grigore Computer Science and Engineering University of California at San Diego San Diego CA 92093 United States

Behavioral rewriting differs from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and confluence. We describe an efficient implementation of behavioral rewriting that uses standard rewriting. Circular coinductive rewriting combines behavioral rewriting with circular coinduction, giving a surprisingly powerful proof method for behavioral properties;it is implemented in the BOBJ system, which is used in our examples. These include several lazy functional stream program equivalences and a behavioral refinement. ©2000 Published by Elsevier Science B. V.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An integrated architecture for surveillance and monitoring in an archaeological site 3

An integrated architecture for surveillance and monitoring i...

引用

3rd ACM international workshop on Video Surveillance and Sensor Networks, VSSN 2005

作者： Ardizzone, Edoardo La Cascia, Marco Lo Re, Giuseppe Ortolani, Marco DINFO - University of Palermo Viale delle Scienze ed. 6 Palermo90128 Italy

ISBN: (纸本)1595932429

This paper describes an on-going work aimed at designing and deploying a system for the surveillance and monitoring of an archaeological site, namely the "Valley of the Temples" in Agrigento, Italy. Given the relevance of the site from an artistical and historical point of view, it is important to protect the monuments from malicious or simply incautious behavior;however, the vastity of the area to be monitored and the vague definition of its boundaries make it unpractical to provide extensive coverage through traditional sensors or similar devices. We describe the design of an architecture for the surveillance of the site and for the monitoring of the visitors' behavior consisting in an integrated framework of networked sensors and cameras. Information will be collected by a minimal set of cameras deployed only at critical spots and coupled with higher-performance wireless sensor nodes. Both sets of devices will be supported by more densely deployed lower-cost wireless sensor so that the system will fulfill the concurrent goals of being minimally intrusive and remaining both responsive and efficient. Sensed data will be processed locally whenever possible and convenient, or otherwise sent to a central intelligent unit that will perform further and more sophisticated analyses using a reasoning system, will infer a higher level representation of the outdoor environment, and finally will be able to fine-tune the action of remote devices. © 2005 ACM.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Design of Single Axis Solar Tracking System (SASTS) Integrated with Programmable logic Controller 3

Design of Single Axis Solar Tracking System (SASTS) Integrat...

引用

3rd IEEE international Virtual Conference on Innovations in Power and Advanced Computing Technologies, i-PACT 2021

作者： Isa, Normazlina Mat Ismail, Ya Mohammad Nizam Syah Gan, Chin Kim Politeknik Tun Syed Nasir Syed Ismail Hab Pendidikan Tinggi Pagoh KM1 Jalan Panchor Johor Malaysia Electronic Workshop Advanced Air Traffic Systems Temasya Industrial Park Shah Alam Selangor Malaysia Universiti Teknikal Malaysia Melaka Hang Tuah Jaya Durian Tunggal Faculty of Electrical Engineering Melaka Malaysia

ISBN: (纸本)9781665426916

The solar tracking system has an automatic movement of solar panel that is able to follow the intensity of the direction of sunlight to increase the power requirement. This paper is focused to develop the Single Axis Solar Tracking System (SASTS) where both hardware and software programming are constructed. The construction of SASTS is integrated with OMRON Programmable logic Controller (PLC) as a controller. The light dependent resistor (LDR) has been selected as an input sensor while the linear actuator acts as an output device to move the panel. The photovoltaic panel will move and extract the sunshine where the maximum sun energy can be obtained. The ladder diagram for the SASTS is constructed in the OMRON PLC CX-programming software. Finally, the testing process for the developed SASTS hardware also has been performed to ensure the SASTS is able to move and track the direction of the sun smoothly. The testing process verify that the developed SASTS hardware can move according to the programmed ladder diagram and the PV panel is able to extract the sun intensity which can maximize the power at the output regardless the actuator speed. © 2021 IEEE.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Psychiatric diagnosis from the viewpoint of computational logic 1

引用

1st international Conference on Computational logic, CL 2000

作者： Gartner, Joseph Swift, Terrance Tien, Allen Damásio, Carlos Viegas Pereira, Luís Moniz Medicine Rules Inc. 25 East Loop Rd. Stony Broon NY 11794 United States Department of Computer Science SUNY at Stony Brook Stony Brook NY United States Medical Decision Logic Inc. 7921 Ruxway Rd. Baltimore MD 21204-3515 United States A.I. Centre Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa 2825-114 Caparica Portugal

ISBN: (数字)9783540449577

ISBN: (纸本)3540677976

While medical information systems have become common in the United States, commercial systems that automate or assist in the process of medical diagnosis remain uncommon. This is not surprising, since automating diagnosis requires considerable sophistication both in the understanding of medical epidemeology and in knowledge representation techniques. This paper is an interdisciplinary study of how recent results in logic programming and non-monotonic reasoning can aid in psychiatric diagnosis. We argue that to logically represent psychiatric diagnosis as codified in the Diagnostic and Statistical Manual of Mental Disorders, 4th edition requires abduction over programs that include both explicit and non-stratified default negation, as well as dynamic rules that express preferences between conclusions. We show how such programs can be translated into abductive frameworks over normal logic programs and implemented using recently introduced logic programming techniques. Finally, we note how such programs are used in a commercial product Diagnostica. © Springer-Verlag Berlin Heidelberg 2000.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A comparison of logic-based infrastructures for concern detection and extraction

A comparison of logic-based infrastructures for concern dete...

引用

6th international Conference on Aspect-Oriented Software Development, AOSD'07

作者： Kniesel, Günter Hannemann, Jan T., Rho Institut für Informatik III Universität Bonn Bonn Germany Department of Graphics and Computer Science University of Tokyo Tokyo Japan

In this paper we evaluate logic code analysis and transformation frameworks for their suitability as basic infrastructures for fast detection and extraction of (crosscutting) concerns. Using design patterns as example concerns, we identify desirable properties that an infrastructure should fulfill. We then report our initial results of evaluating candidate systems with respect to these properties. We show how high precision design pattern detectors can be easily formulated as predicates that are evaluated in mere seconds even on the sources of large software systems, such as the Eclipse IDE. Although details still remain to be analyzed further, our current results suggest that the pair JTransformer & CTC is a good candidate for a general infrastructure, combining very good querying performance, scalability and short turn-around times with a seamless integration of querying and transformation capabilities. Copyright 2007 ACM.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共37页 << < 22 23 24 25 26 27 28 29 30 31 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：