dblp.uni-trier.dewww.uni-trier.de

Fausto Giunchiglia Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
152EEFausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese: Faceted Lightweight Ontologies. Conceptual Modeling: Foundations and Applications 2009: 36-51
151EERui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo: Using Description Logics in Relation Based Access Control. Description Logics 2009
150EEFausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search. ESWC 2009: 429-444
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
147EEFausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana: Approximate structure preserving semantic matching. ECAI 2008: 743-744
146EEFausto Giunchiglia, Ling Feng, Malú Castellanos: ODBASE 2008 PC Co-chairs' Message. OTM Conferences (2) 2008: 1151
145EEFausto Giunchiglia, Fiona McNeill, Mikalai Yatskevich, Juan Pane, Paolo Besana, Pavel Shvaiko: Approximate Structure-Preserving Semantic Matching. OTM Conferences (2) 2008: 1217-1234
144EEDavide 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
143EEFausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search: Semantics Enabled Syntactic Search. SemSearch 2008: 109-123
142EEAlexander Ivanyukovich, Maurizio Marchese, Fausto Giunchiglia: ScienceTreks: an autonomous digital library system. Online Information Review 32(4): 488-499 (2008)
2007
141EEFausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich: Formalizing the Get-Specific Document Classification Algorithm. ECDL 2007: 26-37
140EEIlya 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
139EEYuting 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
138EEDavid 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
137EEFausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill: Structure Preserving Semantic Matching. OM 2007
136EEAlexander Borgida, Fausto Giunchiglia: Importing from Functional Knowledge Bases - A Preview. WoMO 2007
135EEFausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. J. Data Semantics 8: 57-81 (2007)
134EEFausto 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
132EEYuting 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
129EEFausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. ESWC 2006: 80-94
128EEFausto Giunchiglia: Managing Diversity in Knowledge. IEA/AIE 2006: 1
2005
127EEFausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289
126EEPavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness: Web Explanations for Semantic Heterogeneity Discovery. ESWC 2005: 303-317
125EEFausto Giunchiglia: SWebB: Semantic Web Browsing. ESWC 2005: 725-725
124EEFausto Giunchiglia: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. FroCos 2005: 284-284
123EEPaolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich: A Large Scale Taxonomy Mapping Evaluation. International Semantic Web Conference 2005: 67-81
122EEAlessandro 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
121EEFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Schema Matching. OTM Conferences (1) 2005: 347-365
120EEMaurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia: Towards a Distributed Architecture for Value Added Services to Digital Libraries. P2PKM 2005
119EEFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an algorithm and an implementation of semantic matching. Semantic Interoperability and Integration 2005
118EEThomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)
2004
117EEDeborah 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
115EEFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an Algorithm and an Implementation of Semantic Matching. ESWS 2004: 61-75
114EEHeiner 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
113EEFausto Giunchiglia, Ilya Zaihrayeu: Coordinating Mobile Databases. P2PKM 2004
112EEPaolo 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)
111EEPaolo 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
108EEEnrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: Implicit Culture-Based Personal Agents for Knowledge Management. AMKM 2003: 245-261
107EELuciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein: Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299
106EEPaolo 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
103EEFausto Giunchiglia, John Mylopoulos, Anna Perini: The tropos software development methodology: processes, models and diagrams. AAMAS 2002: 35-36
102EEFausto Giunchiglia, John Mylopoulos, Anna Perini: The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002: 162-173
101EEAlessandro 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
100EEFausto Giunchiglia, Ilya Zaihrayeu: Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. CIA 2002: 18-35
99EEAnna 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
97EEPhilip 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)
95EEGiovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12(1): 167-208 (2002)
94EEGiovanni 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
91EEPaolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001: 151-168
90EEFausto Giunchiglia, Anna Perini, Fabrizio Sannicolò: Knowledge Level Software Engineering. ATAL 2001: 6-20
89EEPaolo 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
87EERoberto 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
85EEChiara Ghidini, Fausto Giunchiglia: Local Models Semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2): 221-259 (2001)
84EEThomas 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)
82EEEnrico 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
80EEMassimo 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
77EEMassimo 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)
74EEAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
73EEFausto 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
71EEEnrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
70EEMarco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
69EEAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
68EEEnrico 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
66EEFausto 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)
64EEFausto Giunchiglia: The OMRS project: State of the art. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
63EEAlessandro 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
60EEPiergiorgio 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
55EEPiergiorgio 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
54EEAlessandro 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: 134-149 (1998)
52EEFausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)
51EEAlessandro 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
48EEFausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
47EEAlessandro 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
41EEFausto Giunchiglia, Adolfo Villafiorita: ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140
40EEFausto 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)
31EEFausto Giunchiglia, Paolo Traverso: A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996)
30EEAlan 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
21EEFausto 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
3EEGiovanni 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

Coauthor Index

