Interpreted Systems and ATL logics

机译：解释系统和ATL逻辑

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We compare Interpreted systems and ATL (Alternating-time Temporal Logic) and study the similarities and differences between the two semantics.

机译：我们比较解释的系统和ATL（交替时间逻辑）并研究两个语义之间的相似性和差异。

著录项

来源
《International Conference on Computer Sciences and Convergence Information Technology》|2009年||共3页
会议地点
作者
Jarok Koo;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP3-53;
关键词
Interpreted systems; ATL; Semantics;

机译：解释系统;atl;语义;

相似文献

外文文献
中文文献
专利

1. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators, using interpretable neural networks [J] . Juan G. Diaz Ochoa, Orsolya Csiszár, Thomas Schimper BMC Medical Informatics and Decision Making . 2021,第1期

机译：基于连续值逻辑和多标准决策操作员的医疗推荐系统，使用可解释的神经网络
2. Identification of biological transition systems using meta-interpreted logic programs [J] . Michael Bain, Ashwin Srinivasan Machine Learning . 2018,第7期

机译：使用元解释的逻辑程序识别生物过渡系统
3. Model checking epistemic-probabilistic logic using probabilistic interpreted systems [J] . Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza Knowledge-Based Systems . 2013,第sepa期

机译：使用概率解释系统对认知概率逻辑进行模型检查
4. Interpreted Systems and ATL Logics [C] . Koo Jarok International Conference on Computer Sciences and Convergence Information Technology;ICCIT '09 . 2009

机译：解释系统和ATL逻辑
5. TRUTH AND NECESSITY IN PARTIALLY INTERPRETED LANGUAGES (LOGIC). [D] . MCGEE, VANN ROGER. 1985

机译：部分解释语言的真实性和必要性（逻辑）。
6. Medical recommender systems based on continuous-valued logic and multi-criteria decision operators using interpretable neural networks [O] . Juan G. Diaz Ochoa, Orsolya Csiszár, Thomas Schimper 2021

机译：基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
7. Abstraction for model checking modular interpreted systems over ATL [O] . Köster Michael, Lohmann Peter 2010

机译：通过ATL进行模型检查的模块化解释系统的抽象

Interpreted Systems and ATL logics

摘要

著录项

相似文献

相关主题

期刊订阅