SCOPUS 정보 검색 플랫폼

Artificial Intelligence

Volumn 127, Issue 2, 2001, Pages 221-259

Local Models Semantics, or contextual reasoning = locality + compatibility

(2) Ghidini, Chiara a Giunchiglia, Fausto b,c

a UNIVERSITY OF LIVERPOOL (United Kingdom)

b UNIVERSITY OF TRENTO (Italy)

c ITC IRST (Italy)

Author keywords

Contexts; Knowledge representation; Local Models Semantics; Locality and compatibility

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; DECISION THEORY; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

CONTEXTUAL REASONING; LOCAL MODEL SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0035310960 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(01)00064-9 Document Type: Article

Times cited : (321)

References (45)

1
- 0029325742
- A formalisation of viewpoints
- (1995) Fundamenta Informaticae , vol.23 , Issue.2-4 , pp. 149-174
- Attardi, G.¹ Simi, M.²

2
- 0000151004
- Indexical expressions
- (1954) Mind , vol.63 , pp. 359-379
- Bar-Hillel, Y.¹

3
- 74049144639
- Formalizing belief reports - The approach and a case study
- F. Giunchiglia (Ed.), Proc. AIMSA'98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria, Springer, Berlin
- (1998) Lecture Notes in Artificial Intelligence , vol.1480 , pp. 62-75
- Benerecetti, M.¹ Bouquet, P.² Ghidini, C.³

4
- 0032090062
- Model checking multiagent systems
- Also IRST-Technical Report 9708-07, IRST, Trento, Italy
- (1998) J. Logic Comput. (Special Issue on Computational & Logical Aspects of Multi-Agent Systems) , vol.8 , Issue.3 , pp. 401-423
- Benerecetti, M.¹ Giunchiglia, F.² Serafini, L.³

5
- 0029327929
- Reasoning about theory adequacy. A new solution to the qualification problem
- Also IRST-Technical Report 9406-13, IRST, Trento, Italy
- (1995) Fundamenta Informaticae , vol.23 , Issue.2-4 , pp. 247-262
- Bouquet, P.¹ Giunchiglia, F.²

6
- 0013113526
- Quantificational logic of context
- Portland, OR
- (1996) Proc. AAAI-96
- Buvač, S.¹

7
- 0027707836
- Propositional logic of context
- Washington, DC
- (1993) Proc. AAAI-93 , pp. 412-419
- Buvač, S.¹ Mason, I.A.²

8
- 0004243841
- North Holland, Amsterdam
- (1973) Model Theory
- Chang, C.C.¹ Keisler, J.M.²

9
- 84949450946
- Multi-agent reasoning with belief contexts: The approach and a case study
- M. Wooldridge, N.R. Jennings (Eds.), Intelligent Agents: Proc. 1994 Workshop on Agent Theories, Architectures, and Languages, Springer, Berlin. Also IRST-Technical Report 9312-01, IRST, Trento, Italy
- (1995) Lecture Notes in Computer Science , vol.890 , pp. 71-85
- Cimatti, A.¹ Serafini, L.²

10
- 0005142186
- A foundation for metareasoning, part I: The proof theory
- Technical Report 0003-38, IRST, Trento, Italy
- (2000) J. Logic Comput.
- Criscuolo, G.¹ Giunchiglia, F.² Serafini, L.³

11
- 0005210488
- A foundation for metareasoning, part II: The model theory
- Technical Report 0010-07, IRST, Trento, Italy
- (2000) J. Logic Comput.
- Criscuolo, G.¹ Giunchiglia, F.² Serafini, L.³

12
- 0003930617
- Kluwer Academic, Dordrecht
- (1991) Partitioned Representations
- Dinsmore, J.¹

13
- 0023842375
- Belief, awareness, and limited reasoning
- (1988) Artificial Intelligence , vol.34 , pp. 39-76
- Fagin, R.¹ Halpern, J.Y.²

14
- 26644470670
- Integrating information sources using context logic
- (1995) Proc. AAAI Spring Symposium on Information Gathering from Distributed Heterogeneous Environments
- Farquhar, A.¹ Dappert, A.² Fikes, R.³ Pratt, W.⁴

