发布求助
文献互助 智能选刊 最新文献

International Conference on Temporal Logic最新文献

筛选
英文 中文
Axiomatizing U and S over Integer Time U和S /整数时间的公理化
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013984
Mark Reynolds
{"title":"Axiomatizing U and S over Integer Time","authors":"Mark Reynolds","doi":"10.1007/BFb0013984","DOIUrl":"https://doi.org/10.1007/BFb0013984","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"80 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113940830","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Decidability of Deliberative Stit Theories with Multiple Agents 多主体协商结构理论的可决性
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013997
Ming Xu
{"title":"Decidability of Deliberative Stit Theories with Multiple Agents","authors":"Ming Xu","doi":"10.1007/BFb0013997","DOIUrl":"https://doi.org/10.1007/BFb0013997","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127974950","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Dealing with Time Granularity in a Temporal Planning System 时态规划系统中的时间粒度处理
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013983
S. Badaloni, M. Berati
{"title":"Dealing with Time Granularity in a Temporal Planning System","authors":"S. Badaloni, M. Berati","doi":"10.1007/BFb0013983","DOIUrl":"https://doi.org/10.1007/BFb0013983","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126628959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects 有时候“明天”就是“某个时候”——对象时间逻辑中的动作细化
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013980
J. Fiadeiro, T. Maibaum
{"title":"Sometimes \"Tomorrow\" is \"Sometime\" - Action Refinement in a Temporal Logic of Objects","authors":"J. Fiadeiro, T. Maibaum","doi":"10.1007/BFb0013980","DOIUrl":"https://doi.org/10.1007/BFb0013980","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131337620","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 72
Synchronized Histories in Prior-Thomason Representation of Branching Time 分支时间Prior-Thomason表示法中的同步历史
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013993
Maria Concetta Di Maio, A. Zanardo
{"title":"Synchronized Histories in Prior-Thomason Representation of Branching Time","authors":"Maria Concetta Di Maio, A. Zanardo","doi":"10.1007/BFb0013993","DOIUrl":"https://doi.org/10.1007/BFb0013993","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129601625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
A System for Automated Deduction in Graphical Interval Logic 图形区间逻辑中的自动演绎系统
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0014008
P. Melliar-Smith, L. Moser, Y. S. Ramakrishna, G. Kutty, L. Dillon
{"title":"A System for Automated Deduction in Graphical Interval Logic","authors":"P. Melliar-Smith, L. Moser, Y. S. Ramakrishna, G. Kutty, L. Dillon","doi":"10.1007/BFb0014008","DOIUrl":"https://doi.org/10.1007/BFb0014008","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132785885","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Efficient Computation of Nested Fix-Points, with Applications to Model Checking 嵌套不动点的高效计算及其在模型检验中的应用
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013987
B. Vergauwen, J. Lewi, I. Avau, A. Poté
{"title":"Efficient Computation of Nested Fix-Points, with Applications to Model Checking","authors":"B. Vergauwen, J. Lewi, I. Avau, A. Poté","doi":"10.1007/BFb0013987","DOIUrl":"https://doi.org/10.1007/BFb0013987","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122173351","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets 时间Petri网的时间逻辑实现与改进
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0013999
M. Felder, A. Morzenti
{"title":"A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets","authors":"M. Felder, A. Morzenti","doi":"10.1007/BFb0013999","DOIUrl":"https://doi.org/10.1007/BFb0013999","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115359568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates SCDBR:数据库更新情况演算规范的推理器
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0014009
L. Bertossi, C. Ferretti
{"title":"SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates","authors":"L. Bertossi, C. Ferretti","doi":"10.1007/BFb0014009","DOIUrl":"https://doi.org/10.1007/BFb0014009","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126730404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
A Graph-Based Approach to Resolution in Temporal Logic 一种基于图的时间逻辑解析方法
International Conference on Temporal Logic Pub Date : 1994-07-11 DOI: 10.1007/BFb0014002
C. Dixon, M. Fisher, H. Barringer
{"title":"A Graph-Based Approach to Resolution in Temporal Logic","authors":"C. Dixon, M. Fisher, H. Barringer","doi":"10.1007/BFb0014002","DOIUrl":"https://doi.org/10.1007/BFb0014002","url":null,"abstract":"","PeriodicalId":387681,"journal":{"name":"International Conference on Temporal Logic","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115750404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信