We investigate a specic model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic capacities. Moreover, we try to express the description of problem specication using the tools from applied ontology { RDF format for information and the Protege editor
This paper proposes a logical framework for representing and reasoning about imperfect information g...
This paper proposes an extension of the MEL logic to a language containing modal formulae of depth 0...
This survey brings together a collection of epistemic logics and discusses their approaches in allev...
We investigate a specic model of knowledge and beliefs and their dynamics. The model is inspired by ...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistem...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
International audienceThe paper presents a new logic for reasoning about the formation of beliefs th...
The communication between agents does not only require the exchange of syntactically defined charact...
International audienceWe introduce a new semantics for a family of logics of explicit and implicit b...
We study an epistemic logic where knowledge is built from what the agents observe (including higher-...
Logical systems have long been used to describe mathematical proof, structured computation, and ling...
The paper presents a new logic for reasoning about the formation of beliefs through perception or th...
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaust...
This paper proposes a logical framework for representing and reasoning about imperfect information g...
This paper proposes an extension of the MEL logic to a language containing modal formulae of depth 0...
This survey brings together a collection of epistemic logics and discusses their approaches in allev...
We investigate a specic model of knowledge and beliefs and their dynamics. The model is inspired by ...
Epistemic logic investigates what agents know or believe about certain factual descriptions of the w...
International audienceThe semantics of modal logics for reasoning about belief or knowledge is often...
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistem...
Talks of Keynote Speakers (Conférencier invité)International audienceSets of formulas in classical l...
International audienceThe paper presents a new logic for reasoning about the formation of beliefs th...
The communication between agents does not only require the exchange of syntactically defined charact...
International audienceWe introduce a new semantics for a family of logics of explicit and implicit b...
We study an epistemic logic where knowledge is built from what the agents observe (including higher-...
Logical systems have long been used to describe mathematical proof, structured computation, and ling...
The paper presents a new logic for reasoning about the formation of beliefs through perception or th...
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaust...
This paper proposes a logical framework for representing and reasoning about imperfect information g...
This paper proposes an extension of the MEL logic to a language containing modal formulae of depth 0...
This survey brings together a collection of epistemic logics and discusses their approaches in allev...