Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini  Home/Search
Context
Related
| reo.nii.ac.jp/journ...ART0000196332.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: reo.nii.ac.jp/jour...article_list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a framework, called OM pairs, for the formalization of metareasoning. OM pairs allow us to generate deductively pairs composed of an object theory and a metatheory related via a so called reflection principle. This is done by imposing, via appropriate reflection rules, the relation we want to hold between the object theory and the metatheory. In this paper we concentrate on the proof theory of OM pairs. We study them from various points of view: we compare the strength of the object... (Update)
Similar documents (at the sentence level):
11.5%: A Foundation for Metareasoning, Part I: The Proof Theory - Criscuolo, al. (Correct)
Active bibliography (related documents): More All
0.4: Meta-reasoning: a Survey - Costantini (2002) (Correct)
0.4: Modal and Meta Languages: Consistency and Expressiveness - Aiello, Cialdea, Nardi.. (1995) (Correct)
0.3: Metaprogramming in Logic - Barklund (1994) (Correct)
Similar documents based on text: More All
0.5: A Foundation for Metareasoning Part II: The Model Theory - Criscuolo, Giunchiglia.. (Correct)
0.3: Context Matching for Electronic Marketplaces - a case study - Matteo Bonifacio Antonia (2003) (Correct)
0.2: The VI framework program in Europe: - Some Thoughts About (Correct)
BibTeX entry: (Update)
@misc{ criscuolo-foundation,
author = "Giovanni Criscuolo and Fausto Giunchiglia and Luciano Serafini",
title = "A Foundation for Metareasoning Part I: The Proof Theory",
url = "citeseer.ist.psu.edu/article/criscuolo02foundation.html" }
Citations (may not include all citations):343 Modal Logic -- an Introduction (context) - Chellas - 1980
343 Introduction to Metamathematics (context) - Kleene - 1952
179 The Godel Programming Language (context) - Hill, Lloyd - 1992
167 Natural Deduction - A proof theoretical study (context) - Prawitz - 1965
121 Prolegomena to a theory of mechanized formal reasoning (context) - Weyhrauch - 1980
113 or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
86 Amalgamating language and meta-language in logic programming (context) - Bowen, Kowalski - 1982
81 special issue on I Linguaggi e le Macchine (context) - Giunchiglia, Epistemologia - 1993
54 or contextual reasoning = locality + compatibility (context) - Giunchiglia, Ghidini et al. - 1998
49 Formalizing context (context) - McCarthy, Buvac - 1998
48 Distributed first order logics - Ghidini, Serafini - 1998
38 Metalogical frameworks - Basin, Constable - 1993
33 Reflection in constructive and non-constructive automated re.. (context) - Giunchiglia, Smaill - 1988
28 Languages with self-reference II: knowledge (context) - Perlis - 1988
24 Transfinite recursive progressions of axiomatic theories (context) - Feferman - 1962
23 Self-Reference and Modal Logic (context) - Smorynski - 1985
21 Metatheory and Reflection in Theorem Proving: A Survey and C.. - Harrison - 1995
19 A metatheory of a mechanized object theory - Giunchiglia, Traverso - 1996
18 A Metalogic programming approach to multi-agent knowledge an.. (context) - Kowalski, Kim - 1991
17 Meta-programming in logic programming - Hill, Gallagher - 1998
17 Meta-logic for program composition: semantics issues (context) - Brogi, Turini - 1995
15 the consistency of commonsense reasoning (context) - Perlis - 1986
13 Two semantics for definite meta-programs (context) - Martens, De Schreye - 1995
12 A meta-level extension of Prolog (context) - Bowen, Weiberhg - 1985
11 Reflections about reflection (context) - Attardi, Simi - 1991
11 Computer Science Department (context) - Weyhrauch, manual et al. - 1977
10 A formalisation of viewpoints (context) - Attardi, Simi - 1995
7 Meta-programming with theory systems - Barklund, Boberg et al. - 1995
5 A simple formulation of the theory of metalogic programming (context) - Subrahmanian - 1989
4 GETFOL: interactive multicontext theorem proving (context) - Giunchiglia - 1993
4 ML Systems: A Proof Theory for Contexts - Serafini, Giunchiglia - 2000
3 Metafol: Program tactics and logic tactics plus reflection - Benerecetti, Spalazzi - 1996
3 Towards a theory of mechanizable theories (context) - Talcott, Weyhrauch - 1990
3 reflection principles and self-reference (context) - Perlis, Subrahmanian - 1994
2 Technical Report UPMAIL Technical Report No (context) - Barklund, Logic - 1994
1 Electronic copy available (context) - Beklemishev, Reflection et al.
Documents on the same site (http://reo.nii.ac.jp/journal/HtmlIndicate/html/vol_issues/SUP0000003000/JOU0003000123/ISS0000016534/article_list.html): More
A Modal Logic for Coalitional Power in Games - Pauly (2002) (Correct)
Operators and Laws for Combining Preference Relations - Andreka, Ryan, Al. (2002) (Correct)
Logical Precision in Concept Lattices - Radim Belohlavek Institute (2002) (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