1 - 4 of 4 articles
One of the major problems of intrusion detection concerns the large amount of alerts that intrusion detection systems (IDS) produce. Security operator who analyzes alerts and takes decisions, is often submerged by the high number of alerts to analyze. In this paper, we present a new alert...
Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms (called nominals) and the so-called satisfaction operator, that allows one to state that a given formula holds at the world named a, for some nominal a. Hence, in particular,...
It is demonstrated that Hamblin's 15 tense theorem does not only hold for temporal logic with linear time but also for branching time. Furthermore three other theorems with finitely many tenses are shown.
To reason about continuous processes in some areas of artificial intelligence and embedded systems one has to express real-time properties. For such purpose a real-time logic has to be considered. Various such logics have been proposed. Some of these formalisms interpret formulas over intervals...
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.