Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents (2010)

First Author: Rybakov V
Attributed to:  Consequence Relations in Logics of AI funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4018/jiit.2010100903

Publication URI: http://dx.doi.org/10.4018/jiit.2010100903

Type: Journal Article/Review

Parent Publication: International Journal of Intelligent Information Technologies

Issue: 1