Fausto Giunchiglia

Fausto Giunchiglia, David Robertson: Introduction to the special section on internet-scale human problem solving. TiiS 3(1): 1 (2013)

Pil Ho Kim, Fausto Giunchiglia: The open platform for personal lifelogging: the eLifeLog architecture. CHI Extended Abstracts 2013: 1677-1682

Javier Paniagua, Ivan Tankoyeu, Julian Stöttinger, Fausto Giunchiglia: Social events and social ties. ICMR 2013: 143-150

Roberto De Virgilio, Fausto Giunchiglia, Francesco Guerra, Letizia Tanca, Yannis Velegrakis: Introduction to the Special Issue on Semantic Web Data Management. Inf. Syst. 37(4): 291-293 (2012)

Fausto Giunchiglia, Vincenzo Maltese, Aliaksandr Autayeu: Computing minimal mappings between lightweight ontologies. Int. J. on Digital Libraries 12(4): 179-193 (2012)

Fausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese, Feroz Farazi: A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology. J. Data Semantics 1(1): 57-73 (2012)

Fausto Giunchiglia, Aliaksandr Autayeu, Juan Pane: S-Match: An open source framework for matching lightweight ontologies. Semantic Web 3(3): 307-317 (2012)

Fausto Giunchiglia, Vincenzo Maltese, Biswanath Dutta: Domains and context: First steps towards managing diversity in knowledge. J. Web Sem. 12: 53-63 (2012)

Ronald Chenu-Abente, María Menéndez, Fausto Giunchiglia, Antonella De Angeli: An entity-based platform for the integration of social and scientific services. CollaborateCom 2012: 165-174

Julian Stöttinger, Jasper R. R. Uijlings, Anand K. Pandey, Nicu Sebe, Fausto Giunchiglia: (Unseen) event recognition via semantic compositionality. CVPR 2012: 3061-3068

Javier Paniagua, Ivan Tankoyeu, Julian Stöttinger, Fausto Giunchiglia: Indexing media by personal events. ICMR 2012: 41

Ivan Tankoyeu, Julian Stöttinger, Javier Paniagua, Fausto Giunchiglia: Personal photo indexing. ACM Multimedia 2012: 1341-1342

Pil Ho Kim, Fausto Giunchiglia: Life logging practice for human behavior modeling. SMC 2012: 2873-2878

Piero Fraternali, Marco Tagliasacchi, Davide Martinenghi, Alessandro Bozzon, Ilio Catallo, Eleonora Ciceri, Francesco Saverio Nucci, Vincenzo Croce, Ismail Sengör Altingövde, Wolf Siberski, Fausto Giunchiglia, Wolfgang Nejdl, Martha Larson, Ebroul Izquierdo, Petros Daras, Otto Chrons, Ralph Traphöner, Björn Decker, John Lomas, Patrick Aichroth, Jasminko Novak, Ghislain Sillaume, Fernando Sánchez-Figueroa, Carolina Salas-Parra: The CUBRIK project: human-enhanced time-aware multimedia search. WWW (Companion Volume) 2012: 259-262

Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (Eds.): Proceedings of the 4th International Workshop on Semantic Web Information Management, SWIM 2012, Scottsdale, AZ, USA, May 20, 2012. ACM 2012, isbn 978-1-4503-1446-6

Ricardo A. Baeza-Yates, Stefano Ceri, Piero Fraternali, Fausto Giunchiglia (Eds.): Proceedings of the First International Workshop on Crowdsourcing Web Search, Lyon, France, April 17, 2012. CEUR Workshop Proceedings 842, CEUR-WS.org 2012

Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume: Semantic flooding - Semantic search across distributed lightweight ontologies. World Wide Web 14(5-6): 651-669 (2011)

Feroz Farazi, Vincenzo Maltese, Fausto Giunchiglia, Alexander Ivanyukovich: A Faceted Ontology for a Semantic Geo-Catalogue. ESWC (2) 2011: 169-182

Biswanath Dutta, Fausto Giunchiglia, Vincenzo Maltese: A Facet-Based Methodology for Geo-Spatial Modeling. GeoS 2011: 133-150

Fausto Giunchiglia, Bruno Crispo, Rui Zhang: Access Control via Lightweight Ontologies. ICSC 2011: 352-355

Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (Eds.): Proceedings of the International Workshop on Semantic Web Information Management, SWIM 2011, Athens, Greece, June 12, 2011. ACM 2011, isbn 978-1-4503-0651-5

Rui Zhang, Fausto Giunchiglia, Bruno Crispo, Lingyang Song: Relation-Based Access Control: An Access Control Model for Context-Aware Computing Environment. Wireless Personal Communications 55(1): 5-17 (2010)

