I 38100 Trento \Gamma Loc. Pant' e di Povo \Gamma tel. 0461\Gamma314444 Telex ...  Home/Search
Context
Related
| sra.itc.it/tr/GS91a.ps.gz 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: sra.itc.it/?id_...one=5&year=1991 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: MultiLanguage systems (ML systems) are formal systems allowing the use of multiple distinct logical languages. In this paper we introduce a class of ML systems which use a hierarchy of first order languages, each language containing names for the language below, and propose them as an alternative to modal logics. (Update)
Similar documents (at the sentence level):
59.2%: Multilanguage Hierarchical Logics (or: How We Can Do.. - Giunchiglia, Serafini (1994) (Correct)
10.0%: Hierarchical Meta-Logics for Belief and Provability: How We.. - Giunchiglia, al. (1992) (Correct)
Active bibliography (related documents): More All
0.8: La Deduzione Automatica - Giunchiglia, Traverso (Correct)
0.6: A Metatheory of a Mechanized Object Theory - Giunchiglia, Traverso (1992) (Correct)
0.5: Hierarchical Meta-Logics - Some Proof Theoretical Results - Giunchiglia, Serafini (1993) (Correct)
Similar documents based on text: More All
0.6: Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc (Correct)
BibTeX entry: (Update)
@misc{ loc-istituto,
author = "Trento Gamma Loc",
title = "Istituto per la Ricerca Scientifica e Tecnologica",
url = "citeseer.ist.psu.edu/711354.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
604 Reasoning about knowledge (context) - Halpern - 1986
226 The Use of Explicit Plans to Guide Inductive Proofs - Bundy - 1988
194 Knowledge and Belief (context) - Hintikka - 1962
176 Notes on Formalizing Context - McCarthy - 1991
167 Natural Deduction - A proof theoretical study (context) - Prawitz - 1965
121 Prolegomena to a Theory of Mechanized Formal Reasoning (context) - Weyhrauch - 1980
81 special issue on I Linguaggi e le Macchine (context) - Giunchiglia, Epistemologia - 1993
68 Uber formal unentscheidbare Satze der Principia Mathematica .. (context) - Godel - 1931
58 in and J.Y. Halpern. Belief, awareness, and limited reasonin.. (context) - Fag - 1988
56 Basic Modal Logic (context) - Bull, Segerberg - 1984
49 Generality in Artificial Intelligence - McCarthy - 1987
46 Non-Omniscient Belief as Context-Based Reasoning (context) - Giunchiglia, Serafini et al. - 1993
46 Mental Spaces: aspects of meaning construction in natural la.. (context) - Fauconnier - 1985
44 Languages with Self-Reference I: Foundations (context) - Perlis - 1985
43 First Order Theories of Individual Concepts and Propositions - McCarthy - 1979
40 A guide to the modal logics of knowledge and belief: prelimi.. (context) - Halpern, Moses - 1985
39 Oxford University Press (context) - Tarski, Semantics - 1956
36 The GETFOL Manual - GETFOL version (context) - Giunchiglia - 1992
34 Using meta-level inference for selective application of mult.. (context) - Bundy, Welham - 1981
33 Reflection in constructive and non-constructive automated re.. (context) - Giunchiglia, Smaill - 1989
27 Kluwer Academic Publisher (context) - Dinsmore - 1991
25 Reflective reasoning with and between a declarative metatheo.. - Giunchiglia, Traverso - 1991
24 Transfinite Recursive Progressions of Axiomatic Theories (context) - Feferman - 1962
23 Self-Reference and Modal Logic (context) - Smorynski - 1985
23 Der Wahrheitsbegriff in den formalisierten Sprachen (context) - Tarski - 1936
22 A note on syntactical treatments of modality (context) - Thomason - 1980
22 A multi-context monotonic axiomatization of inessential non-.. - Giunchiglia, Weyhrauch - 1988
17 From Frege to Godel: a source book in Mathematical Logic (context) - Van Heijenoort - 1967
17 Multilanguage systems - Giunchiglia - 1991
15 Multilanguage first order theories of propositional attitude.. - Giunchiglia, Serafini - 1991
14 Multiple agents and the heuristic ascription of belief (context) - Wilks, Ballim - 1987
14 Hierarchical meta-logics: intuitions (context) - Giunchiglia, Serafini et al. - 1992
14 FOL User Manual - FOL version (context) - Giunchiglia, Weyhrauch - 1991
14 A deduction model of belief and its logics (context) - Konolige - 1984
11 Computer Science Department (context) - Weyhrauch, Manual et al. - 1977
11 Plan formation and execution in a uniform architecture of de.. - Giunchiglia, Traverso - 1990
10 Speech acts and multiple environments (context) - Wilks, Biem - 1979
10 Hierarchical Meta-Logics: some Proof Teoretical Results (context) - Giunchiglia, Serafini - 1993
9 An application of amalgamated logic to multi-agent belief (context) - Kim, Kowalski - 1990
7 with corollaries on reflections principles and finite axioma.. (context) - Montague, of - 1963
7 Department of Artificial Intelligence (context) - van Harmelen, proof et al. - 1989
7 an essay in modal logic (context) - Boolos, of - 1979
5 The consistency of syntactical treatments of modality (context) - Rivieres, Levesque - 1986
5 Formalizing Reasoning and Introducing Derived Inference Rule.. (context) - Weyhrauch, of et al. - 1982
4 A system for multi-level mathematical reasoning - Giunchiglia, Traverso - 1994
4 The Edinburgh version of NuPrl has been renamed Oyster (context) - Horn, Proof et al. - 1988
2 Universit at Munchen -- Centrum fur Informations und Sprachv.. (context) - Gabbay, Systems et al. - 1990
1 37 A The sublevel property The goal of this section is to gi.. (context) - Wilks, Bien et al. - 1983
Documents on the same site (http://sra.itc.it/?id_menu=19&id_sezione=5&year=1991):
Tactics: Extending the Notion of Plan - Giunchiglia, Traverso (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