13 found
Order:
Disambiguations
Fausto Giunchiglia [10]F. Giunchiglia [3]
  1.  27
    ML Systems: A Proof Theory for Contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
    In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Index of Authors of Volume 11.P. Blackburn, A. Bochman, T. Clausing, P. Dekker, J. Engelfriet, D. M. Gabbay, F. Giunchiglia, J. M. Goñimenoyo, G. Jäger & T. M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (519):519.
     
    Export citation  
     
    Bookmark  
  3. Proceedings of the Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'03), Lecture Notes in Artificial Intelligence, Vol. 2680.P. Blackburn, C. Ghidini, R. Turner & F. Giunchiglia (eds.) - 2003 - Springer.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Calculating Criticalities.A. Bundy, F. Giunchiglia, R. Sebastiani & T. Walsh - 1996 - Artificial Intelligence 88 (1-2):39-67.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Introduction to the Special Volume on Reformulation.Thomas Ellman & Fausto Giunchiglia - 2005 - Artificial Intelligence 162 (1-2):3-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Special Issue of the Journal Artificial Intelligence on Reformulation.Thomas Ellman & Fausto Giunchiglia - 2001 - Artificial Intelligence 130 (2):231-232.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Local Models Semantics, or Contextual Reasoning=Locality+Compatibility☆☆This Paper is a Substantially Revised and Extended Version of a Paper with the Same Title Presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The Order of the Names is Alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.
  8. An Epistemological Science of Common Sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. A Metatheory of a Mechanized Object Theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.
  10. A Theory of Abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.Fausto Giunchiglia & Luca Spalazzi - 1999 - Artificial Intelligence 111 (1-2):329-338.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Multilanguage Hierarchical Logics, Or: How We Can Do Without Modal Logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.
  13.  5
    SAT Vs. Translation Based Decision Procedures for Modal Logics: A Comparative Evaluation.Enrico Giunchiglia, Roberto Sebastiani, Fausto Giunchiglia & Armando Tacchella - 2000 - Journal of Applied Non-Classical Logics 10 (2):145-172.
    ABSTRACT This paper follows on previous papers which present and evaluate various decision procedures for modal logics. We consider new test sets and systems that have been recently proposed in the literature. This new experimental analysis confirm previous experimental results in showing that SAT based decision procedures, i.e., the procedures built on top of decision procedures for propositional satisfiability, are more efficient than tableau based decision procedures. They also confirm previous evidence of an easy-hard-easy pattern in the satisfiability curve for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark