A temporal defeasible logic for handling access control policies
Access control policies are specified within systems to ensure confidentiality of their
information. Available knowledge about policies is usually incomplete and uncertain. An …
information. Available knowledge about policies is usually incomplete and uncertain. An …
On integrating event definition and event detection
N Obeid, RBKN Rao - Knowledge and information systems, 2010 - Springer
We develop, in this paper, a representation of time and events that supports a range of
reasoning tasks such as monitoring and detection of event patterns which may facilitate the …
reasoning tasks such as monitoring and detection of event patterns which may facilitate the …
On the logical foundation of a personalized medical prescription system
This paper, lays down the logical foundations for a personalized medical prescription
system. The proposed system employs detailed pharmaceutical and medical knowledge …
system. The proposed system employs detailed pharmaceutical and medical knowledge …
Using description logic and Abox abduction to capture medical diagnosis
M Obeid, Z Obeid, A Moubaiddin, N Obeid - … AIE 2019, Graz, Austria, July 9 …, 2019 - Springer
Medical diagnosis can be defined as the detection of a disease by examining a patient's
signs, symptoms and history. Diagnostic reasoning can be viewed as a process of testing …
signs, symptoms and history. Diagnostic reasoning can be viewed as a process of testing …
A reflection on learning from data: epistemology issues and limitations
Although learning from data is effective and has achieved significant milestones, it has many
challenges and limitations. Learning from data starts from observations and then proceeds …
challenges and limitations. Learning from data starts from observations and then proceeds …
On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic
A Moubaiddin, N Obeid - Knowledge and information systems, 2013 - Springer
In this paper, we take the view that any formalization of commitments has to come together
with a formalization of time, events/actions and change. We enrich a suitable formalism for …
with a formalization of time, events/actions and change. We enrich a suitable formalism for …
Towards a formal model of knowledge sharing in complex systems
N Obeid, A Moubaiddin - Smart Information and Knowledge Management …, 2010 - Springer
Abstract Knowledge sharing between various components of a system is a prerequisite for a
successful knowledge management system. A knowledge sharing model includes providing …
successful knowledge management system. A knowledge sharing model includes providing …
Multiagent system for mutual collaboration classification for cancer detection
A multiagent system (MAS) is a mechanism for creating goal‐oriented autonomous agents in
shared environments with communication and coordination facilities. Distributed data mining …
shared environments with communication and coordination facilities. Distributed data mining …
Towards a formal model of knowledge acquisition via cooeperative dialogue
A Moubaiddin, N Obeid - International Conference on Enterprise …, 2007 - scitepress.org
We aim, in this paper, to make aa first step towards developing a model of knowledge
acquisition/learning via cooperative dialogue. A key idea in the model is the concept of …
acquisition/learning via cooperative dialogue. A key idea in the model is the concept of …
On ontology-based diagnosis and defeasibility
N Obeid, E Rawashdeh, E Alduweib… - 2016 International …, 2016 - ieeexplore.ieee.org
We aim in this paper to integrate a nonmonotonic rule system (defeasible logic) with
description logic-based ontologies. This can help us in building defeasible medical …
description logic-based ontologies. This can help us in building defeasible medical …