15
- 0003442709
- MIT Press, Cambridge, MA
- (1985) Mental Spaces: Aspects of Meaning Construction in Natural Language
- Fauconnier, G.¹

16
- 84880653780
- Programming resource-bounded deliberative agents
- Stockholm, Sweden, Morgan Kaufmann, San Mateo, CA
- (1999) Proc. IJCAI-99 , pp. 200-206
- Fisher, M.¹ Ghidini, C.²

17
- 0002209222
- Labelled deductive systems
- Principles and Applications, Vol 1: Introduction , vol.1
- Gabbay, D.M.¹

18
- 0003587743
- Oxford University Press, Oxford
- (1996) Oxford Logic Guides , vol.33

19
- 33746116185
- Ph.D. Thesis, Department of Computer Science, University of Rome "La Sapienza". Also IRST-Technical Report 9803-02, IRST, Trento, Italy
- (1998) A semantics for contextual reasoning: Theory and two relevant applications
- Ghidini, C.¹

20
- 84957713617
- Modelling (un)bounded beliefs
- P. Bouquet, L. Serafini, P. Brezillon, M. Benerecetti, F. Castellani (Eds.), Modelling and Using Context - Proc. 2nd International and Interdisciplinary Conference, Context'99, Springer, Heidelberg
- (1999) Lecture Notes in Artificial Intelligence , vol.1688 , pp. 145-158
- Ghidini, C.¹

21
- 0006299995
- Distributed first order logics
- D. Gabbay, M. de Rijke (Eds.), Research Studies Press
- (1998) Frontiers of Combining Systems 2, Studies in Logic and Computation
- Ghidini, C.¹ Serafini, L.²

