下载 >  课程资源 >  专业指导 > Temporal Description Logics

Temporal Description Logics 评分:

时态描述逻辑,PDF文件,在adobe中打开不能直接使用词霸翻译。 完整版。
2009-06-12 上传大小:281KB
立即下载 开通VIP
想读
分享
收藏 举报
时态逻辑方法

1. Contract-based design 2. Temporal Logics 3. Contract-based design with temporal logics 4. OCRA: tool support and applications 5. Conclusions and future directions

立即下载
Temporal Logics in Computer Science

Temporal logics provide a generic logical framework for modelling and reasoning about time and temporal aspects of the world. While stemming from philosophical considerations and discussions, temporal logics have become over the past 50 years very useful and important in computer science, and partic

立即下载
A Novel Combination of Answer Set Programming with Description Logics

一篇Answer Set Programming与 Description Logics相结合的很好的IEEE文献。

立即下载
Some Recent Results in Metric Temporal Logics

JoÅNel Ouaknine and James Worrell Abstract. Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for fragments of MTL with respect to different semantic mo

立即下载
Spatial Temporal Graph Convolutional Networks

时空图卷积网络用于基于骨架的动作识别,Spatial Temporal Graph Convolutional Networks for Skeleton Based Action Recognition,2018年AAAI论文

立即下载
Connectionist Temporal Classification: A Tutorial with Gritty Details

教程:Connectionist Temporal Classification详解补充中文翻译的对应的英文原版教程,链接为:http://blog.csdn.net/w5688414/article/details/77867786,希望能帮助到大家

立即下载
Temporal Action Proposal Generation and Detection in Videos.

南加州大学的高继扬博士关于时序动作检测的分享,为大家分享视觉领域内的干货及经验

立即下载
The_Recognition_of_Human_Movement_Using_Temporal_Templates(957)(^f).pdf

视频图像处理, The_Recognition_of_Human_Movement_Using_Temporal_Templates(957)(^f).pdf Forward-backward MHI.pdf

立即下载
QUANTUM LOGICS

Contents 1 Introduction 3 2 Orthomodular quantum logic and orthologic 11 3 The implication problem 22 4 Metalogical properties and anomalies 28 5 A modal interpretation of OL and OQL 32 6 An axiomatization of OL and OQL 35 7 The intractability of orthomodularity 40 8 Hilbert quantum logic and the or

立即下载
Relevance Logic and Concurrent

Compositionality, i.e. that properties of composite systems are deduced in terms of those of their immediate constituents, is crucial to the tractability and practical usefulness of program logics. A general technique for obtaining this for parallel composition appeals to a relativisation of propert

立即下载
proof theory for fuzzy logics

proof theory for fuzzy logics

立即下载
Probabilistic Logics and Probabilistic Networks

Probabilistic Logics and Probabilistic Networks

立即下载
Software Model Checking

Tutorial: Abstract. We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder public key protocol. We then formally define transition systems, temporal logic, !-automata, and thei

立即下载
Logics in Artificial Intelligence

Logics in Artificial Intelligence - 15th European Conference

立即下载
TEMPORAL LOGIC

TEMPORAL LOGIC From Ancient Ideas to Artificial Intelligence

立即下载
Kripke’s Worlds_ An Introduction to Modal Logics via Tableaux

Kripke’s Worlds_ An Introduction to Modal Logics via Tableaux

立即下载
Programming Languages and Logics Lecture Notes (Cornell CS4110)

Programming Languages and Logics Lecture Notes (Cornell CS4110)

立即下载
Description

How to Write a Description.doc

立即下载
Description(未完成)Description(未完成)Description(未完成)

Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)Description(未完成)

立即下载
SPATIO-TEMPORAL-filtering

在图像处理领域应用中,空间-频域滤波,比较系统的介绍,很好的外文文献介绍

立即下载
--> -->
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

Temporal Description Logics

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: