Ana Maria Reis de Goes Monteiro

A Conceptual Framework to Model Chronic and Long-Term Diseases

The aim of this paper is to present a conceptual framework to help build modular and extensible knowledge-based systems to support care providers and physicians in the management of patients suffering from long-term or chronic diseases.

Epistemic Conditional Logics

This paper develops two conditional logics that allows one to reason about the belief of another agent (which reasons in conditional logic himself). The desirable properties of such logics that reason about the beliefs of another non-monotonic agent are discussed and the two logics proposed here are shown to have those properties.