SCOPUS 정보 검색 플랫폼

Journal of Logic and Computation

Volumn 12, Issue 1, 2002, Pages 167-208

A foundation for metareasoning part I: The proof theory

(3) Criscuolo, Giovanni a Giunchiglia, Fausto b,c Serafini, Luciano c

a UNIVERSITY OF NAPLES FEDERICO II (Italy)

b UNIVERSITY OF TRENTO (Italy)

c ITC IRST (Italy)

Author keywords

Contextual reasoning; Metatheory; Reflection

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; MODAL ANALYSIS; THEOREM PROVING;

MODAL LOGICS;

FORMAL LOGIC;

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

Times cited : (10)

References (42)

1
- 0006377846
- Reflections about reflection
- Principles of Knowledge Representation and Reasoning, Morgan Kaufmann
- (1991) Proceedings of the Second International Conference , pp. 22-31
- Attardi, G.¹ Simi, M.²

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

3
- 0003392053
- Metaprogramming in logic
- July
- (1994) Technical Report UPMAIL Technical Report , vol.80
- Barklund, J.¹

4
- 0006300303
- Meta-programming with theory systems
- chapter 8, MIT Press
- (1995) Meta-logics and Logic Programming , pp. 195-226
- Barklund, J.¹ Boberg, K.² Dell'Acqua, P.³ Veanes, M.⁴

5
- 0002301549
- Metalogical frameworks
- G. Huet and G. Plotkin, eds. Cambridge University Press, Cambridge, MA, Also available as Technical Report MPI-I-92-205
- (1993) Logical Environments , pp. 1-29
- Basin, D.¹ Constable, R.²

6
- 33745705257
- Provability and reflection
- Lecture Notes at ESSLLI 97
- Beklemishev, L.¹

7
- 0030233234
- Metafol: Program tactics and logic tactics plus reflection
- (1996) Future Generation Computer Systems , vol.12 , pp. 139-156
- Benerecetti, M.¹ Spalazzi, L.²

8
- 0002830387
- Amalgamating language and meta-language in logic programming
- S. Tärnlund, ed., Academic Press, New York
- (1982) Logic Programming , pp. 153-173
- Bowen, K.A.¹ Kowalski, R.A.²

9
- 0006300190
- A meta-level extension of Prolog
- Boston
- (1985) IEEE Symposium on Logic Programming , pp. 669-675
- Bowen, K.A.¹ Weiberhg, T.²

10
- 0006329711
- Meta-logic for program composition: Semantics issues
- chapter 4, MIT Press
- (1995) Meta-logics and Logic Programming , pp. 83-110
- Brogi, A.¹ Turini, F.²

11
- 0004232390
- Cambridge University Press
- (1980) Modal Logic - An Introduction
- Chellas, B.F.¹

12
- 0000675423
- Transfinite recursive progressions of axiomatic theories
- (1962) Journal of Symbolic Logic , vol.27 , pp. 259-316
- Feferman, S.¹

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

14
- 0000218693
- Contextual reasoning
- (1993) Epistemologia, special issue on I Linguaggi e le Macchine , vol.16 , pp. 345-364
- Giunchiglia, F.¹

15
- 0040627047
- Chambery, France
- (1993) Proceedings IJCAI'93 Workshop on Using Knowledge in its Context , pp. 39-49

16
- 0006389014
- IRST, Trento, Italy
- IRST-Technical Report , vol.9211 , Issue.20

17
- 0006352943
- GETFOL: Interactive multicontext theorem proving (abstract)
- Chambery, France
- (1993) Proceedings of IJCAI-93 Workshop on Automated Theorem Proving , pp. 43
- Giunchiglia, F.¹

18
- 0000237177
- Local models semantics, or contextual reasoning = locality + compatibility
- Morgan Kaufmann
- (1998) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98) , pp. 282-289
- Giunchiglia, F.¹ Ghidini, C.²

19
- 0006355133
- IRST, Trento, Italy
- IRST-Technical Report , vol.9701 , Issue.7

20
- 0028315848
- Multilanguage hierarchical logics (or: How we can do without modal logics)
- (1994) Artificial Intelligence , vol.65 , pp. 29-70
- Giunchiglia, F.¹ Serafini, L.²

21
- 0006389606
- IRST, Trento, Italy
- IRST-Technical Report , vol.9110 , Issue.7

22
- 0006385098
- Reflection in constructive and non-constructive automated reasoning
- H. Abramson and M. H. Rogers, eds. MIT Press
- (1988) Proc. of META-88, Workshop on Metaprogramming in Logic , pp. 123-145
- Giunchiglia, F.¹ Smaill, A.²

23
- 0006355134
- DAI Research Paper 375, University of Edinburgh
- IRST-Technical Report , vol.8902 , Issue.4

24
- 0030081532
- A metatheory of a mechanized object theory
- (1996) Artificial Intelligence , vol.80 , pp. 197-241
- Giunchiglia, F.¹ Traverso, P.²

25
- 0006389607
- IRST, Trento, Italy
- (1992) IRST-Technical Report , vol.9211 , Issue.24

26
- 0004123801
- Metatheory and reflection in theorem proving: A survey and critique
- SRI Cambridge, Millers Yard, Cambridge, UK
- (1995) Technical Report CRC-053
- Harrison, J.¹

27
- 0005487801
- The Gödel programming language
- University of Bristol, Dept. Computer Science
- (1992) Technical Report CSTR , vol.92 , Issue.27
- Hill, P.M.¹ Lloyd, J.W.²

28
- 0000290217
- Meta-programming in logic programming
- D.M. Gabbay, C.J, Hopper, and J.A. Robinson, eds., Oxford University Press
- (1998) Handbook of Logic in AI and Logic Programming , vol.5 , pp. 421-498
- Hill, P.M.¹ Gallagher, J.G.²

29
- 0004210235
- North Holland
- (1952) Introduction to Metamathematics
- Kleene, S.C.¹

30
- 0006298418
- A Metalogic programming approach to multi-agent knowledge and belief
- V. Lifschitz, ed. Academic Press
- (1991) Artificial Intelligence and Mathematical Theory of Computation - Papers in honor of John McCarthy , pp. 231-246
- Kowalski, R.¹ Kim, J.S.²

31
- 0006390568
- Two semantics for definite Meta-programs, using the non-ground representations
- chapter 3, MIT Press
- (1995) Meta-logics and Logic Programming , pp. 57-82
- Martens, B.¹ De Schreye, D.²

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

33
- 84990604261
- On the consistency of commonsense reasoning
- (1986) Computational Intelligence , vol.2 , pp. 180-190
- Perlis, D.¹

34
- 0006354861
- Languages with self-reference II: Knowledge, belief, and modality
- (1988) Artificial Intelligence , vol.34 , pp. 179-212
- Perlis, D.¹

35
- 0006356534
- Meta-language, reflection principles and self-reference
- D.M. Gabbay, C.J. Hogger, and J.A. Robinson, eds. Oxford University Press
- (1994) The Handbook of Logic in AI and Logic Programming , vol.2 , pp. 339-358
- Perlis, D.¹ Subrahmanian, V.S.²

36
- 0003780676
- Almquist and Wiksell, Stockholm
- (1965) Natural Deduction - A proof theoretical study
- Prawitz, D.¹

37
- 8344260986
- ML Systems: A proof theory for contexts
- Technical Report 0006-01, ITC-IRST, Trento, Italy
- (2000) Journal of Logic Language and Information
- Serafini, L.¹ Giunchiglia, F.²

38
- 0003826514
- Springer-Verlag, Berlin
- (1985) Self-Reference and Modal Logic
- Smorynski, C.¹

39
- 0006298419
- A simple formulation of the theory of metalogic programming
- chapter 4, H. Abramson and M. Rogers, eds. The MIT Press, Cambridge, MA
- (1989) Meta Programming in Logic Programming , pp. 65-101
- Subrahmanian, V.S.¹

40
- 0006390569
- Towards a theory of mechanizable theories: 1.fol contexts - The extensional view
- L. Carlucci Aiello, ed.
- (1990) Proc. 8th European Conference on Artificial Intelligence , pp. 634-639
- Talcott, C.¹ Weyhrauch, R.W.²

41
- 0006390570
- Technical Report STAN-CS-77-432, Computer Science Department, Stanford University
- (1977) A users manual for FOL
- Weyhrauch, R.W.¹

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

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