Instantiated First Order Qualitative Choice Logic for an efficient handling of alerts correlation.
Lydia Bouzar-BenlabiodSalem BenferhatThouraya Bouabana-TebibelPublished in: Intell. Data Anal. (2015)
Keyphrases
- order of magnitude reasoning
- general logic programs
- linear temporal logic
- higher order
- sound and complete with respect
- alert correlation
- qualitative reasoning
- probabilistic logic
- qualitative and quantitative
- first order logic
- decision support
- causal reasoning
- logic programming
- quantitative and qualitative
- horn clauses
- computational properties
- conditional logic
- predicate calculus
- neural network
- logical framework
- modal logic
- temporal logic