Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"KLM"”.
-
Justifications for KLM-style defeasible reasoning
… formalisms for this type of reasoning, with the KLM (Kraus, Lehmann and Magidor) being one of the more popular. KLM has a number of desirable properties, which is why it is the formalism of choice. Regardless of the logic being used, reasoning systems also need to be able to "explain" how they …
-
Defeasible justification for the KLM Framework
… implication”. The Kraus, Lehmann, and Magidor (KLM) Framework is an extension of PL that can perform defeasible reasoning. The results of defeasible reasoning using the KLM Framework are often challenging to understand. Therefore, one needs a framework to justify conclusions drawn from …
-
KLM-Style Defeasible Reasoning for Datalog
… deal with these tasks. A notable example is the Klm framework, which describes an agent's defeasible knowledge qualitatively in terms of conditionals of the form “if A, then typically B”. The goal of this research project is to investigate Klm-style semantics for defeasible reasoning over Datalog …
-
An overview of KLM-style defeasible entailment
… the one defined by Kraus, Lehmann, and Magidor (KLM). The KLM framework has very desirable features both for theoretical study of nonmonotonic reasoning, as well as for implementation in AI applications. However, the current state of the KLM framework spans numerous papers over two decades of …
-
An Econometric Analysis of the NW/KLM Corporate Alliance
… regression analysis is performed using the KLM/Northwest Airlines alliance as a case analysis.</p>
-
Gradient Boosted Decision Tree Application to Muon Identification in the KLM at Belle II
… muons from pions in K-Long and Muon (KLM) detector of the Belle II experiment. Performance was evaluated over a momentum range of 0.6 < p < 5.0 GeV/c by plotting Receiver Operating Characteristic (ROC) curves for 0.1 GeV/c intervals. The FBDT model was worse than the benchmark …
-
Enriching deontic logic with typicality
… of typicality which is based on defeasibility. KLM-style defeasible reasoning introduced by Kraus, Lehmann and Magidor (KLM), is a logic system that employs defeasibility while a logic that serves the same role for the stronger notion of typicality is Propositional Typicality Logic (PTL). …
-
The Effects of Eye Gaze Based Control on Operator Performance in Monitoring Multiple Displays
… A task analysis with a Keystroke-Level-Model (KLM) was conducted to acquire an estimated time for switching between cameras. KLM estimates suggest that response times are faster using an eye tracker than manual control -indicating a time savings. To confirm these estimates, and test other …
-
Design, optimization, and applications of few-cycle Ti:Sapphire lasers
… background reviews as well as key concepts in KLM lasers will be given together with a demonstration of octave-spanning Ti:sapphire lasers with record-high repetition rate. A numerical model for simulating the full spatiotemporal dynamics is introduced. For an efficient numerical calculation, …
-
Novel text entry and mobile interaction techniques for Arabic language users
… this research introduces an enhancement to KLM (Keystroke-Level Model), a quantitative prediction model predicting the user's behaviour in low-level tasks. This was acomplished by extending it with three new operators describing interactions on mobile touchscreen devices and tablets. The …