van der Hoek, W. and Jaspars, J A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72 (61-84), 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Knowledge Updates: Semantics and Complexity Issues - Baral, Zhang (2002) (Correct)
.... to an update, as this may partially simplify the underlying inference problem [26] Furthermore, characterizing persistence is also an important issue in nonmonotonic epistemic logic reasoning because it plays an essential role in the way of how di#erent states of agent s knowledge can be compared [3,10,11]. Given T and , a formula # is said to be persistent with respect to the update of T with , if T #. If # is of the form K#, we call this persistence as knowledge persistence, while if # is of the form we call it ignorance persistence. The question that we address now is that under what ....
W. van der Hoek and E. Thijsse, A general approach to multi-agent minimal knowledge. Studia Logica, 2002 (to appear).
A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (2 citations) Self-citation (Van der hoek Thijsse) (Correct)
No context found.
W. van der Hoek, J. Jaspars and E. Thijsse, `A General Approach to Multi-Agent Minimal Knowledge', in M. Ojeda-Aciego, I.P. Guzman, G. Brewka and L.M. Pereira, (eds) Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIA 2000), LNAI 1919, pp. 254--268, Springer-Verlag, Heidelberg (2000).
Theories of Knowledge and Ignorance - van der Hoek, Jaspars, Thijsse Self-citation (Van der hoek Thijsse) (Correct)
No context found.
W. van der Hoek & E.G.C. Thijsse, `A General Approach to Multi-Agent Minimal Knowledge: with Tools and Samples', Studia Logica forthcoming 2002.
Epistemic Logic: A Survey - Wiebe Van Der (2002) Self-citation (Van der hoek) (Correct)
No context found.
W. van der Hoek and E. Thijsse. A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica, 2002. accepted.
Epistemic Logic: A Survey - van der Hoek, Verbrugge (2002) Self-citation (Van der hoek) (Correct)
....formula KiP V KjKiq becomes dishonest for i if Ki represents (true) knowledge and Kj negatively introspective knowledge. With mixed operators, in particular in the presence of negation, matters soon get fuzzy. For an overview of possible notions of honesty in a multi agent setting, we refer to [34]. Research on only knowing [25, 52] and all I know [36] have largely been restricted to particular modal systems, such as 5, 4 and K45. Some years ago Halpern [24] also considered other modal systems such as K, 7 and K7)45. Although his approach suggests similar results for e.g. K7)4, in ....
W. van der Hoek and E. Thijsse. A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica, 2002. accepted.
Epistemic Logic: A Survey - van der Hoek, Verbrugge (2001) Self-citation (Van der hoek) (Correct)
....formula Kjp V KjKiq becomes dishonest for i if Ki represents (true) knowledge and Kj negatively introspective knowledge. With mixed operators, in particular in the presence of negation, matters soon get fuzzy. For an overview of possible notions of honesty in a multi agent setting, we refer to [30]. Studies of only knowing ( 22, 46] and all I know ( 32] have largely been restricted to particular modal systems, such as 5, 4 and ]C45. Some years ago Halpern [21] also considered other modal systems such as ]C, 7 and ]CT)45. Although his approach suggests similar results for e.g. ....
W. van der Hoek and E. Thijsse. A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica, 2002. accepted.
Epistemic Logic: A Survey - van der Hoek, Verbrugge (2002) Self-citation (Van der hoek) (Correct)
....K j p K j K i q becomes dishonest for i if K i represents (true) knowledge and K j negatively introspective knowledge. With mixed operators, in particular in the presence of negation, matters soon get fuzzy. For an overview of possible notions of honesty in a multi agent setting, we refer to [30]. Studies of only knowing ( 22, 46] and all I know ( 32] have largely been restricted to particular modal systems, such as S5, S4 and K45. Some years ago Halpern [21] also considered other modal systems such as K; T and KD45. Although his approach suggests similar results for e.g. KD4, in ....
W. van der Hoek and E. Thijsse. A general approach to multi-agent minimal knowledge: with tools and samples. Studia Logica, 2002. accepted.
Semantics for Multi-Agent Only Knowing (extended ) - Arild Waaler And (Correct)
No context found.
van der Hoek, W. and Jaspars, J A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica 72 (61-84), 2002.
Epistemic Equivalence and Bisimulation - Gerbrandy (2005) (Correct)
No context found.
van der Hoek, W. and E. Thijsse: 2000, `A General Approach To MultiAgent Minimal Knowledge'. In: Proceedings of the European Workshop on Logics in Artificial Intelligence. pp. 254 -- 268.
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