| 2007 |
|---|
| 138 | EE | Fausto Giunchiglia,
Ilya Zaihrayeu,
Uladzimir Kharkevich:
Formalizing the Get-Specific Document Classification Algorithm.
ECDL 2007: 26-37 |
| 137 | EE | 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 |
| 136 | EE | 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 |
| 135 | EE | Fausto Giunchiglia,
Maurizio Marchese,
Ilya Zaihrayeu:
Encoding Classifications into Lightweight Ontologies.
J. Data Semantics 8: 57-81 (2007) |
| 134 | EE | 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 | EE | 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 | EE | Fausto Giunchiglia,
Maurizio Marchese,
Ilya Zaihrayeu:
Encoding Classifications into Lightweight Ontologies.
ESWC 2006: 80-94 |
| 128 | EE | Fausto Giunchiglia:
Managing Diversity in Knowledge.
IEA/AIE 2006: 1 |
| 2005 |
|---|
| 127 | EE | Fausto Giunchiglia,
Mikalai Yatskevich,
Enrico Giunchiglia:
Efficient Semantic Matching.
ESWC 2005: 272-289 |
| 126 | EE | Pavel Shvaiko,
Fausto Giunchiglia,
Paulo Pinheiro da Silva,
Deborah L. McGuinness:
Web Explanations for Semantic Heterogeneity Discovery.
ESWC 2005: 303-317 |
| 125 | EE | Fausto Giunchiglia:
SWebB: Semantic Web Browsing.
ESWC 2005: 725-725 |
| 124 | EE | Fausto Giunchiglia:
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources.
FroCos 2005: 284-284 |
| 123 | EE | Paolo Avesani,
Fausto Giunchiglia,
Mikalai Yatskevich:
A Large Scale Taxonomy Mapping Evaluation.
International Semantic Web Conference 2005: 67-81 |
| 122 | EE | 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 | EE | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
Semantic Schema Matching.
OTM Conferences (1) 2005: 347-365 |
| 120 | EE | Maurizio Marchese,
Aliaksei Yanchuk,
Fausto Giunchiglia:
Towards a Distributed Architecture for Value Added Services to Digital Libraries.
P2PKM 2005 |
| 119 | EE | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
S-Match: an algorithm and an implementation of semantic matching.
Semantic Interoperability and Integration 2005 |
| 118 | EE | Thomas Ellman,
Fausto Giunchiglia:
Introduction to the Special Volume on Reformulation.
Artif. Intell. 162(1-2): 3-5 (2005) |
| 2004 |
|---|
| 117 | EE | 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 | EE | Fausto Giunchiglia,
Pavel Shvaiko,
Mikalai Yatskevich:
S-Match: an Algorithm and an Implementation of Semantic Matching.
ESWS 2004: 61-75 |
| 114 | EE | 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 | EE | Fausto Giunchiglia,
Ilya Zaihrayeu:
Coordinating Mobile Databases.
P2PKM 2004 |
| 112 | EE | 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 | EE | 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 | EE | Enrico Blanzieri,
Paolo Giorgini,
Fausto Giunchiglia,
Claudio Zanoni:
Implicit Culture-Based Personal Agents for Knowledge Management.
AMKM 2003: 245-261 |
| 107 | EE | Luciano Serafini,
Fausto Giunchiglia,
John Mylopoulos,
Philip A. Bernstein:
Local Relational Model: A Logical Formalization of Database Coordination.
CONTEXT 2003: 286-299 |
| 106 | EE | 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 | EE | Fausto Giunchiglia,
John Mylopoulos,
Anna Perini:
The tropos software development methodology: processes, models and diagrams.
AAMAS 2002: 35-36 |
| 102 | EE | Fausto Giunchiglia,
John Mylopoulos,
Anna Perini:
The Tropos Software Development Methodology: Processes, Models and Diagrams.
AOSE 2002: 162-173 |
| 101 | EE | 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 | EE | Fausto Giunchiglia,
Ilya Zaihrayeu:
Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination.
CIA 2002: 18-35 |
| 99 | EE | 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 | EE | 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 | EE | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput. 12(1): 167-208 (2002) |
| 94 | EE | 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 | EE | Paolo Bresciani,
Anna Perini,
Paolo Giorgini,
Fausto Giunchiglia,
John Mylopoulos:
Modeling Early Requirements in Tropos: A Transformation Based Approach.
AOSE 2001: 151-168 |
| 90 | EE | Fausto Giunchiglia,
Anna Perini,
Fabrizio Sannicolò:
Knowledge Level Software Engineering.
ATAL 2001: 6-20 |
| 89 | EE | 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 | EE | 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 | EE | Chiara Ghidini,
Fausto Giunchiglia:
Local Models Semantics, or contextual reasoning=locality+compatibility.
Artif. Intell. 127(2): 221-259 (2001) |
| 84 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia,
Marco Roveri:
NUSMV: A New Symbolic Model Checker.
STTT 2(4): 410-425 (2000) |
| 73 | EE | 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 | EE | Enrico Giunchiglia,
Fausto Giunchiglia,
Armando Tacchella:
The SAT-Based Approach for Classical Modal Logics.
AI*IA 1999: 95-106 |
| 70 | EE | Marco Daniele,
Fausto Giunchiglia,
Moshe Y. Vardi:
Improved Automata Generation for Linear Temporal Logic.
CAV 1999: 249-260 |
| 69 | EE | Alessandro Cimatti,
Edmund M. Clarke,
Fausto Giunchiglia,
Marco Roveri:
NUSMV: A New Symbolic Model Verifier.
CAV 1999: 495-499 |
| 68 | EE | 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 | EE | 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 | EE | Fausto Giunchiglia:
The OMRS project: State of the art.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 63 | EE | 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 | EE | 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 | EE | 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 | EE | 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: 134-149 (1998) |
| 52 | EE | Fausto Giunchiglia,
Piergiorgio Bertoli,
Alessandro Coglio:
The OMRS project: state of the art.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 51 | EE | 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 | EE | Fausto Giunchiglia,
Paolo Traverso:
A Metatheory of a Mechanized Object Theory.
Artif. Intell. 80(1-2): 197-241 (1996) |
| 30 | EE | 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 | EE | 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 |
