 | 2009 |
|---|
| 157 |       | Pavel Shvaiko,
Jérôme Euzenat,
Fausto Giunchiglia,
Heiner Stuckenschmidt,
Natalya Fridman Noy,
Arnon Rosenthal:
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-WS.org 2009 |
| 156 |  | Fausto Giunchiglia,
Biswanath Dutta,
Vincenzo Maltese:
Faceted Lightweight Ontologies.
Conceptual Modeling: Foundations and Applications 2009: 36-51 |
| 155 | | Rui Zhang,
Alessandro Artale,
Fausto Giunchiglia,
Bruno Crispo:
Using Description Logics in Relation Based Access Control.
Description Logics 2009 |
| 154 | | Fausto Giunchiglia,
Uladzimir Kharkevich,
Ilya Zaihrayeu:
Concept Search.
ESWC 2009: 429-444 |
| 153 | | Fausto Giunchiglia,
Vincenzo Maltese,
Aliaksandr Autayeu:
Computing Minimal Mappings.
OM 2009 |
| 152 | | Fausto Giunchiglia,
Ilya Zaihrayeu:
Lightweight Ontologies.
Encyclopedia of Database Systems 2009: 1613-1619 |
| 151 | | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
Semantic Matching.
Encyclopedia of Database Systems 2009: 2561-2566 |
| 150 | | 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) |
| 2008 |
|---|
| 149 | | Pavel Shvaiko,
Jérôme Euzenat,
Fausto Giunchiglia,
Bin He:
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-WS.org 2008 |
| 148 | | Pavel Shvaiko,
Jérôme Euzenat,
Fausto Giunchiglia,
Heiner Stuckenschmidt:
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-WS.org 2008 |
| 147 | | Fausto Giunchiglia,
Mikalai Yatskevich,
Fiona McNeill,
Pavel Shvaiko,
Juan Pane,
Paolo Besana:
Approximate structure preserving semantic matching.
ECAI 2008: 743-744 |
| 146 | | Fausto Giunchiglia,
Ling Feng,
Malú Castellanos:
ODBASE 2008 PC Co-chairs' Message.
OTM Conferences (2) 2008: 1151 |
| 145 | | Fausto Giunchiglia,
Fiona McNeill,
Mikalai Yatskevich,
Juan Pane,
Paolo Besana,
Pavel Shvaiko:
Approximate Structure-Preserving Semantic Matching.
OTM Conferences (2) 2008: 1217-1234 |
| 144 | | 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 |
| 143 | | Fausto Giunchiglia,
Uladzimir Kharkevich,
Ilya Zaihrayeu:
Concept Search: Semantics Enabled Syntactic Search.
SemSearch 2008: 109-123 |
| 142 | | Alexander Ivanyukovich,
Maurizio Marchese,
Fausto Giunchiglia:
ScienceTreks: an autonomous digital library system.
Online Information Review 32(4): 488-499 (2008) |
| 2007 |
|---|
| 141 | | Fausto Giunchiglia,
Ilya Zaihrayeu,
Uladzimir Kharkevich:
Formalizing the Get-Specific Document Classification Algorithm.
ECDL 2007: 26-37 |
| 140 | | 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 |
| 139 | | 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 |
| 138 | | David Robertson,
Fausto Giunchiglia,
Frank van Harmelen,
Maurizio Marchese,
Marta Sabou,
W. Marco Schorlemmer,
Nigel Shadbolt,
Ronny Siebes,
Carles Sierra,
Chris Walton,
Srinandan Dasmahapatra,
David Dupplaw,
Paul H. Lewis,
Mikalai Yatskevich,
Spyros Kotoulas,
Adrian Perreau de Pinninck,
Antonis Loizou:
Open Knowledge.
LADS 2007: 1-18 |
| 137 | | Fausto Giunchiglia,
Mikalai Yatskevich,
Fiona McNeill:
Structure Preserving Semantic Matching.
OM 2007 |
| 136 | | Alexander Borgida,
Fausto Giunchiglia:
Importing from Functional Knowledge Bases - A Preview.
WoMO 2007 |
| 135 | | Fausto Giunchiglia,
Maurizio Marchese,
Ilya Zaihrayeu:
Encoding Classifications into Lightweight Ontologies.
J. Data Semantics 8: 57-81 (2007) |
| 134 | | Fausto Giunchiglia,
Mikalai Yatskevich,
Pavel Shvaiko:
Semantic Matching: Algorithms and Implementation.
J. Data Semantics 9: 1-38 (2007) |
| 2006 |
|---|
| 133 | | Riichiro Mizoguchi,
Zhongzhi Shi,
Fausto Giunchiglia:
The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
Springer 2006 |
| 132 | | Yuting Zhao,
Luciano Serafini,
Fausto Giunchiglia:
Autonomous Ontology: Operations and Semantics.
ASWC 2006: 646-652 |
| 131 | | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
Discovering Missing Background Knowledge in Ontology Matching.
ECAI 2006: 382-386 |
| 130 | | Fausto Giunchiglia:
Managing Diversity in Knowledge.
ECAI 2006: 4 |
| 129 | | Fausto Giunchiglia,
Maurizio Marchese,
Ilya Zaihrayeu:
Encoding Classifications into Lightweight Ontologies.
ESWC 2006: 80-94 |
| 128 | | Fausto Giunchiglia:
Managing Diversity in Knowledge.
IEA/AIE 2006: 1 |
| 2005 |
|---|
| 127 | | Fausto Giunchiglia,
Mikalai Yatskevich,
Enrico Giunchiglia:
Efficient Semantic Matching.
ESWC 2005: 272-289 |
| 126 | | Pavel Shvaiko,
Fausto Giunchiglia,
Paulo Pinheiro da Silva,
Deborah L. McGuinness:
Web Explanations for Semantic Heterogeneity Discovery.
ESWC 2005: 303-317 |
| 125 | | Fausto Giunchiglia:
SWebB: Semantic Web Browsing.
ESWC 2005: 725-725 |
| 124 | | Fausto Giunchiglia:
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
FroCos 2005: 284-284 |
| 123 | | Paolo Avesani,
Fausto Giunchiglia,
Mikalai Yatskevich:
A Large Scale Taxonomy Mapping Evaluation.
International Semantic Web Conference 2005: 67-81 |
| 122 | | 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 |
| 121 | | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
Semantic Schema Matching.
OTM Conferences (1) 2005: 347-365 |
| 120 | | Maurizio Marchese,
Aliaksei Yanchuk,
Fausto Giunchiglia:
Towards a Distributed Architecture for Value Added Services to Digital Libraries.
P2PKM 2005 |
| 119 | | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
S-Match: an algorithm and an implementation of semantic matching.
Semantic Interoperability and Integration 2005 |
| 118 | | Thomas Ellman,
Fausto Giunchiglia:
Introduction to the Special Volume on Reformulation.
Artif. Intell. 162(1-2): 3-5 (2005) |
| 2004 |
|---|
| 117 | | Deborah L. McGuinness,
Pavel Shvaiko,
Fausto Giunchiglia,
Paulo Pinheiro da Silva:
Towards Explaining Semantic Matching.
Description Logics 2004 |
| 116 | | Chiara Ghidini,
Fausto Giunchiglia:
A Semantics for Abstraction.
ECAI 2004: 343-347 |
| 115 | | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
S-Match: an Algorithm and an Implementation of Semantic Matching.
ESWS 2004: 61-75 |
| 114 | | 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 |
| 113 | | Fausto Giunchiglia,
Ilya Zaihrayeu:
Coordinating Mobile Databases.
P2PKM 2004 |
| 112 | | 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) |
| 111 | | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
Contextualizing ontologies.
J. Web Sem. 1(4): 325-343 (2004) |
| 2003 |
|---|
| 110 | | Fausto Giunchiglia,
James Odell,
Gerhard Weiß:
Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
Springer 2003 |
| 109 | | Patrick Blackburn,
Chiara Ghidini,
Roy M. Turner,
Fausto Giunchiglia:
Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
Springer 2003 |
| 108 | | Enrico Blanzieri,
Paolo Giorgini,
Fausto Giunchiglia,
Claudio Zanoni:
Implicit Culture-Based Personal Agents for Knowledge Management.
AMKM 2003: 245-261 |
| 107 | | Luciano Serafini,
Fausto Giunchiglia,
John Mylopoulos,
Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination.
CONTEXT 2003: 286-299 |
| 106 | | Paolo Bouquet,
Fausto Giunchiglia,
Frank van Harmelen,
Luciano Serafini,
Heiner Stuckenschmidt:
C-OWL: Contextualizing Ontologies.
International Semantic Web Conference 2003: 164-179 |
| 105 | | 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 |
| 2002 |
|---|
| 104 | | Dieter Fensel,
Fausto Giunchiglia,
Deborah L. McGuinness,
Mary-Anne Williams:
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002
Morgan Kaufmann 2002 |
| 103 | | Fausto Giunchiglia,
John Mylopoulos,
Anna Perini:
The tropos software development methodology: processes, models and diagrams.
AAMAS 2002: 35-36 |
| 102 | | Fausto Giunchiglia,
John Mylopoulos,
Anna Perini:
The Tropos Software Development Methodology: Processes, Models and Diagrams.
AOSE 2002: 162-173 |
| 101 | | 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 |
| 100 | | Fausto Giunchiglia,
Ilya Zaihrayeu:
Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination.
CIA 2002: 18-35 |
| 99 | | Anna Perini,
Angelo Susi,
Fausto Giunchiglia:
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology.
SEKE 2002: 51-54 |
| 98 | | 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 |
| 97 | | 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 |
| 96 | | Enrico Giunchiglia,
Armando Tacchella,
Fausto Giunchiglia:
SAT-Based Decision Procedures for Classical Modal Logics.
J. Autom. Reasoning 28(2): 143-171 (2002) |
| 95 | | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput. 12(1): 167-208 (2002) |
| 94 | | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part II: The Model Theory.
J. Log. Comput. 12(3): 345-370 (2002) |
| 93 | | Luciano Serafini,
Fausto Giunchiglia:
ML Systems: A Proof Theory for Contexts.
Journal of Logic, Language and Information 11(4): 471-518 (2002) |
| 2001 |
|---|
| 92 | | Carlo Batini,
Fausto Giunchiglia,
Paolo Giorgini,
Massimo Mecella:
Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings
Springer 2001 |
| 91 | | Paolo Bresciani,
Anna Perini,
Paolo Giorgini,
Fausto Giunchiglia,
John Mylopoulos:
Modeling Early Requirements in Tropos: A Transformation Based Approach.
AOSE 2001: 151-168 |
| 90 | | Fausto Giunchiglia,
Anna Perini,
Fabrizio Sannicolò:
Knowledge Level Software Engineering.
ATAL 2001: 6-20 |
| 89 | | Paolo Bresciani,
Anna Perini,
Paolo Giorgini,
Fausto Giunchiglia,
John Mylopoulos:
A knowledge level software engineering methodology for agent oriented programming.
Agents 2001: 648-655 |
| 88 | | Paolo Giorgini,
Anna Perini,
John Mylopoulos,
Fausto Giunchiglia,
Paolo Bresciani:
Agent- Oriented Software Development: A Case Study.
SEKE 2001: 283-290 |
| 87 | | Roberto Sebastiani,
Alessandro Tomasi,
Fausto Giunchiglia:
Model Checking Syllabi and Student Carreers.
TACAS 2001: 128-142 |
| 86 | | Anna Perini,
Paolo Bresciani,
Paolo Giorgini,
Fausto Giunchiglia,
John Mylopoulos:
Towards an Agent Oriented Approach to Software Engineering.
WOA 2001: 74-79 |
| 85 | | Chiara Ghidini,
Fausto Giunchiglia:
Local Models Semantics, or contextual reasoning=locality+compatibility.
Artif. Intell. 127(2): 221-259 (2001) |
| 84 | | Thomas Ellman,
Fausto Giunchiglia:
Special Issue of the journal Artificial Intelligence on Reformulation.
Artif. Intell. 130(2): 231-232 (2001) |
| 83 | | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories.
J. Autom. Reasoning 26(3): 291-331 (2001) |
| 82 | | Enrico Giunchiglia,
Fausto Giunchiglia:
Ideal and Real Belief about Belief.
J. Log. Comput. 11(1): 157-192 (2001) |
| 81 | | 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) |
| 2000 |
|---|
| 80 | | Massimo Benerecetti,
Fausto Giunchiglia:
Model Checking-Based Analysis of Multiagent Systems.
FAABS 2000: 1-15 |
| 79 | | Massimo Benerecetti,
Fausto Giunchiglia,
Maurizio Panti,
Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
FORTE 2000: 393-408 |
| 78 | | Alessandro Coglio,
Fausto Giunchiglia,
José Meseguer,
Carolyn L. Talcott:
Composing and Controlling Search in Reasoning Theories Using Mappings.
FroCos 2000: 200-216 |
| 77 | | Massimo Benerecetti,
Fausto Giunchiglia:
Model Checking Security Protocols Using a Logic of Belief.
TACAS 2000: 519-534 |
| 76 | | 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) |
| 75 | | 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): (2000) |
| 74 | | Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia,
Marco Roveri:
NUSMV: A New Symbolic Model Checker.
STTT 2(4): 410-425 (2000) |
| 73 | | Fausto Giunchiglia,
Paolo Traverso:
Theorem proving in technology transfer: the user's point of view.
STTT 3(1): 1-12 (2000) |
| 72 | | 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) |
| 1999 |
|---|
| 71 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics.
AI*IA 1999: 95-106 |
| 70 | | Marco Daniele,
Fausto Giunchiglia,
Moshe Y. Vardi:
Improved Automata Generation for Linear Temporal Logic.
CAV 1999: 249-260 |
| 69 | | Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia,
Marco Roveri:
NUSMV: A New Symbolic Model Verifier.
CAV 1999: 495-499 |
| 68 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
*SAT, KSATC, DLP and TA: a comparative analysis.
Description Logics 1999 |
| 67 | | Fausto Giunchiglia,
Paolo Traverso:
Planning as Model Checking.
ECP 1999: 1-20 |
| 66 | | Fausto Giunchiglia,
Luca Spalazzi:
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell. 111(1-2): 329-338 (1999) |
| 65 | | Fausto Giunchiglia:
Using Abstrips Abstractions -- Where do We Stand?
Artif. Intell. Rev. 13(3): 201-213 (1999) |
| 64 | | Fausto Giunchiglia:
The OMRS project: State of the art.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 63 | | Alessandro Armando,
Alessandro Coglio,
Fausto Giunchiglia:
The control component of open mechanized reasoning systems.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 62 | | 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) |
| 1998 |
|---|
| 61 | | Fausto Giunchiglia:
Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings
Springer 1998 |
| 60 | | Piergiorgio Bertoli,
Jacques Calmet,
Fausto Giunchiglia,
Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
AISC 1998: 94-106 |
| 59 | | Massimo Benerecetti,
Fausto Giunchiglia,
Luciano Serafini:
A Model Checking Algorithm for Multiagent Systems.
ATAL 1998: 163-176 |
| 58 | | 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 |
| 57 | | Fausto Giunchiglia,
Chiara Ghidini:
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility.
KR 1998: 282-291 |
| 56 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Roberto Sebastiani,
Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics.
KR 1998: 626-635 |
| 55 | | 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 |
| 54 | | 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 |
| 53 | | Alessandro Cimatti,
Fausto Giunchiglia,
Richard W. Weyhrauch:
A Many-Sorted Natural Deduction.
Computational Intelligence 14(1): 134-149 (1998) |
| 52 | | Fausto Giunchiglia,
Piergiorgio Bertoli,
Alessandro Coglio:
The OMRS project: state of the art.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 51 | | 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) |
| 50 | | Nicholas R. Jennings,
Michael Wooldridge,
Fausto Giunchiglia:
Editorial.
J. Log. Comput. 8(3): 231-232 (1998) |
| 49 | | Massimo Benerecetti,
Fausto Giunchiglia,
Luciano Serafini:
Model Checking Multiagent Systems.
J. Log. Comput. 8(3): 401-423 (1998) |
| 1997 |
|---|
| 48 | | Fausto Giunchiglia,
Marco Roveri,
Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal Logics.
CADE 1997: 264-267 |
| 47 | | 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 |
| 46 | | Alessandro Cimatti,
Fausto Giunchiglia,
Enrico Giunchiglia,
Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR.
ECP 1997: 130-142 |
| 45 | | Fausto Giunchiglia,
Adolfo Villafiorita,
Toby Walsh:
Theories of Abstraction.
AI Commun. 10(3-4): 167-176 (1997) |
| 44 | | 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) |
| 1996 |
|---|
| 43 | | Alan Bundy,
Fausto Giunchiglia,
Roberto Sebastiani,
Toby Walsh:
Computing Abstraction Hierarchies by Numerical Simulation.
AAAI/IAAI, Vol. 1 1996: 523-529 |
| 42 | | Massimo Benerecetti,
Alessandro Cimatti,
Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Formal Specification of Beliefs in Multi-Agent Systems.
ATAL 1996: 117-130 |
| 41 | | Fausto Giunchiglia,
Adolfo Villafiorita:
ABSFOL: A Proof Checker with Abstraction.
CADE 1996: 136-140 |
| 40 | | Fausto Giunchiglia,
Roberto Sebastiani:
Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.
CADE 1996: 583-597 |
| 39 | | Fausto Giunchiglia,
Roberto Sebastiani,
Adolfo Villafiorita,
Toby Walsh:
A General Purpose Reasoner for Abstraction.
Canadian Conference on AI 1996: 323-335 |
| 38 | | Fausto Giunchiglia,
Marco Roveri,
Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal and Terminological Logics.
Description Logics 1996: 119-123 |
| 37 | | Fausto Giunchiglia,
Roberto Sebastiani:
An SAT-based Decision Procedure for ALC.
Description Logics 1996: 49-59 |
| 36 | | Enrico Giunchiglia,
Fausto Giunchiglia:
Ideal and Real Belief about Belief.
FAPR 1996: 261-275 |
| 35 | | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Frontiers of Combining Systems (FroCos) 1996: 157-174 |
| 34 | | Fausto Giunchiglia,
Roberto Sebastiani:
A SAT-based Decision Procedure for ALC.
KR 1996: 304-314 |
| 33 | | Fausto Giunchiglia,
Enrico Giunchiglia:
Ideal and Real Belief aobout Belief: Some Intuitions.
MAAMAW 1996: 1-12 |
| 32 | | Fausto Giunchiglia,
Paolo Traverso:
Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996) |
| 31 | | Fausto Giunchiglia,
Paolo Traverso:
A Metatheory of a Mechanized Object Theory.
Artif. Intell. 80(1-2): 197-241 (1996) |
| 30 | | Alan Bundy,
Fausto Giunchiglia,
Roberto Sebastiani,
Toby Walsh:
Calculating Criticalities.
Artif. Intell. 88(1-2): 39-67 (1996) |
| 29 | | Fausto Giunchiglia,
Enrico Giunchiglia,
Tom Costello,
Paolo Bouquet:
Dealing with expected and unexpected obstacles.
J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996) |
| 1995 |
|---|
| 28 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Agents as Reasoners, Observers or Believers.
AI*IA 1995: 414-425 |
| 27 | | 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 |
| 26 | | Enrico Giunchiglia,
Fausto Giunchiglia,
Luciano Serafini:
Agents as Reasoners, Observers, or Arbitrary Believers.
ICMAS 1995: 448 |
| 25 | | Paolo Bouquet,
Fausto Giunchiglia:
Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.
WOCFAI 1995: 39-50 |
| 24 | | Fausto Giunchiglia:
An Epistemological Science of Common Sense.
Artif. Intell. 77(2): 371-392 (1995) |
| 23 | | Paolo Bouquet,
Fausto Giunchiglia:
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.
Fundam. Inform. 23(2/3/4): 247-262 (1995) |
| 1994 |
|---|
| 22 | | Fausto Giunchiglia,
Luca Spalazzi,
Paolo Traverso:
Planning with Failure.
AIPS 1994: 74-79 |
| 21 | | Fausto Giunchiglia,
Paolo Traverso:
Program Tactics and Logic Tactics.
LPAR 1994: 16-30 |
| 20 | | Fausto Giunchiglia,
Alessandro Cimatti:
Introspective Metatheoretic Reasoning.
META 1994: 425-439 |
| 19 | | Fausto Giunchiglia,
Luciano Serafini:
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics.
Artif. Intell. 65(1): 29-70 (1994) |
| 1993 |
|---|
| 18 | | Fausto Giunchiglia,
Luciano Serafini,
Enrico Giunchiglia,
Marcello Frixione:
Non-Omniscient Belief as Context-Based Resoning.
IJCAI 1993: 548-554 |
| 17 | | Fausto Giunchiglia,
Toby Walsh:
The Inevitability of Inconsistent Abstract Spaces.
J. Autom. Reasoning 11(1): 23-41 (1993) |
| 1992 |
|---|
| 16 | | Fausto Giunchiglia,
Luciano Serafini:
Multilanguage hierarchical logics (or: how we can do without modal logics).
CNKBS 1992: 44-45 |
| 15 | | Fausto Giunchiglia,
Toby Walsh:
Tree Subsumption: Reasoning with Outlines.
ECAI 1992: 77-81 |
| 14 | | Fausto Giunchiglia,
Luciano Serafini,
Alex K. Simpson:
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.
META 1992: 235-249 |
| 13 | | Fausto Giunchiglia,
Toby Walsh:
A Theory of Abstraction.
Artif. Intell. 57(2-3): 323-389 (1992) |
| 12 | | 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) |
| 1991 |
|---|
| 11 | | David A. Basin,
Fausto Giunchiglia,
Paolo Traverso:
Automating Meta-Theory Creation and System Extension.
AI*IA 1991: 48-57 |
| 10 | | Fausto Giunchiglia,
Paolo Traverso:
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
IJCAI 1991: 111-117 |
| 9 | | Fausto Giunchiglia,
Luciano Serafini:
Mulitlanguage First Order Theories of Propositional Attitudes.
SCAI 1991: 228-240 |
| 1989 |
|---|
| 8 | | Fausto Giunchiglia,
Toby Walsh:
Abstract Theorem Proving.
IJCAI 1989: 372-377 |
| 1988 |
|---|
| 7 | | Fausto Giunchiglia,
Enrico Giunchiglia:
Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas.
ECAI 1988: 607-609 |
| 6 | | Fausto Giunchiglia,
Alan Smaill:
Reflection in Constructive and Non-constructive Automated Reasoning.
META 1988: 123-140 |
| 1987 |
|---|
| 5 | | Fausto Giunchiglia:
Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.
COMPCON 1987: 124-129 |
| 1984 |
|---|
| 4 | | Mauro Di Manzo,
Fausto Giunchiglia,
Ernesto Pino:
Space Representation and Object Positioning in Natural Language Driven Image Generation.
AIMSA 1984: 207-214 |
| 3 | | Giovanni Adorni,
Mauro Di Manzo,
Fausto Giunchiglia:
Natural Language driven Image Generation.
COLING 1984: 495-500 |
| 2 | | Giovanni Adorni,
Mauro Di Manzo,
Fausto Giunchiglia:
From Descriptions to Images: What Reasoning in between?
ECAI 1984: 139-148 |
| 1983 |
|---|
| 1 | | Giovanni Adorni,
Mauro Di Manzo,
Fausto Giunchiglia:
Some Basic Mechanisms for Common Sense Reasoning About Stories Environments.
IJCAI 1983: 72-74 |
