Browse

ftp://ftp.mrg.dist.unige.it (127)

	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9112-03.ps.gz, 19940224 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Hierarchical Meta-Logics for Belief and Provability: How we can do without modal logics F. Giunchiglia, L. Serafini December 1991 Technical Report # 9112-03
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9110-07.ps.gz, 19940224 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Multilanguage Hierarchical Logics (or: How we can do without modal logics) F. Giunchiglia, L. Serafini October 1991 Technical Report # 9110-07 Published in
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9001-02.ps.gz, 19940224 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Multilanguage First Order Theories of Propositional Attitudes F. Giunchiglia, L. Serafini January 1990 Technical Report # 9001-02 Published in Proceedings SCAI-91
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9006-01.ps.gz, 19940302 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 La Deduzione Automatica F. Giunchiglia, P. Traverso, L. Serafini June 1990 Technical Report # 9006-01 Published in Sistemi Intelligenti, vol. 1, 1991, Il Mulino.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9101-05.ps.gz, 19940302 F. Giunchiglia and L. Serafini. Multilanguage first order theories of propositional attitudes. In Proceedings 3rd Scandinavian Conference on Artificial Intelligence, pages 22840, Roskilde University, Denmark, 1991. IOS Press. Also IRST-Technical Report 9001-02, IRST, Trento, Italy. F.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/91-0004.ps.gz, 19940303 A Multi-Context Monotonic Axiomatization of Inessential Non-monotonicity F. Giunchiglia, R.W. Weyhrauch April 1991 Technical Report # 91-0004 Published in D. Nardi and P. Maes (eds.), Meta-Level Architectures and Reflection, pp. 271{285, North Holland, 1988. universit a di genova facolt a di ingegneria
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9303-04.ps.gz, 19940303 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Logica, Scienze Cognitive e Intelligenza Artificiale: alcune considerazioni F. Giunchiglia March 1993 Technical Report # 9303-04 Published in Atti del Congresso
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9211-26.ps.gz, 19940303 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Metatheories about Provability and Metatheories about Proofs in a Multicontext System L. Serafini, P. Traverso November 1992 Technical Report # 9211-26 Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9001-14.ps.gz, 19940309 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A Theory of Abstraction F. Giunchiglia, T. Walsh January 1990 Technical Report # 9001-14 Published in Artificial Intelligence, Vol. 56, No. 2{3, pp. 323{390,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9003-12.ps.gz, 19940309 A. Bundy. The Use of Explicit Plans to Guide Inductive Proofs. In R. Luck and R. Overbeek, editors, CADE9. Springer-Verlag, 1988. Longer version available as DAI Research Paper No. 349, Dept. of Artificial Intelligence, Edinburgh. A. Bundy, F. van Harmelen, J. Hesketh, A. Smail, and A.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9011-12.ps.gz, 19940309 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A System for Multi-Level Mathematical Reasoning F. Giunchiglia, P. Traverso November 1990 Technical Report # 9011-12 Published in J.H. Johnson, S. McKee, A. Vella
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9011-17.ps.gz, 19940309 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Multilanguage Systems F. Giunchiglia November 1990 Technical Report # 9011-17 Published in Proceedings AAAI-91 Spring Symposium on Logical Formalizations of
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9006-16.ps.gz, 19940311 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 The Inevitability of Inconsistent Abstract Spaces F. Giunchiglia, T. Walsh June 1990 Technical Report # 9006-16 Published in Journal of Automated Reasoning, Vol.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9312-07.ps.gz, 19940314 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Reasoners, Observers, Believers: Belief as context-based reasoning F. Giunchiglia, E. Giunchiglia, L. Serafini December 1993 Technical Report # 9312-07 Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/91-0001.ps.gz, 19940314 A set of hierarchically structured decision procedures for some subclasses of First Order Logic E. Giunchiglia January 1991 Technical Report # 91-0001 Short version published in Proceedings SCAI-91, 3rd Scandinavian Conference on Artificial Intelligence, Roskilde University, May 21-24, 1991. universit a
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/92-0011.ps.gz, 19940314 Embedding complex decision procedures inside an interactive theorem prover A. Armando, E. Giunchiglia May 1992 Technical Report # 92-0011 Published in Annals of Artificial Intelligence and Mathematics, Vol. 8, n. 3{4, 1993. universit a di genova facolt a di ingegneria dipartimento informatica
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/94-0018.ps.gz, 19940314 Applying GSAT to Non-Clausal Formulas R. Sebastiani January 1994 Technical Report # 94-0018 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Applying GSAT To Non-Clausal Formulas Roberto Sebastiani Mechanized Reasoning Group, DIST, via Opera Pia 11/a, 16145
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/93-0012.ps.gz, 19940314 Multi-context Systems as a Tool to Model Temporal Evolution M. Di Manzo, E. Giunchiglia May 1993 Technical Report # 93-0012 Published in Proceedings ISMIS-93, 7th International Symposium on Method- ologies for Intelligent Systems, Trondheim, Norway, June 1993. universit a di genova facolt a di
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9401-11.ps.gz, 19940315 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A Three Level Architecture for the Modular Specification of Knowledge and Reasoning Strategies M. Di Manzo, E. Giunchiglia, P. Traverso January 1994 Technical
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/93-0015.ps.gz, 19940318 Structured Proof Procedures E. Giunchiglia, A. Armando, P. Pecchiari July 1993 Technical Report # 93-0015 Published in Proceedings Third Bar-Ilan Symposium on the Foundations of Artificial Intelligence, Bar-Ilan, Israel, 1993. Also presented at IJCAI-93 Workshop on Automated Theorem Proving, Chambery,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9007-16.ps.gz, 19940322 RFL/UvA/I.4/1 A Discussion about naming relations or: A tribute to electronic mail 12 R. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13, 1980. Also in: Readings in Artificial Intelligence, Webber, B. L. and Nilsson, N. J. (eds.), Tioga
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9012-03.ps.gz, 19940405 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code F. Giunchiglia, P. Traverso December 1990 Technical Report # 9012-03
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9101-04.ps.gz, 19940405 References D. Basin, F. Giunchiglia, and P. Traverso. Meta-theory as the dual of system implementation. Technical Report 9103-015, IRST, Trento, Italy, 1991. R.S. Boyer and J.S. Moore. Metafunctions: proving them correct and using them efficiently as new proof procedures. In R.S. Boyer
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9302-21.ps.gz, 19940405 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 MRG: Building Planners for Real World Complex Applications P. Traverso, A. Cimatti, L. Spalazzi, E. Giunchiglia, A. Armando February 1993 Technical Report #
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9205-11.ps.gz, 19940405 c2 x2 c3 c1 x1 Figure 4: Translating move operations in paths sponding sequence of move operations; this task can be performed with different modalities, as the same path can in general be described by several move operation sequences. We will investigate the extension of the interface in order to allow
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9206-22.ps.gz, 19940406 GETFOL:: andi 1 2; 10 IN(A2,T2) and IN(A3,T1) GETFOL:: andi 10 9; 11 (IN(A2,T2) and IN(A3,T1)) and IN(A4,T3) GETFOL:: switchcontext PSC; You are now using context: PSC You are switching to a proof with no name. GETFOL:: COMMENT j j GETFOL:: COMMENT j GETTING BACK DEPENDENCIES OF THE DEDUCTION IN C3 j
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9112-19.ps.gz, 19940406 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Tactics: Extending the Notion of Plan F. Giunchiglia, P. Traverso, A. Cimatti, L. Spalazzi December 1991 Technical Report # 9112-19 Presented at the ECAI-92
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9204-05.ps.gz, 19940406 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Beyond the Single Planning Paradigm: Introspective Planning P. Traverso, A. Cimatti, L. Spalazzi April 1992 Technical Report # 9204-05 Published in Proceedings
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9401-02.ps.gz, 19940406 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Planning with Failure F. Giunchiglia, L. Spalazzi, P. Traverso January 1994 Technical Report # 9401-02 Published in Proceedings AIPS-94, Second International
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9406-13.ps.gz, 19940708 B. N. Grosof. Updating and Structures in Non-Monotonic Theories. PhD thesis, Stanford University, 1992. C.A. Knoblock. Automatically Generating Abstractions for Problem Solving. PhD thesis, School of Computer Science, 1991. A. Lansky. Localized Event-Based Reasoning for Multiagent
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9406-12.ps.gz, 19940708 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A Mechanized Multi-Context Solution to McCarthy's GLM Problem P. Bouquet June 1994 Technical Report # 9406-12 Presented at AIA-94, 2nd International Round-table
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/8909-11.ps.gz, 19940708 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 The Use of Abstraction in Automatic Inference F. Giunchiglia, T. Walsh September 1989 Technical Report # 8909-11 In Proceedings of the UK Conference on Informatic
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9010-08.ps.gz, 19940711 D.A. Plaisted. Abstraction using generalization functions. In 8th Conference on Automated Deduction, pages 36576. 8th Conference on Automated Deduction, 1986. E.D. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:11535, 1974.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/8904-02.ps.gz, 19940713 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Abstracting into Inconsistent Spaces (or: the False Proof" Problem) F. Giunchiglia, T. Walsh April 1989 Technical Report # 8904-02 In Atti del Primo Congresso
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9312-02.ps.gz, 19940713 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Computational Reflection via Mechanized Logical Deduction A. Cimatti, P. Traverso December 1993 Technical Report # 9312-02 Istituto Trentino di Cultura
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9205-01.ps.gz, 19940713 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Tree Subsumption: Reasoning with Outlines F. Giunchiglia, T. Walsh May 1992 Technical Report # 9205-01 In Proceedings ECAI-92, 10th European Conference on
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9206-23.ps.gz, 19940713 F. Giunchiglia and T. Walsh. Abstract Theorem Proving. In Proceedings of the 11th IJCAI, International Joint Conference on Artificial Intelligence, 1989. Also available as DAI Research Paper No 430, Dept. of Artificial Intelligence, Edinburgh. F. Giunchiglia and T. Walsh. A Theory of Abstraction.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/8902-03.ps.gz, 19940713 total order. If, however, we have a set of totally ordered abstractions then the following result holds: Theorem 8 : If f1 : 1 7! 12, ..., fn : 1 7! n2 are TI-abstractions and f1 v ::: v fn (f1; :::; fn are totally ordered), then if n2 is consistent so is i2 for any 1 <= i <= n. Theorem 8 suggests the
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9007-02.ps.gz, 19940713 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Building Abstractions A. Bundy, F. Giunchiglia, T. Walsh July 1990 Technical Report # 9007-02 In Proceedings of the AAAI-90 Workshop on Automatic Generation of
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/8911-16.ps.gz, 19940714 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9303-11.ps.gz, 19940830 REFERENCES 72 A. Tarski. Logic, Semantics, Metamathematics. Oxford University Press, 1956. REFERENCES 71 Press, 1989. Also IRST-Technical Report 8902-04 and DAI Research Paper 375, University of Edinburgh. F. Giunchiglia and L. Serafini. Multilanguage first order theories of propositional
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9307-26.ps.gz, 19940830 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A Multi-context Architecture for Formalizing Complex Reasoning E. Giunchiglia, P. Traverso July 1993 Technical Report # 9307-26 Also DIST-Technical Report
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/92-0010.ps.gz, 19940912 INDEX 173 ptaut, 120 reflect, 157 represent, 132 reset, 152 resetprompt, 22 rewrite, 140 setfmap, 46 setprompt, 23 simplify, 133 subst, 100 switchcontext, 153 switchproof, 67 taut, 121 tauteq, 122 term, 37 termife, 102 termifen, 103 termifi, 104 theorem, 54 theory, 56 ug, 91 unprobe, 14 us, 89 weaken,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9211-24.ps.gz, 19941012 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 A Metatheory of a Mechanized Object Theory F. Giunchiglia, P. Traverso November 1992 Technical Report # 9211-24 To appear in: Artificial Intelligence, 1994,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9312-01.ps.gz, 19941221 12. K. Konolige. A deduction model of belief and its logics. PhD thesis, Stanford University CA, 1984. 13. J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense - Papers by John McCarthy, pages 158{166. Ablex Publishing Corporation, 1990. 14.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9105-23.ps.gz, 19950117 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 314444 Telex 400874 ITCRST Telefax 0461 302040 Riscrittura sintattica in GETFOL F. Giunchiglia, P. Pecchiari May 1991 Technical Report # 9105-23 Also available as MRG-DIST Technical Report 91-0011, DIST,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/94-0023.ps.gz, 19950118 An Abstraction for Boolean Algebra M. Roveri December 1994 Technical Report # 94-0023 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica An Abstraction for Boolean Algebra Marco Roveri Mechanized Reasoning Group D.I.S.T. - University of Genoa Italy
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9305-11.ps.gz, 19950927 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Building and Executing Proof Strategies in a Formal Metatheory Alessandro Armando Alessandro Cimatti Luca Vigan o May 1993 Technical Report # 9305-11 Publication
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9412-09.ps.gz, 19950927 we have shown how the modularity of belief contexts provides elaboration tolerance. First, we have shown how reasoning about mutual and nested beliefs, common belief, ignorance and ignorance ascription, can be formalized using belief contexts in a very general and structured way. Then we have shown how
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9501-03.ps.gz, 19950927 where P and o are a fluent and a term, respectively. Knowledge about perception is expressed by means of wffs of the form Knows(P; s) and Kref(o; s), where s is a situation. Technically, our approach is different since we have no situations in the logic. Moreover, in this paper we have described a class
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9405-06.ps.gz, 19950927 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 First Steps Towards Correct System Synthesis of System Code Fausto Giunchiglia Alessandro Armando Alessandro Cimatti Paolo Traverso May 1994 Technical Report #
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9409-01.ps.gz, 19950927 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Interaction with the Boyer-Moore Theorem Prover: a Tutorial Study Using the Arithmetic-Geometric Mean Theorem Matt Kaufmann Paolo Pecchiari September 1994
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9301-01.ps.gz, 19950927 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Program Tactics and Logic Tactics Fausto Giunchiglia Paolo Traverso January 1993 Technical Report # 9301-01 Publication Notes: In Proceedings "LPAR'94, 5th
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9206-03.ps.gz, 19950930 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Non-omniscient belief as context-based reasoning Fausto Giunchiglia Luciano Serafini Enrico Giunchiglia Marcello Frixione June 1992 Technical Report # 9206-03
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/95-0029.ps.Z, 19951006 Solutions to the Frame Problem Enrico Giunchiglia October 1995 Technical Report MRG/DIST # 95-0029 Publication Notes: None. universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Solutions to the Frame Problem Enrico Giunchiglia Mechanized Reasoning Group DIST -
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/95-0028.ps.gz, 19951006 Actions with indirect effects (extended abstract) Enrico Giunchiglia G. Neelakantan Kartha Vladimir Lifschitz October 1995 Technical Report MRG/DIST # 95-0028 Publication Notes: In Proc. AAAI Spring Symposium'95 on Extending Theories of Actions. universit a di genova facolt a di ingegneria dipartimento
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/95-0027.ps.gz, 19951006 Dependent Fluents Enrico Giunchiglia Vladimir Lifschitz October 1995 Technical Report MRG/DIST # 95-0027 Publication Notes: In Proceedings of the 14th International Joint Conference on Artificial In- telligence, 1995. universit a di genova facolt a di ingegneria dipartimento informatica sistemistica
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9403-17.ps.gz, 19951017 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Proving Theorems by Using Abstraction Interactively Roberto Sebastiani Adolfo Villafiorita Enrico Giunchiglia March 1994 Technical Report # 9403-17 Publication
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9301-08.ps.gz, 19951031 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 A General Purpose Reasoner for Abstraction Fausto Giunchiglia Roberto Sebastiani Adolfo Villafiorita Toby Walsh January 1993 Technical Report # 9301-08
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9404-08.ps.gz, 19951031 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 A Many Sorted Natural Deduction Alessandro Cimatti Fausto Giunchiglia Richard Weyhrauch April 1994 Technical Report # 9404-08 Publication Notes: Presented at the
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9506-02.ps.gz, 19951128 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization Alessandro Cimatti Luciano Serafini June 1995 Technical Report # 9506-02 Publication
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9503-09.ps.gz, 19951207 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 An Epistemological Science of Common Sense Fausto Giunchiglia January 1995 Technical Report # 9503-09 Publication Notes: To appear in "Journal of Artificial
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/96-0030.ps.gz, 19960104 Reasoning by Analogy via Abstraction Adolfo Villafiorita January 1996 Technical Report MRG/DIST # 96-0030 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Reasoning by Analogy via Abstraction Adolfo Villafiorita Mechanized Reasoning Group I. I., University of
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9211-21.ps.gz, 19960104 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Introspective Metatheoretic Reasoning Fausto Giunchiglia Alessandro Cimatti November 1992 Technical Report # 9211-21 Istituto Trentino di Cultura Introspective
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9506-03.ps.gz, 19960120 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Mechanizing Local Reasoning with Contexts Paolo Bouquet Alessandro Cimatti June 1995 Technical Report # 9506-03 Istituto Trentino di Cultura M e c h a n i z i n g
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/96-0032.ps.gz, 19960120 METAFOL: Program Tactics and Logic Tactics plus Reflection Massimo Benerecetti Luca Spalazzi January 1996 Technical Report MRG/DIST # 96-0032 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica METAFOL: Program Tactics and Logic Tactics plus Reflection Massimo
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9601-01.ps.gz, 19960129 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World Paolo Traverso Luca Spalazzi Fausto Giunchiglia January 1996
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9602-20.ps.gz, 19960328 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 ABSFOL: a Proof Checker with Abstraction Fausto Giunchiglia Adolfo Villafiorita February 1996 Technical Report # 9602-20 Istituto Trentino di Cultura ABSFOL: a
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9602-10.ps.gz, 19960328 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Phase Transitions and Annealed Theories: Number Partitioning as a Case Study Ian P. Gent Toby Walsh January 1996 Technical Report # 9601-06 Istituto Trentino di
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9601-06.ps.gz, 19960328 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 The Constrainedness of Search Ian P. Gent Ewan MacIntyre Patrick Prosser Toby Walsh January 1996 Technical Report # 9601-06 Istituto Trentino di Cultura The
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/96-0031.ps.gz, 19960905 Backward logic tactics Alessandro Armando September 1996 Technical Report MRG/DIST # 96-0031 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Backward logic tactics Alessandro Armando February 5, 1996 1 Introduction The notion of logic tactic has been
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9601-02.ps.gz, 19960906 References A. Armando and E. Giunchiglia. Embedding Complex Decision Procedures inside an Interactive Theorem Prover. Annals of Mathematics and Artificial Intelligence, 8(3):47502, 1993. M. Buro and H. Buning. Report on a SAT competition. Technical Report 110, University of Paderborn,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9607-08.ps.gz, 19960906 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 A SAT-based decision procedure for ALC Fausto Giunchiglia Roberto Sebastiani September 1996 Technical Report # 9607-08 Istituto Trentino di Cultura A SAT-based
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9605-06.ps.gz, 19960913 name theorem lenabs ag+ ag ag& ag" lemmas ass ] x ] (y ] z) = (x ] y) ] z 15 0.71 0.65 0.65 0.78 com ] x ] y = y ] x 23 0.92 0.79 0.3 { lemc ] com2 ] x ] (y ] z) = y ] (x ] z) 15 0.71 0.65 { { lemc ] lemc ] ] (y ] x) = y ] ( ] x) 13 0.76 0.48 0.40 { even ] e(x) ! e(x ] y) 29 0.82 1.00 { { Table 2:
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9604-05.ps.gz, 19960913 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Towards provably correct system synthesis and extension Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando September 1996 Technical Report # 9604-05 Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9602-11.ps.gz, 19960927 BA:: tryinstt 1.0 2.0 x#i(x): x+i(x) all by absf; BA:: tryinstt 5.0 6.0 N: I by absf; BA:: tryinsts 1.0 3.0 5.0 6.0 #: * by absf; BA:: tryinsts 5.0 7.0 8.0 1.0 10.0 3.0 #: + by absf; BA:: tryinsts 5.0 7.0 8.0 N: O by absf; BA:: tryalle compland x; BA:: trysubst 3.0 4.0; BA:: trysubst 4.1 0.1; BA::
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9302-15.ps.gz, 19960927 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 An Incompleteness Theorem via Abstraction Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh September 1996 Technical Report # 9302-15 Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9605-05.ps.gz, 19960930 Istituto per la Ricerca Scientifica e Tecnologica I 38100 Trento Loc. Pant e di Povo tel. 0461 814444 Telex 400874 ITCRST Telefax 0461 810851 Context-Based Formal Specification of Multi-Agent Systems Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9501-02.ps.gz, 19960930 References 1. J.Y. Halpern and Y. Moses. A guide to the modal logics of knowledge and belief: preliminary draft. In Proc. of the 9th International Joint Conference on Artificial Intelligence, pages 480{490, Los Angeles, CA, 1985. Morgan Kaufmann Publ. Inc. 2. R. Fagin and J.Y. Halpern. Belief,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9611-06.ps.gz, 19961122 F. Massacci. Strongly analytic tableaux for normal modal logics. In Proc. of the 12th Conference on Automated Deduction, 1994. D. Mitchell, B. Selman, and H. Levesque. Hard and Easy Distributions of SAT Problems. In Proc. of the 10th National Conference on Artificial Intelligence, pages
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9409-15.ps.gz, 19961125 Reasoning Theories Towards an Architecture for Open Mechanized Reasoning Systems 1 2 Fausto Giunchiglia IRST and Universit a di Trento fausto@irst.itc.it Paolo Pecchiari IRST and Universit a di Genova peck@irst.itc.it Carolyn Talcott Stanford University clt@steam.stanford.edu
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/97-0043.ps.gz, 19970107 the Third Symposium on Logical Formalizations of Commonsense Reasoning, 1996. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4:65578, 1994. Fangzhen Lin and Yoav Shoham. Provably correct theories of action
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9607-10.ps.gz, 19970108 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Using Abstrips abstractions - where do we stand Fausto Giunchiglia Technical Report # 9607-10 c Istituto Trentino di Cultura, 1996 limited
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9607-07.ps.gz, 19970108 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Calculating Criticalities Bundy A., Giunchiglia F., Sebastiani R., Walsh T. Technical Report # 9607-07 c Istituto Trentino di Cultura, 1996
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9604-01.ps.gz, 19970108 200 400 600 800 1000 1200 1400 1600 1800 1 2 3 4 5 6 7 8 9 CPU time (secs) computers # ALPINE HIGHPOINT RESISTOR 2000 4000 6000 8000 10000 12000 14000 16000 1 2 3 4 5 6 7 8 9 nodes # computers # ALPINE HIGHPOINT RESISTOR Figure 4: CPU time and nodes explored, 3 files to print. ing between abstraction
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9607-13.ps.gz, 19970108 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Proceedings of the First Workshop on Abstraction, Analogy and Metareasoning Alessandro Armando, Erica Melis Technical Report # 9607-13 c
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9609-05.ps.gz, 19970108 5 Beyond K(m)/ALC Although we do not yet have any empirical evidence backing our claim, we believe that our method will work for a wide class of logics, and, more specifically with most (all ) normal modal logics. First, independently on the logic considered, L monotonically increases the constraintness
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9608-14.ps.gz, 19970108 about Actions and Plans, Proceedings of the 1986 Workshop, pages 1{9. Morgan Kaufmann Publ. Inc., 1986. F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, 4:655{678, 1994. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of the 14th
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9701-01.ps.Z, 19970109 A Case Study in Formal Validation of Interlocking Systems 32 ffl Operations are parametric in the configuration. For instance, a SHUNT process can control more than one LC process, and the actions which in this case study SHUNT performs for LC must be performed for all the controlled level crossings.
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9605-04.ps.Z, 19970109 where C0 : B(A1"); : : : ; C0 : B(An") are the first occurrences of formulas in C0 met on the thread from C1 : A to the leaves of . Let k 2 f1; : : : ; ng. Given the restrictions on the bridge rules, we have that k C0 : B(Ak") is a proof in MS of C0 : B(Ak"). Hence \| k contains less than n
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9609-02.ps.gz, 19970109 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Local Semantics for Federated Databases Serafini L., Ghidini C. Technical Report # 9609-02 c Istituto Trentino di Cultura, 1996 limited
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9610-01.ps.gz, 19970109 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Formalizing Complex Reasoning Traverso P. Technical Report # 9610-01 c Istituto Trentino di Cultura, 1996 limited distribution notice This
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9701-03.ps.gz, 19970110 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Context Based Semantics for Federated Databases Serafini L., Ghidini C. Technical Report # 9701-03 c Istituto Trentino di Cultura, 1997
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9211-06.ps.gz, 19970113 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Dealing with expected and unexpected obstacles Giunchiglia F., Giunchiglia E., Costello T., Bouquet P. Technical Report # 9211-06 c Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9401-10.ps.gz, 19970115 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Flexible planning by integrating multilevel reasoning Armando A., Cimatti A., Giunchiglia E., Pecchiari P., Spalazzi L., Traverso P. January
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9701-04.ps.gz, 19970115 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Provably Correct Embedded Verifier for the Certification of Safety Critical Software Cimatti A, Giunchiglia F., Pecchiari P., Pietra B.,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9308-01.ps.gz, 19970115 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Towards a Theory of Embedded Planning Traverso P., Spalazzi L. August 1993 Technical Report # 9308-01 c Istituto Trentino di Cultura, 1997
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9607-12.ps.gz, 19970217 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Local Models Semantics for Propositional Attitudes Giunchiglia F., Ghidini C. September 1996 Technical Report # 9607-12 c Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9702-04.ps.gz, 19970219 Jeffrey D. Ullman. Information Integration Using Logical Views. In Proc. of the 6th International Conference on Database Theory (ICDT'97), 1997. 5 Related work LMS s based on semantics of contexts and multiagent systems proposed in . This paper describes a
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9702-05.ps.gz, 19970219 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Model Based Decision Procedure for Common Sense Temporal Reasoning Cimatti A., Giunchiglia E., Giunchiglia F., Traverso P. February 1997
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9702-09.ps.gz, 19970409 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Model Checking Safety Critical Software with SPIN: an Application to a Railway Interlocking System Cimatti A., Giunchiglia F., Mongardi G.,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9704-01.ps.gz, 19970421 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Formalizing and Reasoning about Constraints in Federated Databases Luciano Serafini and Chiara Ghidini April 1997 Technical Report # 9704-01
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9704-02.ps.gz, 19970505 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Foundation for Metareasoning, Part I: The proof theory Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini April 1997 Technical
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9705-02.ps.gz, 19970516 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Planning via Model Checking: A Decision Procedure for AR Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso May 1997
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9706-04.ps.gz, 19970612 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Multi Context Approach to Belief Report Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini June 1997 Technical Report # 9706-04 c Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9706-07.ps.gz, 19970708 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Logic Level Specification of the NQTHM Simplification Process Alessandro Coglio, Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott July
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9705-19.ps.gz, 19970716 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Introduction to Contextual Reasoning: an Artificial Intelligence Perspective Fausto Giunchiglia and Paolo Bouquet May 1997 Technical Report
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9707-15.ps.gz, 19970801 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Formal Validation and Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO A. Cimatti,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9707-01.ps.gz, 19970801 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it the problem of context from the standpoint of artificial intelligence Paolo Bouquet May 1997 Technical Report # 9707-01 c Istituto Trentino
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9211-20.ps.gz, 19970825 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Contextual Reasoning Fausto Giunchiglia November 1992 Technical Report # 9211-20 c Istituto Trentino di Cultura, 1997 limited distribution
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9708-07.ps.gz, 19970826 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Model Checking Multiagent Systems M. Benerecetti, F. Giunchiglia and L. Serafini August 1997 Technical Report # 9708-07 c Istituto Trentino
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9709-01.ps.gz, 19970912 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Context Based Semantics for Informa- tion Integration Luciano Serafini and Chiara Ghidini September 1997 Technical Report # 9709-01 c
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/96-0138.ps.gz, 19970922 Ideal and Real Belief about Belief Giunchiglia E. and Giunchiglia F. January 1997 Technical Report MRG/DIST # 96-0138 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Ideal and real belief about belief Enrico Giunchiglia DIST - University of Genova, Genova,
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9709-02.ps.gz, 19970925 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Foundation of Federated Databases, I: A Model Theoretic Perspective Chiara Ghidini and Luciano Serafini September 1997 Technical Report #
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9710-13.ps.gz, 19971009 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it A Foundation for Metareasoning. Part II: The model theory G. Criscuolo, F. Giunchiglia, L. Serafini October 1997 Technical Report # 9710-13
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9710-14.ps.gz, 19971009 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Certification of Translators via Off- line and On-line Proof Logging and Checking P. Bertoli, A. Cimatti, F. Giunchiglia, P. Traverso
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9701-07.ps.gz, 19971014 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Local Models Semantics, or Contextual Reasoning = Locality + Compatibility Fausto Giunchiglia and Chiara Ghidini January 1997 Technical
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/97-0049.ps.gz, 19971027 From Integrated Reasoning Specialists to Plug-and-Play" Reasoning Components Alessandro Armando and Silvio Ranise October 1997 Technical Report MRG/DIST # 97-0049 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica From Integrated Reasoning Specialists to
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9710-15.ps.gz, 19971027 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it New upper bounds for satisfiability in modal logics { the case-study of modal K Roberto Sebastiani and David McAllester October 1997
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/97-0050.ps.gz, 19971031 Representing Action: Indeterminacy and Ramifications Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz October 1997 Technical Report MRG/DIST # 97-0050 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Representing Action: Indeterminacy and
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9711-14.ps.gz, 19971124 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it From Tableau-based to SAT-based pro- cedures { preliminary report Roberto Sebastiani and Fausto Giunchiglia November 1997 Technical Report #
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/97-0051.ps.gz, 19971126 Theories of Abstraction Fausto Giunchiglia, Adolfo Villafiorita, and Toby Walsh November 1997 Technical Report MRG/DIST # 97-0051 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Theories of Abstraction Fausto Giunchiglia1;2 Adolfo Villafiorita1 Toby Walsh3
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9801-05.ps.gz, 19980120 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Un algoritmo distribuito per l'interrogazione di basi di dati federate Camilla Casotto January 1998 Technical Report # 9801-05 c Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/96-0035.ps.gz, 19980120 Automating the synthesis of decision procedures in a constructive metatheory A. Armando, J. Gallagher, A. Smaill, and A. Bundy April 1996 Technical Report MRG/DIST # 96-0035 universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Preprint (1998) { 1 Automating the
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9801-06.ps.gz, 19980120 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it NuSMV: a reimplementation of SMV A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri January 1998 Technical Report # 9801-06 c Istituto
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9801-07.ps.gz, 19980127 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Strong Planning in Non-Deterministic Domains via Model Checking A. Cimatti, M. Roveri, P. Traverso January 1998 Technical Report # 9801-07 c
	ftp://ftp.mrg.dist.unige.it/pub/mrg-ftp/9802-01.ps.gz, 19980302 istituto per la ricerca scientifica e tecnologica 38050 Povo (Trento), Italy Tel.: + 39 461 314575 Fax: + 39 461 314591 e-mail: prdoc@itc.it url: http://www.itc.it Verification of a Safety-Critical Railway Interlocking System with Real-time Constraints Vicky Hartonas-Garmhausen, Edmund Clarke, Sergio