Aliaksandr Autayeu, Fausto Giunchiglia, Pierre Andrews: Lightweight Parsing of Classifications into Lightweight Ontologies. ECDL 2010: 327-339

Fausto Giunchiglia, Vincenzo Maltese, Feroz Farazi, Biswanath Dutta: GeoWordNet: A Resource for Geo-spatial Applications. ESWC (1) 2010: 121-136

Fausto Giunchiglia, Hao Xu, Aliaksandr Birukou, Ronald Chenu: Scientific knowledge object patterns. EuroPLoP 2010: 15

Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume, Piyatat Chatvorawit: Semantic flooding: Search over semantic links. ICDE Workshops 2010: 191-196

Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang: Reasoning about Relation Based Access Control. NSS 2010: 231-238

Vincenzo Maltese, Fausto Giunchiglia, Aliaksandr Autayeu: Save Up to 99% of Your Time in Mapping Validation. OTM Conferences (2) 2010: 1044-1060

Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Ming Mao, Isabel F. Cruz (Eds.): Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), Shanghai, China, November 7, 2010. CEUR Workshop Proceedings 689, CEUR-WS.org 2010

Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (Eds.): Semantic Web Information Management - A Model-Based Perspective. Springer 2009, isbn 978-3-642-04328-4

Fiona McNeill, Paolo Besana, Juan Pane, Fausto Giunchiglia: Service Integration through Structure-Preserving Semantic Matching. J. Cases on Inf. Techn. 11(4): 26-46 (2009)

Fausto Giunchiglia, Mikalai Yatskevich, Paolo Avesani, Pavel Shvaiko: A large dataset for the evaluation of ontology matching. Knowledge Eng. Review 24(2): 137-157 (2009)

Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca: Introduction. Semantic Web Information Management 2009: 1-7

Fausto Giunchiglia, Feroz Farazi, Letizia Tanca, Roberto De Virgilio: The Semantic Web Languages. Semantic Web Information Management 2009: 25-38

Pavel Shvaiko, Fausto Giunchiglia, Mikalai Yatskevich: Semantic Matching with S-Match. Semantic Web Information Management 2009: 183-202

Fausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese: Faceted Lightweight Ontologies. Conceptual Modeling: Foundations and Applications 2009: 36-51

Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo: Using Description Logics in Relation Based Access Control. Description Logics 2009

Fausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search. ESWC 2009: 429-444

Fausto Giunchiglia, Vincenzo Maltese, Aliaksandr Autayeu: Computing Minimal Mappings. OM 2009

Fausto Giunchiglia, Ilya Zaihrayeu: Lightweight Ontologies. Encyclopedia of Database Systems 2009: 1613-1619

Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Matching. Encyclopedia of Database Systems 2009: 2561-2566

Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Natalya Fridman Noy, Arnon Rosenthal (Eds.): Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, USA, October 25, 2009. CEUR Workshop Proceedings 551, CEUR-WS.org 2009

Alexander Ivanyukovich, Maurizio Marchese, Fausto Giunchiglia: ScienceTreks: an autonomous digital library system. Online Information Review 32(4): 488-499 (2008)

Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana: Approximate structure preserving semantic matching. ECAI 2008: 743-744

Fausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search: Semantics Enabled Syntactic Search. SemSearch 2008: 109-123

Davide Cerri, Emanuele Della Valle, David de Francisco Marcos, Fausto Giunchiglia, Dalit Naor, Lyndon J. B. Nixon, Kia Teymourian, Philipp Obermeier, Dietrich Rebholz-Schuhmann, Reto Krummenacher, Elena Paslaru Bontas Simperl: Towards Knowledge in the Cloud. OTM Workshops 2008: 986-995

Fausto Giunchiglia, Ling Feng, Malú Castellanos: ODBASE 2008 PC Co-chairs' Message. OTM Conferences (2) 2008: 1151

Fausto Giunchiglia, Fiona McNeill, Mikalai Yatskevich, Juan Pane, Paolo Besana, Pavel Shvaiko: Approximate Structure-Preserving Semantic Matching. OTM Conferences (2) 2008: 1217-1234

Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Bin He (Eds.): Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), Busan, Korea, November 11, 2007. CEUR Workshop Proceedings 304, CEUR-WS.org 2008

Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt (Eds.): Proceedings of the 3rd International Workshop on Ontology Matching (OM-2008) Collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26, 2008. CEUR Workshop Proceedings 431, CEUR-WS.org 2008

Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. J. Data Semantics 8: 57-81 (2007)

Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko: Semantic Matching: Algorithms and Implementation. J. Data Semantics 9: 1-38 (2007)

Fausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich: Formalizing the Get-Specific Document Classification Algorithm. ECDL 2007: 26-37

Alexander Borgida, Fausto Giunchiglia: Importing from Functional Knowledge Bases - A Preview. WoMO 2007