1Giovanni Adorni [1] [2] [3]
2Alessandro Armando [63] [81] [122]
3Alessandro Artale [151]
4Paolo Avesani [123]
5David A. Basin [11]
6Carlo Batini [92]
7Massimo Benerecetti [42] [49] [59] [77] [79] [80]
8Philip A. Bernstein [97] [107]
9Piergiorgio Bertoli [52] [55] [60] [62]
10Paolo Besana [145] [147]
11Patrick Blackburn [109]
12Enrico Blanzieri [98] [105] [108]
13Alexander Borgida [136]
14Paolo Bouquet [23] [25] [29] [106] [111] [114]
15Paolo Bresciani [86] [88] [89] [91] [112]
16Alan Bundy [30] [43] [44]
17Jacques Calmet [60] [62]
18Sérgio Vale Aguiar Campos [58] [72]
19Malú Castellanos [146]
20Claudio Castellini [122]
21Davide Cerri [144]
22Mingmin Chi [140]
23Alessandro Cimatti [20] [42] [46] [47] [51] [53] [54] [55] [58] [69] [72] [74] [101]
24Edmund M. Clarke [58] [69] [72] [74] [101]
25Alessandro Coglio [52] [63] [78] [81]
26Tom Costello [29]
27Giovanni Criscuolo [94] [95]
28Bruno Crispo [151]
29Marco Daniele [70]
30Srinandan Dasmahapatra [138]
31David Dupplaw [138]
32Biswanath Dutta [152]
33Thomas Ellman [84] [118]
34Jérôme Euzenat [148] [149]
35Ling Feng [146]
36Dieter Fensel [104]
37Carlo Ferrari [12]
38Marcello Frixione [18]
39Chiara Ghidini [57] [85] [109] [116]
40Paolo Giorgini [86] [88] [89] [91] [92] [98] [105] [108] [112]
41Enrico Giunchiglia [7] [18] [26] [28] [29] [33] [36] [42] [46] [56] [68] [71] [75] [82] [96] [101] [122] [127]
42Frank van Harmelen [106] [111] [114] [138]
43Vicky Hartonas-Garmhausen [58] [72]
44Bin He [149]
45Karsten Homann [60] [62]
46Xuanjing Huang [140]
47Alexander Ivanyukovich [142]
48Nicholas R. Jennings (Nick R. Jennings) [50]
49Qi Ju [140]
50Anastasios Kementsietsidis [97]
51Uladzimir Kharkevich [141] [143] [150]
52Spyros Kotoulas [138]
53Reto Krummenacher [144]
54Paul H. Lewis [138]
55Antonis Loizou [138]
56Vincenzo Maltese [152]
57Mauro Di Manzo [1] [2] [3] [4]
58Maurizio Marchese [120] [129] [135] [138] [142]
59David de Francisco Marcos [144]
60Deborah L. McGuinness [104] [117] [126]
61Fiona McNeill [137] [145] [147]
62Massimo Mecella [92]
63José Meseguer [78]
64Riichiro Mizoguchi [133]
65Giorgio Mongardi [51] [54]
66John Mylopoulos [86] [88] [89] [91] [97] [102] [103] [107] [112]
67Dalit Naor [144]
68Lyndon J. B. Nixon [144]
69Philipp Obermeier [144]
70James Odell [110]
71Jeff Z. Pan [139]
72Wei Pan [140]
73Juan Pane [145] [147]
74Maurizio Panti [79]
75Paolo Pecchiari [35] [47] [83]
76Anna Perini [86] [88] [89] [90] [91] [99] [102] [103] [112]
77Bruno Pietra [47]
78Adrian Perreau de Pinninck [138]
79Ernesto Pino [4]
80Marco Pistore [101]
81Joe Profeta [47]
82Silvio Ranise [81]
83Dietrich Rebholz-Schuhmann [144]
84David Stuart Robertson (David Robertson) [138]
85Dario Romano [47] [51] [54]
86Marco Roveri [38] [48] [69] [74] [101]
87Marta Sabou [138]
88Fabrizio Sannicolò [90]
89W. Marco Schorlemmer [138]
90Roberto Sebastiani [30] [34] [37] [38] [39] [40] [43] [48] [56] [75] [76] [87] [101]
91Luciano Serafini [9] [14] [16] [18] [19] [26] [28] [42] [49] [59] [93] [94] [95] [97] [106] [107] [111] [114] [132]
92Nigel Shadbolt (Nigel R. Shadbolt) [138]
93Zhongzhi Shi [133]
94Pavel Shvaiko [115] [117] [119] [121] [126] [131] [134] [145] [147] [148] [149]
95Ronny Siebes [138]
96Carles Sierra [138]
97Paulo Pinheiro da Silva [117] [126]
98Elena Paslaru Bontas Simperl (Elena Paslaru Bontas) [144]
99Alex K. Simpson (Alex Simpson) [14]
100Alan Smaill [6]
101Luca Spalazzi [22] [27] [66] [79]
102Heiner Stuckenschmidt [106] [111] [114] [148]
103Lei Sun [140]
104Angelo Susi [99]
105Armando Tacchella [56] [68] [71] [75] [96] [101] [122]
106Carolyn L. Talcott [35] [78] [83]
107Kia Teymourian [144]
108Alessandro Tomasi [87]
109Rodney W. Topor [139]
110Fernando Torielli [51] [54]
111Paolo Traverso [10] [11] [12] [21] [22] [27] [31] [32] [46] [47] [51] [54] [55] [67] [73]
112Emanuele Trucco [12]
113Roy M. Turner [109]
114Emanuele Della Valle [144]
115Moshe Y. Vardi [70]
116Adolfo Villafiorita [39] [41] [44] [45]
117Toby Walsh [8] [13] [15] [17] [30] [39] [43] [44] [45]
118Chris Walton [138]
119Kewen Wang [139]
120Gerhard Weiß [110]
121Richard W. Weyhrauch [53]
122Mary-Anne Williams [104]
123Michael Wooldridge (Michael J. Wooldridge) [50]
124Aliaksei Yanchuk [120]
125Mikalai Yatskevich [115] [119] [121] [123] [127] [131] [134] [137] [138] [145] [147]
126Bing Yu [47]
127Ilya Zaihrayeu [97] [100] [113] [129] [135] [140] [141] [143] [150]
128Claudio Zanoni [98] [105] [108]
129Rui Zhang [151]
130Yuting Zhao [132] [139]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)