Y. Moses R. Fagin, J.Y. Halpern and M.Y. Vardi. Reasoning About Knowledge. MIT press, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Four-valued Knowledge Augmentation for Representing.. - Lalmas, Roelleke (2002) (Correct)
.... the fact that the object is structurally related to other objects) The semantics of the knowledge modal operators is based on an interpretation structure and an interpretation function defined upon four truth values, possible worlds, accessibility relations and truth value assignment functions [6, 9]. Possible worlds and truth value assignment functions reflect the knowledge contained in objects. The accessibility relations captures structural relationships between objects. Four truth values are used to capture incompleteness and inconsistency [4] We follow two routes to formalise the ....
....augmented with that of its structurally related objects. The semantics of the augmented knowledge modal operators is defined upon the interpretation structure and interpretation function defining the semantics of the knowledge modal operators. The second approach, which follows the framework of [9] for modelling combination of knowledge, is based on the definition of G world trees that formalise a graphical representation of the set of possible worlds and accessibility relations associated with the representation of objects. Special truth value assignment functions, referred to as augmented ....
[Article contains additional citation context not shown here]
FALGN, R., HAPsPEN, J., MOSES, J., AND VAPDL M. Reasoning about Knowledge. MIT Press, Cambridge, Massachusetts, 1995.
Intelligent Retrieval of Hypermedia Documents - Lalmas, Rölleke, Fuhr (Correct)
....of POOL is based on the semantic structure of modal logics [14] This allows for a context dependent interpretation of knowledge augmentation, which is necessary for modelling the structure of hypermedia documents. The uncertainty of knowledge is modelled with a probabilistic extended semantics [9]. Retrieval functions are implemented as inference processes based on the logical approach to IR [30,31,8,27,7,22] which computes the probability that a document implies a query. Finally, the evaluation of POOL is based on a translation of POOL to the probabilistic relational algebra (PRA) ....
R. Falgin, J. Harpen, J. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Massachusetts, 1995.
Contrary-To-Duty Reasoning with Preference-based Dyadic.. - van der Torre, Tan (2000) (6 citations) (Correct)
No context found.
Y. Moses R. Fagin, J.Y. Halpern and M.Y. Vardi. Reasoning About Knowledge. MIT press, 1995.
Logical Omniscience and Resourse-Bounded Agents - Whitsey (2004) (Correct)
No context found.
Y. Moses R. Fagin, J.Y. Halpern and M.Y Vardi. Reasoning about Knowledge. MIP Press, Cambridge, Mass., 1995.
Modelling Resource Bounded Reasoners: An Example - Whitsey (Correct)
No context found.
Y. Moses R. Fagin, J.Y. Halpern and M.Y Vardi. Reasoning about Knowledge. MIP Press, Cambridge, Mass., 1995.
Logical Omniscience: A Survey - Whitsey (2003) (1 citation) (Correct)
No context found.
Y. Moses R. Fagin, J.Y. Halpern and M.Y Vardi. Reasoning about Knowledge. MIP Press, Cambridge, Mass., 1995. 36
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC