SCOPUS 정보 검색 플랫폼

Volumn 11, Issue 1, 2001, Pages 41-70

Multi-agent only knowing

Author keywords

Belief; KD45; Multi agent systems; Nonmonotonic reasoning; Only knowing

Indexed keywords

COMPUTATIONAL LINGUISTICS; KNOWLEDGE ENGINEERING; MODAL ANALYSIS; MULTI AGENT SYSTEMS; PROBLEM SOLVING;

AXIOM SYSTEMS; LEVESQUE'S LOGIC; NONMONOTONIC REASONING;

FORMAL LOGIC;

EID: 0035246721 PISSN: 0955792X EISSN: None Source Type: Journal
DOI: 10.1093/logcom/11.1.41 Document Type: Article

Times cited : (50)

References (15)

2
- 0004043780
- Cambridge University Press, Cambridge
- (1980) Modal Logic
- Chellas, B.F.¹

3
- 0005242773
- The expressive power of the hierarchical approach to modeling knowledge and common knowledge
- Y. Moses, ed. Morgan Kaufmann, San Francisco, CA
- (1992) Theoretical Aspects of Reasoning about Knowledge: Proc. Fourth Conference , pp. 229-244
- Fagin, R.¹ Geanakoplos, J.² Halpern, J.Y.³ Vardi, M.Y.⁴

4
- 0026843290
- What can machines know? On the properties of knowledge in distributed systems
- (1992) Journal of the ACM , vol.39 , pp. 328-376
- Fagin, R.¹ Halpern, J.Y.² Vardi, M.Y.³

6
- 0005364864
- A theory of knowledge and ignorance for many agents
- (1997) Journal of Logic and Computation , vol.7 , pp. 79-108
- Halpern, J.Y.¹

7
- 0029290446
- Levesque's axiomatization of only knowing is incomplete
- (1995) Artificial Intelligence , vol.74 , pp. 381-387
- Halpern, J.Y.¹ Lakemeyer, G.²

8
- 0005290935
- Towards a theory of knowledge and ignorance
- Reprinted in Logics and Models of Concurrent Systems, K. R. Apt, ed. pp. 459-476. Springer-Verlag, Berlin/New York, 1985
- (1984) Proc. AAAI Workshop on Nonmonotonic Logic , pp. 125-143
- Halpern, J.Y.¹ Moses, Y.²

9
- 0026853865
- A guide to completeness and complexity for modal logics of knowledge and belief
- (1992) Artificial Intelligence , vol.54 , pp. 319-379
- Halpern, J.Y.¹ Moses, Y.²

11
- 0005242774
- A more discriminating approach to modal logic
- (Abstract only.) There is also an expanded, but unpublished, manuscript
- (1986) Journal of Symbolic Logic , vol.51 , pp. 503-504
- Humberstone, I.L.¹

12
- 0005332659
- All they know: A study in multi-agent autoepestemic reasoning
- (1993) Proc. Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93) , pp. 376-381
- Lakemeyer, G.¹

14
- 0025403234
- All I know: A study in autoepistemic logic
- (1990) Artificial Intelligence , vol.42 , pp. 263-309
- Levesque, H.J.¹

15
- 0021819131
- Semantical considerations on non-monotonic logic
- (1985) Artificial Intelligence , vol.25 , pp. 75-94
- Moore, R.C.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.