M. M. Vinkov, I. B. Fominykh, “Temporal nonmonotonic logic systems: interrelations and computing complexity”, Artificial Intelligence and Decision Making, 2008, Issue 4,Pages <nobr>19

Knowledge representation

Temporal nonmonotonic logic systems: interrelations and computing complexity

M. M. Vinkov, I. B. Fominykh

Russian Research Institute of Information Systems, Moscow

Abstract: The nonmonotonic logic systems being expansions of linear time logic with hours are considered. The basic attention is given interrelations between them and to characteristics of their computing complexity.

Keywords: temporal logic, nonmonotonic formalismes, polinomial translations, computing complexity of reasonings.