Temporal nonmonotonic logical systems: Interrelationships and computational complexity

Authors:
M. M. Vin'Kov;I. B. Fominykh
Affiliations:
-;-
Venue:
Scientific and Technical Information Processing
Year:
2010

Citing 4
Cited 0

All I know: a study in autoepistemic logic

Artificial Intelligence
Minimal belief and negation as failure

Artificial Intelligence
Verification of reactive systems using temporal logic with clocks

Theoretical Computer Science
An Overview of Temporal and Modal Logic Programming

ICTL '94 Proceedings of the First International Conference on Temporal Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper considers nonmonotonic logical systems that extend linear temporal logic with clocks. Our main emphasis is on their interrelationships and on the characteristics of their computational complexity.