brunet2002aInternational audienceIn this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL
In this paper, we extend the well-known multi-modal lan-guage for knowledge of agents ‘faithfully’. ...
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
We focus on the study of knowledge obtained by performing partial observations of a system. The resu...
Recent studies on the computational properties of the logic of minimal knowledge states due to Halpe...
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
In this Ph.D. dissertation we investigate reasoning about information change in the presence of inco...
International audienceThis paper proposes an extension of the MEL logic to a language containing mod...
International audienceThe modeling of awareness and unawareness is a significant topic in the doxast...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
We present an autoepistemic approach for reasoning about actions in the presence of incomplete infor...
In this paper, we extend the well-known multi-modal lan-guage for knowledge of agents ‘faithfully’. ...
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...
We focus on the study of knowledge obtained by performing partial observations of a system. The resu...
Recent studies on the computational properties of the logic of minimal knowledge states due to Halpe...
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
In this Ph.D. dissertation we investigate reasoning about information change in the presence of inco...
International audienceThis paper proposes an extension of the MEL logic to a language containing mod...
International audienceThe modeling of awareness and unawareness is a significant topic in the doxast...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
In this paper we advance the state-of-the-art on the application of second-order propositional modal...
International audienceEven though in Artificial Intelligence, a set of classical logical formulae is...
We present an autoepistemic approach for reasoning about actions in the presence of incomplete infor...
In this paper, we extend the well-known multi-modal lan-guage for knowledge of agents ‘faithfully’. ...
We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into t...
International audienceIn this paper we advance the state-of-the-art on the application of second-ord...