Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fausto Giunchiglia
2010 – today
- 2013
[j53]Fausto Giunchiglia, David Robertson: Introduction to the special section on internet-scale human problem solving. TiiS 3(1): 1 (2013)- [c123]Pil Ho Kim, Fausto Giunchiglia: The open platform for personal lifelogging: the eLifeLog architecture. CHI Extended Abstracts 2013: 1677-1682
- [c122]Fausto Giunchiglia, Alethia Hume: A Distributed Entity Directory. ESWC (Satellite Events) 2013: 291-292
- [c121]Ronald Chenu-Abente, Ilya Zaihrayeu, Fausto Giunchiglia: A Semantic-Enabled Engine for Mobile Social Networks. ESWC (Satellite Events) 2013: 298-299
- [c120]Javier Paniagua, Ivan Tankoyeu, Julian Stöttinger, Fausto Giunchiglia: Social events and social ties. ICMR 2013: 143-150
- [c119]
- 2012
- [j52]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)
- [j51]Fausto Giunchiglia, Vincenzo Maltese, Aliaksandr Autayeu: Computing minimal mappings between lightweight ontologies. Int. J. on Digital Libraries 12(4): 179-193 (2012)
- [j50]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)
- [j49]Fausto Giunchiglia, Aliaksandr Autayeu, Juan Pane: S-Match: An open source framework for matching lightweight ontologies. Semantic Web 3(3): 307-317 (2012)
- [j48]Fausto Giunchiglia, Vincenzo Maltese, Biswanath Dutta: Domains and context: First steps towards managing diversity in knowledge. J. Web Sem. 12: 53-63 (2012)
- [c118]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
- [c117]Julian Stöttinger, Jasper R. R. Uijlings, Anand K. Pandey, Nicu Sebe, Fausto Giunchiglia: (Unseen) event recognition via semantic compositionality. CVPR 2012: 3061-3068
- [c116]Javier Paniagua, Ivan Tankoyeu, Julian Stöttinger, Fausto Giunchiglia: Indexing media by personal events. ICMR 2012: 41
- [c115]Ivan Tankoyeu, Julian Stöttinger, Javier Paniagua, Fausto Giunchiglia: Personal photo indexing. ACM Multimedia 2012: 1341-1342
- [c114]Pil Ho Kim, Fausto Giunchiglia: Life logging practice for human behavior modeling. SMC 2012: 2873-2878
- [c113]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
- [e15]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
- [e14]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
- 2011
- [j47]Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume: Semantic flooding - Semantic search across distributed lightweight ontologies. World Wide Web 14(5-6): 651-669 (2011)
- [c112]Feroz Farazi, Vincenzo Maltese, Fausto Giunchiglia, Alexander Ivanyukovich: A Faceted Ontology for a Semantic Geo-Catalogue. ESWC (2) 2011: 169-182
- [c111]Biswanath Dutta, Fausto Giunchiglia, Vincenzo Maltese: A Facet-Based Methodology for Geo-Spatial Modeling. GeoS 2011: 133-150
- [c110]Fausto Giunchiglia, Bruno Crispo, Rui Zhang: Access Control via Lightweight Ontologies. ICSC 2011: 352-355
- [e13]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
- 2010
- [j46]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)
- [c109]Aliaksandr Autayeu, Fausto Giunchiglia, Pierre Andrews: Lightweight Parsing of Classifications into Lightweight Ontologies. ECDL 2010: 327-339
- [c108]Fausto Giunchiglia, Vincenzo Maltese, Feroz Farazi, Biswanath Dutta: GeoWordNet: A Resource for Geo-spatial Applications. ESWC (1) 2010: 121-136
- [c107]Fausto Giunchiglia, Hao Xu, Aliaksandr Birukou, Ronald Chenu: Scientific knowledge object patterns. EuroPLoP 2010: 15
- [c106]Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume, Piyatat Chatvorawit: Semantic flooding: Search over semantic links. ICDE Workshops 2010: 191-196
- [c105]Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang: Reasoning about Relation Based Access Control. NSS 2010: 231-238
- [c104]Vincenzo Maltese, Fausto Giunchiglia, Aliaksandr Autayeu: Save Up to 99% of Your Time in Mapping Validation. OTM Conferences (2) 2010: 1044-1060
- [e12]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
2000 – 2009
- 2009
- [j45]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)
- [j44]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)
- [c103]Fausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese: Faceted Lightweight Ontologies. Conceptual Modeling: Foundations and Applications 2009: 36-51
- [c102]Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo: Using Description Logics in Relation Based Access Control. Description Logics 2009
- [c101]
- [c100]
- [p3]Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca: Introduction. Semantic Web Information Management 2009: 1-7
- [p2]Fausto Giunchiglia, Feroz Farazi, Letizia Tanca, Roberto De Virgilio: The Semantic Web Languages. Semantic Web Information Management 2009: 25-38
- [p1]Pavel Shvaiko, Fausto Giunchiglia, Mikalai Yatskevich: Semantic Matching with S-Match. Semantic Web Information Management 2009: 183-202
- [e11]Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (Eds.): Semantic Web Information Management - A Model-Based Perspective. Springer 2009, ISBN 978-3-642-04328-4
- [e10]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
- [r2]Fausto Giunchiglia, Ilya Zaihrayeu: Lightweight Ontologies. Encyclopedia of Database Systems 2009: 1613-1619
- [r1]Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Matching. Encyclopedia of Database Systems 2009: 2561-2566
- 2008
- [j43]Alexander Ivanyukovich, Maurizio Marchese, Fausto Giunchiglia: ScienceTreks: an autonomous digital library system. Online Information Review 32(4): 488-499 (2008)
- [c99]Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana: Approximate structure preserving semantic matching. ECAI 2008: 743-744
- [c98]Fausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search: Semantics Enabled Syntactic Search. SemSearch 2008: 109-123
- [c97]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
- [c96]Fausto Giunchiglia, Ling Feng, Malú Castellanos: ODBASE 2008 PC Co-chairs' Message. OTM Conferences (2) 2008: 1151
- [c95]Fausto Giunchiglia, Fiona McNeill, Mikalai Yatskevich, Juan Pane, Paolo Besana, Pavel Shvaiko: Approximate Structure-Preserving Semantic Matching. OTM Conferences (2) 2008: 1217-1234
- [e9]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
- [e8]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
- 2007
- [j42]Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. J. Data Semantics 8: 57-81 (2007)
- [j41]Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko: Semantic Matching: Algorithms and Implementation. J. Data Semantics 9: 1-38 (2007)
- [c94]Fausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich: Formalizing the Get-Specific Document Classification Algorithm. ECDL 2007: 26-37
- [c93]Alexander Borgida, Fausto Giunchiglia: Importing from Functional Knowledge Bases - A Preview. WoMO 2007
- [c92]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
- [c91]Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill: Structure Preserving Semantic Matching. OM 2007
- [c90]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
- [c89]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
- 2006
- [c88]Yuting Zhao, Luciano Serafini, Fausto Giunchiglia: Autonomous Ontology: Operations and Semantics. ASWC 2006: 646-652
- [c87]
- [c86]Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Discovering Missing Background Knowledge in Ontology Matching. ECAI 2006: 382-386
- [c85]Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. ESWC 2006: 80-94
- [c84]
- [e7]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
- 2005
- [j40]Thomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)
- [c83]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
- [c82]Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an algorithm and an implementation of semantic matching. Semantic Interoperability and Integration 2005
- [c81]Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289
- [c80]Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness: Web Explanations for Semantic Heterogeneity Discovery. ESWC 2005: 303-317
- [c79]
- [c78]Fausto Giunchiglia: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. FroCoS 2005: 284-284
- [c77]Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Schema Matching. OTM Conferences (1) 2005: 347-365
- [c76]Maurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia: Towards a Distributed Architecture for Value Added Services to Digital Libraries. P2PKM 2005
- [c75]Paolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich: A Large Scale Taxonomy Mapping Evaluation. International Semantic Web Conference 2005: 67-81
- 2004
- [j39]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)
- [j38]Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: Contextualizing ontologies. J. Web Sem. 1(4): 325-343 (2004)
- [c74]Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva: Towards Explaining Semantic Matching. Description Logics 2004
- [c73]
- [c72]Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an Algorithm and an Implementation of Semantic Matching. ESWS 2004: 61-75
- [c71]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
- [c70]
- 2003
- [j37]
- [c69]Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: Implicit Culture-Based Personal Agents for Knowledge Management. AMKM 2003: 245-261
- [c68]Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein: Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299
- [c67]Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: C-OWL: Contextualizing Ontologies. International Semantic Web Conference 2003: 164-179
- [c66]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
- [e6]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
- [e5]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
- 2002
- [j36]Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)
- [j35]Luciano Serafini, Fausto Giunchiglia: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11(4): 471-518 (2002)
- [j34]Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12(1): 167-208 (2002)
- [j33]Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. 12(3): 345-370 (2002)
- [c65]Fausto Giunchiglia, John Mylopoulos, Anna Perini: The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002: 162-173
- [c64]Fausto Giunchiglia, John Mylopoulos, Anna Perini: The tropos software development methodology: processes, models and diagrams. AAMAS 2002: 35-36
- [c63]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
- [c62]Fausto Giunchiglia, Ilya Zaihrayeu: Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. CIA 2002: 18-35
- [c61]Anna Perini, Angelo Susi, Fausto Giunchiglia: Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. SEKE 2002: 51-54
- [c60]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
- [c59]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
- [e4]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
- 2001
- [j32]Chiara Ghidini, Fausto Giunchiglia: Local Models Semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2): 221-259 (2001)
- [j31]Thomas Ellman, Fausto Giunchiglia: Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130(2): 231-232 (2001)
- [j30]Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories. J. Autom. Reasoning 26(3): 291-331 (2001)
- [j29]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)
- [j28]Enrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001)
- [c58]Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: A knowledge level software engineering methodology for agent oriented programming. Agents 2001: 648-655
- [c57]Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001: 151-168
- [c56]Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò: Knowledge Level Software Engineering. ATAL 2001: 6-20
- [c55]Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani: Agent- Oriented Software Development: A Case Study. SEKE 2001: 283-290
- [c54]Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia: Model Checking Syllabi and Student Carreers. TACAS 2001: 128-142
- [c53]Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Towards an Agent Oriented Approach to Software Engineering. WOA 2001: 74-79
- [e3]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
- 2000
- [j27]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)
- [j26]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)
- [j25]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)
- [j24]Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
- [j23]Fausto Giunchiglia, Paolo Traverso: Theorem proving in technology transfer: the user's point of view. STTT 3(1): 1-12 (2000)
- [c52]Massimo Benerecetti, Fausto Giunchiglia: Model Checking-Based Analysis of Multiagent Systems. FAABS 2000: 1-15
- [c51]Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408
- [c50]Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCoS 2000: 200-216
- [c49]Massimo Benerecetti, Fausto Giunchiglia: Model Checking Security Protocols Using a Logic of Belief. TACAS 2000: 519-534
- [e2]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
1990 – 1999
- 1999
- [j22]Fausto Giunchiglia, Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999)
- [j21]Fausto Giunchiglia: Using Abstrips Abstractions - Where do We Stand? Artif. Intell. Rev. 13(3): 201-213 (1999)
- [j20]Fausto Giunchiglia: The OMRS project: State of the art. Electr. Notes Theor. Comput. Sci. 23(3): 321 (1999)
- [j19]Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): 322-339 (1999)
- [j18]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)
- [c48]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
- [c47]Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
- [c46]Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
- [c45]Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: *SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999
- [c44]
- 1998
- [j17]Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch: A Many-Sorted Natural Deduction. Computational Intelligence 14(1): 134-149 (1998)
- [j16]Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: 127-146 (1998)
- [j15]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)
- [j14]Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia: Editorial. J. Log. Comput. 8(3): 231-232 (1998)
- [j13]Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: Model Checking Multiagent Systems. J. Log. Comput. 8(3): 401-423 (1998)
- [c43]Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
- [c42]Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: A Model Checking Algorithm for Multiagent Systems. ATAL 1998: 163-176
- [c41]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
- [c40]Fausto Giunchiglia, Chiara Ghidini: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. KR 1998: 282-291
- [c39]Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635
- [c38]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
- [c37]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
- [e1]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
- 1997
- [j12]Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)
- [j11]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)
- [c36]Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
- [c35]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
- [c34]Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142
- 1996
- [j10]Fausto Giunchiglia, Paolo Traverso: A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996)
- [j9]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)
- [j8]Fausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996)
- [j7]Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet: Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996)
- [c33]Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529
- [c32]Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335
- [c31]Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130
- [c30]Fausto Giunchiglia, Adolfo Villafiorita: ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140
- [c29]Fausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996: 583-597
- [c28]Fausto Giunchiglia, Roberto Sebastiani: An SAT-based Decision Procedure for ALC. Description Logics 1996: 49-59
- [c27]Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123
- [c26]
- [c25]Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174
- [c24]
- [c23]Fausto Giunchiglia, Enrico Giunchiglia: Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12
- 1995
- [j6]Fausto Giunchiglia: An Epistemological Science of Common Sense. Artif. Intell. 77(2): 371-392 (1995)
- [j5]Paolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundam. Inform. 23(2/3/4): 247-262 (1995)
- [c22]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425
- [c21]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
- [c20]Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448
- [c19]Paolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. WOCFAI 1995: 39-50
- 1994
- [j4]Fausto Giunchiglia, Luciano Serafini: Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artif. Intell. 65(1): 29-70 (1994)
- [c18]
- [c17]
- [c16]
- 1993
- [j3]Fausto Giunchiglia, Toby Walsh: The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reasoning 11(1): 23-41 (1993)
- [c15]Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione: Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554
- 1992
- [j2]
- [j1]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)
- [c14]Fausto Giunchiglia, Luciano Serafini: Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS 1992: 44-45
- [c13]
- [c12]Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson: Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992: 235-249
- 1991
- [c11]David A. Basin, Fausto Giunchiglia, Paolo Traverso: Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57
- [c10]Fausto Giunchiglia, Paolo Traverso: Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117
- [c9]Fausto Giunchiglia, Luciano Serafini: Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991: 228-240
1980 – 1989
- 1989
- [c8]
- 1988
- [c7]Fausto Giunchiglia, Enrico Giunchiglia: Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI 1988: 607-609
- [c6]Fausto Giunchiglia, Alan Smaill: Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140
- 1987
- [c5]Fausto Giunchiglia: Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines. COMPCON 1987: 124-129
- 1984
- [c4]Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino: Space Representation and Object Positioning in Natural Language Driven Image Generation. AIMSA 1984: 207-214
- [c3]Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Natural Language driven Image Generation. COLING 1984: 495-500
- [c2]Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148
- 1983
- [c1]Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI 1983: 72-74
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team