David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18

Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill: Structure Preserving Semantic Matching. OM 2007

Ilya Zaihrayeu, Lei Sun, Fausto Giunchiglia, Wei Pan, Qi Ju, Mingmin Chi, Xuanjing Huang: From Web Directories to Ontologies: Natural Language Processing Challenges. ISWC/ASWC 2007: 623-636

Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia: Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. ISWC/ASWC 2007: 666-679

Yuting Zhao, Luciano Serafini, Fausto Giunchiglia: Autonomous Ontology: Operations and Semantics. ASWC 2006: 646-652

Fausto Giunchiglia: Managing Diversity in Knowledge. ECAI 2006: 4

Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Discovering Missing Background Knowledge in Ontology Matching. ECAI 2006: 382-386

Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. ESWC 2006: 80-94

Fausto Giunchiglia: Managing Diversity in Knowledge. IEA/AIE 2006: 1

Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia (Eds.): The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings. Lecture Notes in Computer Science 4185, Springer 2006, isbn 3-540-38329-8

Thomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58

Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an algorithm and an implementation of semantic matching. Semantic Interoperability and Integration 2005

Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289

Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness: Web Explanations for Semantic Heterogeneity Discovery. ESWC 2005: 303-317

Fausto Giunchiglia: SWebB: Semantic Web Browsing. ESWC 2005: 725-725

Fausto Giunchiglia: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. FroCoS 2005: 284-284

Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Schema Matching. OTM Conferences (1) 2005: 347-365

Maurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia: Towards a Distributed Architecture for Value Added Services to Digital Libraries. P2PKM 2005

Paolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich: A Large Scale Taxonomy Mapping Evaluation. International Semantic Web Conference 2005: 67-81

Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3): 203-236 (2004)

Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: Contextualizing ontologies. J. Web Sem. 1(4): 325-343 (2004)

Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva: Towards Explaining Semantic Matching. Description Logics 2004

Chiara Ghidini, Fausto Giunchiglia: A Semantics for Abstraction. ECAI 2004: 343-347

Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an Algorithm and an Implementation of Semantic Matching. ESWS 2004: 61-75

Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini: Using C-OWL for the alignment and merging of medical ontologies. KR-MED 2004: 88-101

Fausto Giunchiglia, Ilya Zaihrayeu: Coordinating Mobile Databases. P2PKM 2004

Fausto Giunchiglia, Pavel Shvaiko: Semantic matching. Knowledge Eng. Review 18(3): 265-280 (2003)

Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: Implicit Culture-Based Personal Agents for Knowledge Management. AMKM 2003: 245-261

Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein: Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299

Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: C-OWL: Contextualizing Ontologies. International Semantic Web Conference 2003: 164-179

Enrico Blanzieri, Paolo Giorgini, Claudio Zanoni, Fausto Giunchiglia: A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. Wissensmanagement 2003: 287-294

Fausto Giunchiglia, James Odell, Gerhard Weiß (Eds.): Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2585, Springer 2003, isbn 3-540-00713-X

Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia (Eds.): Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings. Lecture Notes in Computer Science 2680, Springer 2003, isbn 3-540-40380-9

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)

Luciano Serafini, Fausto Giunchiglia: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11(4): 471-518 (2002)

Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12(1): 167-208 (2002)

Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. 12(3): 345-370 (2002)

Fausto Giunchiglia, John Mylopoulos, Anna Perini: The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002: 162-173

Fausto Giunchiglia, John Mylopoulos, Anna Perini: The tropos software development methodology: processes, models and diagrams. AAMAS 2002: 35-36

Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002: 359-364

Fausto Giunchiglia, Ilya Zaihrayeu: Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. CIA 2002: 18-35

Anna Perini, Angelo Susi, Fausto Giunchiglia: Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. SEKE 2002: 51-54

Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu: Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002: 89-94

Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. WOA 2002: 56-63

Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams (Eds.): Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann 2002, isbn 1-55860-554-1

Chiara Ghidini, Fausto Giunchiglia: Local Models Semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2): 221-259 (2001)

Thomas Ellman, Fausto Giunchiglia: Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130(2): 231-232 (2001)

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories. J. Autom. Reasoning 26(3): 291-331 (2001)

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)

Enrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001)

Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: A knowledge level software engineering methodology for agent oriented programming. Agents 2001: 648-655

Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001: 151-168

Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò: Knowledge Level Software Engineering. ATAL 2001: 6-20

Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani: Agent- Oriented Software Development: A Case Study. SEKE 2001: 283-290

Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia: Model Checking Syllabi and Student Carreers. TACAS 2001: 128-142

Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Towards an Agent Oriented Approach to Software Engineering. WOA 2001: 74-79

Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella (Eds.): Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings. Lecture Notes in Computer Science 2172, Springer 2001, isbn 3-540-42524-1

Fausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Inf. Comput. 162(1-2): 158-178 (2000)

Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics 10(2): 145-172 (2000)

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36(1): 53-64 (2000)

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)

Fausto Giunchiglia, Paolo Traverso: Theorem proving in technology transfer: the user's point of view. STTT 3(1): 1-12 (2000)

Massimo Benerecetti, Fausto Giunchiglia: Model Checking-Based Analysis of Multiagent Systems. FAABS 2000: 1-15

Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408

Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216

Massimo Benerecetti, Fausto Giunchiglia: Model Checking Security Protocols Using a Logic of Belief. TACAS 2000: 519-534

Anthony G. Cohn, Fausto Giunchiglia, Bart Selman (Eds.): KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Morgan Kaufmann 2000

Fausto Giunchiglia, Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999)

Fausto Giunchiglia: Using Abstrips Abstractions - Where do We Stand? Artif. Intell. Rev. 13(3): 201-213 (1999)

Fausto Giunchiglia: The OMRS project: State of the art. Electr. Notes Theor. Comput. Sci. 23(3): 321 (1999)

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): 322-339 (1999)

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Inform. 39(1-2): 39-57 (1999)

Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106

Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499

Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: *SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999

Fausto Giunchiglia, Paolo Traverso: Planning as Model Checking. ECP 1999: 1-20

Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch: A Many-Sorted Natural Deduction. Computational Intelligence 14(1): 134-149 (1998)

Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: 127-146 (1998)

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998)

Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia: Editorial. J. Log. Comput. 8(3): 231-232 (1998)

Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: Model Checking Multiagent Systems. J. Log. Comput. 8(3): 401-423 (1998)

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106

Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: A Model Checking Algorithm for Multiagent Systems. ATAL 1998: 163-176

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia: Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. FTCS 1998: 458-463

Fausto Giunchiglia, Chiara Ghidini: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. KR 1998: 282-291

Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635

Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso: A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP 1998: 284-295

Fausto Giunchiglia (Ed.): Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Lecture Notes in Computer Science 1480, Springer 1998, isbn 3-540-64993-X

Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)

Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)

Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267

Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213

Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142

Fausto Giunchiglia, Paolo Traverso: A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996)

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)

Fausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996)

Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet: Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996)

Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529

Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335

Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130

Fausto Giunchiglia, Adolfo Villafiorita: ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140

Fausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996: 583-597

Fausto Giunchiglia, Roberto Sebastiani: An SAT-based Decision Procedure for ALC. Description Logics 1996: 49-59

Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123

Enrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. FAPR 1996: 261-275

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174

Fausto Giunchiglia, Roberto Sebastiani: A SAT-based Decision Procedure for ALC. KR 1996: 304-314

Fausto Giunchiglia, Enrico Giunchiglia: Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12

Fausto Giunchiglia: An Epistemological Science of Common Sense. Artif. Intell. 77(2): 371-392 (1995)

Paolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundam. Inform. 23(2/3/4): 247-262 (1995)

Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425

Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia: Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995: 65-78

Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448

Paolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. WOCFAI 1995: 39-50

Fausto Giunchiglia, Luciano Serafini: Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artif. Intell. 65(1): 29-70 (1994)

Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso: Planning with Failure. AIPS 1994: 74-79

Fausto Giunchiglia, Alessandro Cimatti: Introspective Metatheoretic Reasoning. META 1994: 425-439

Fausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. LPAR 1994: 16-30

Fausto Giunchiglia, Toby Walsh: The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reasoning 11(1): 23-41 (1993)

Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione: Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554

Fausto Giunchiglia, Toby Walsh: A Theory of Abstraction. Artif. Intell. 57(2-3): 323-389 (1992)

Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco: Understanding Scene Descriptions by Integrating Different Sources of Knowledge. International Journal of Man-Machine Studies 37(1): 47-81 (1992)

Fausto Giunchiglia, Luciano Serafini: Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS 1992: 44-45

Fausto Giunchiglia, Toby Walsh: Tree Subsumption: Reasoning with Outlines. ECAI 1992: 77-81

Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson: Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992: 235-249

David A. Basin, Fausto Giunchiglia, Paolo Traverso: Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57

Fausto Giunchiglia, Paolo Traverso: Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117

Fausto Giunchiglia, Luciano Serafini: Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991: 228-240

Fausto Giunchiglia, Toby Walsh: Abstract Theorem Proving. IJCAI 1989: 372-377

Fausto Giunchiglia, Enrico Giunchiglia: Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI 1988: 607-609

Fausto Giunchiglia, Alan Smaill: Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140

Fausto Giunchiglia: Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines. COMPCON 1987: 124-129

Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino: Space Representation and Object Positioning in Natural Language Driven Image Generation. AIMSA 1984: 207-214

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Natural Language driven Image Generation. COLING 1984: 495-500

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148

Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI 1983: 72-74