22
- 84959049122
- Information integration for electronic commerce
- C. Sierra, P. Noriega (Eds.), Proc. Workshop on Agent Mediated Electronic Trading (AMET'98), Minneapolis, MN, Springer, Berlin
- (1998) Lecture Notes in Artificial Intelligence , vol.1571 , pp. 189-206
- Ghidini, C.¹ Serafini, L.²

23
- 84867794291
- Model theoretic semantics for information integration
- F. Giunchiglia (Ed.), Proc. AIMSA-98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications, Sozopol, Bulgaria, Springer, Berlin. Also IRST-Technical Report 9807-03, IRST, Trento, Italy
- (1998) Lecture Notes Artificial Intelligence , vol.1480 , pp. 267-280
- Ghidini, C.¹ Serafini, L.²

24
- 0005234048
- Ph.D. Thesis, DIST - Università di Genova, Tesi di Dottorato di Ricerca in Ingegneria Elettronica ed Informatica, Roma, Italia
- (1993) Sistemi multi-contestuali: Teoria ed applicazioni
- Giunchiglia, E.¹

25
- 84947913947
- Ideal and real belief about belief
- Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR'96, Springer, Berlin. Long version forthcoming in: J. Logic and Comput.
- (1996) Lecture Notes in Artificial Intelligence , vol.1085 , pp. 261-275
- Giunchiglia, E.¹ Giunchiglia, F.²

26
- 0000218693
- Contextual reasoning, Epistemologia (Special Issue on I Linguaggi e le Macchine) XVI (1993), pp. 39-49
- Chambéry, France. Also IRST-Technical Report 9211-20, IRST, Trento, Italy
- (1993) Proc. IJCAI-93 Workshop on Using Knowledge in its Context , pp. 345-364
- Giunchiglia, F.¹

27
- 23944501791
- A context-based framework for mental representation
- Madison, WI
- (1998) Proc. 12th Annual Meeting of the Cognitive Science Society -CogSci'98
- Giunchiglia, F.¹ Bouquet, P.²

28
- 0028315848
- Multilanguage hierarchical logics (or: How we can do without modal logics)
- Also IRST-Technical Report 9110-07, IRST, Trento, Italy
- (1994) Artificial Intelligence , vol.65 , pp. 29-70
- Giunchiglia, F.¹ Serafini, L.²

29
- 0001997155
- Non-omniscient belief as context-based reasoning
- Chambéry, France. Also IRST-Technical Report 9206-03, IRST, Trento, Italy
- (1993) Proc. IJCAI-93 , pp. 548-554
- Giunchiglia, F.¹ Serafini, L.² Giunchiglia, E.³ Frixione, M.⁴

30
- 84985149199
- Hierarchical meta-logics: Intuitions, proof theory and semantics
- Proc. META-92, Workshop on Metaprogramming in Logic, Uppsala, Sweden, Springer, Berlin. Also IRST-Technical Report 9101-05, IRST, Trento, Italy
- (1992) Lecture Notes in Computer Science , vol.649 , pp. 235-249
- Giunchiglia, F.¹ Serafini, L.² Simpson, A.³

31
- 0003818045
- Lawrence Erlbaum Associates, Hillsdale, NJ
- (1989) Mind, Code and Context. Essays in Pragmatics
- Givón, T.¹

32
- 0003759630
- Ph.D. Thesis, Department of Computer Science, Stanford University, CA. Also Report No. STAN-CS-91-1399-Thesis
- (1991) Contexts: A formalization and some applications
- Guha, R.V.¹

33
- 0001972488
- Semantical considerations on modal logic
- Helsinki
- (1962) Proc. A Colloquium on Modal and Many-Valued Logics
- Kripke, S.A.¹

34
- 0029410109
- Cyc: A large-scale investment in knowledge infrastructure
- (1995) Comm. ACM , vol.38 , Issue.11 , pp. 33-38
- Lenat, D.B.¹

35
- 0023535206
- Generality in artificial intelligence
- (1987) Comm. ACM , vol.30 , Issue.12 , pp. 1030-1035
- McCarthy, J.¹

36
- 8344276281
- V. Lifschitz (Ed.), Ablex Publ., Norwood, NJ
- (1990) Formalizing Common Sense: Papers , pp. 226-236
- McCarthy, J.¹

37
- 0001928537
- Notes on formalizing context
- Chambéry, France
- (1993) Proc. IJCAI-93 , pp. 555-560
- McCarthy, J.¹

38
- 0002434257
- Formalizing context (expanded notes)
- A. Aliseda, R.J. van Glabbeek, D. Westerståhl (Eds.), Computing Natural Language, Center for the Study of Language and Information, Stanford University, CA
- (1998) CSLI Lecture Notes , vol.81 , pp. 13-50
- McCarthy, J.¹ Buvač, S.²

39
- 0000595046
- Partitioning information bases with contexts
- Vienna
- (1995) Proc. 3rd International Conference on Cooperative Information Systems
- Mylopoulos, J.¹ Motschnig-Pitrik, R.²

40
- 84926335112
- Towards layered dialogical agents
- J.P. Müller, M.J. Wooldridge, N.R. Jennings (Eds.), Proc. 3rd International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Springer, Berlin
- (1996) Lecture Notes in Artificial Intelligence , vol.1193
- Noriega, P.¹ Sierra, C.²

41
- 0032089494
- Agents that reason and negotiate by arguing
- (1998) J. Logic Comput. , vol.8 , Issue.3 , pp. 261-292
- Parsons, S.¹ Sierra, C.² Jennings, N.R.³

42
- 0003780676
- Almquist and Wiksell, Stockholm
- (1965) Natural Deduction - A Proof Theoretical Study
- Prawitz, D.¹

43
- 0005134855
- Using multi-context systems to engineer executable agents
- N.R. Jennings, Y. Lespérance (Eds.)
- (1999) Pre-proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL'99) , pp. 131-148
- Sabater, J.¹ Sierra, C.² Parsons, S.³ Jennings, N.⁴

44
- 85015595664
- Context in information bases
- New York City, IEEE Computer Society
- (1998) Proc. 3rd International Conference on Cooperative Information Systems (CoopIS'98) , pp. 260-270
- Theodorakis, M.¹ Analyti, A.² Constantopoulos, P.³ Spyratos, N.⁴

45
- 0001733633
- Prolegomena to a theory of mechanized formal reasoning
- (1980) Artificial Intelligence , vol.13 , Issue.1 , pp. 133-176
- Weyhrauch, R.W.¹

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