Fausto Giunchiglia, Enrico Giunchiglia  Home/Search
Context Related
| afrodite.itc.it:1024/~sera...ijcai95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: afrodite.itc.it:1024/~ser...node4 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many interesting results can be found in the literature which provide a model-theoretic characterization of not omniscient belief about belief. However, as far as we know, no taxonomic analysis exists which uniformly describes all the possible ways in which this phenomenon can arise. The goal of this paper is to fill this gap. Our approach is based on the idea of providing a set-theoretic specification of beliefs about beliefs, i.e. of characterizing them as particular sets satisfying certain... (Update)
Context of citations to this paper: More
...technology and tools developed in model checking. The second feature is necessary in order to deal with real world complex systems (see [3] for a discussion on this topic) Model checking allows us to model concurrent reactive finite state processes. We model agents as...
Cited by: More
Mental States Recognition from Communication - Dragoni, Giorgini, Serafini (2000) (Correct)
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
Logical Omniscience and Resourse-Bounded Agents - Whitsey (2004) (Correct)
Similar documents (at the sentence level):
16.4%: Ideal and Real Belief about Belief - Giunchiglia, Giunchiglia (1997) (Correct)
13.5%: Ideal and Real Belief about - Belief Giunchiglia And (Correct)
Active bibliography (related documents): More All
0.1: Hierarchical Meta-Logics for Belief and Provability: How We.. - Giunchiglia, al. (1992) (Correct)
0.1: Multilanguage Hierarchical Logics (or: How We Can Do Without .. - Giunchiglia, al. (1994) (Correct)
0.1: Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
Similar documents based on text: More All
0.5: Multi-context Systems as a Tool to Model Temporal Evolution - Di Manzo Giunchiglia (1993) (Correct)
0.5: Local Relational Model: A Logical Formalization Of Database . . . - Serafini, al. (2003) (Correct)
0.5: A Multi-Context Monotonic Axiomatization of Inessential .. - Fausto Giunchiglia.. (1988) (Correct)
Related documents from co-citation: More All
15: or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
14: special issue on I Linguaggi e le Macchine (context) - Giunchiglia, Epistemologia - 1993
10: Natural Deduction: a Proof Theoretical Study (context) - Prawitz - 1965
BibTeX entry: (Update)
E. Giunchiglia and F. Giunchiglia. Ideal and Real Belief about Belief. In Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, number 1085 in Lecture Notes in Artificial Intelligence, pages 261--275. Springer Verlag, 1996. http://citeseer.ist.psu.edu/giunchiglia96ideal.html More
@inproceedings{ giunchiglia96ideal,
author = "Fausto Giunchiglia and Enrico Giunchiglia",
title = "Ideal and Real Belief about Belief",
booktitle = "Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World",
address = "Eindhoven, The Netherlands",
editor = "Rudy van Hoe",
year = "1996",
url = "citeseer.ist.psu.edu/giunchiglia96ideal.html" }
Citations (may not include all citations):604 Reasoning about knowledge (context) - Fagin, Halpern et al. - 1992
343 Modal Logic -- an Introduction (context) - Chellas - 1980
161 A logic of implicit and explicit belief (context) - Levesque - 1984
113 or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
58 in and J.Y. Halpern. Belief, awareness, and limited reasonin.. (context) - Fag - 1988
44 Localized Event-Based Reasoning for Multiagent Domains (context) - Lansky - 1988
35 A Syntactic Theory of Belief and Action (context) - Haas - 1986
14 A deduction model of belief and its logics (context) - Konolige - 1984
10 Speech acts and multiple environments (context) - Wilks, Biem
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://afrodite.itc.it:1024/~serafini/node4.html):
Propositional Logic of Context - Sasa Buvac (1993) (Correct)
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