The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Fausto Giunchiglia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco
    Understanding Scene Descriptions by Integrating Different Sources of Knowledge. [Citation Graph (1, 0)][DBLP]
    International Journal of Man-Machine Studies, 1992, v:37, n:1, pp:47-81 [Journal]
  2. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Computing Abstraction Hierarchies by Numerical Simulation. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, Vol. 1, 1996, pp:523-529 [Conf]
  3. Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    A knowledge level software engineering methodology for agent oriented programming. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:648-655 [Conf]
  4. Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh
    A General Purpose Reasoner for Abstraction. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 1996, pp:323-335 [Conf]
  5. David A. Basin, Fausto Giunchiglia, Paolo Traverso
    Automating Meta-Theory Creation and System Extension. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:48-57 [Conf]
  6. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Agents as Reasoners, Observers or Believers. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:414-425 [Conf]
  7. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    The SAT-Based Approach for Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:95-106 [Conf]
  8. Mauro Di Manzo, Fausto Giunchiglia, Ernesto Pino
    Space Representation and Object Positioning in Natural Language Driven Image Generation. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1984, pp:207-214 [Conf]
  9. Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso
    Planning with Failure. [Citation Graph (0, 0)][DBLP]
    AIPS, 1994, pp:74-79 [Conf]
  10. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:94-106 [Conf]
  11. Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni
    Implicit Culture-Based Personal Agents for Knowledge Management. [Citation Graph (0, 0)][DBLP]
    AMKM, 2003, pp:245-261 [Conf]
  12. Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    Modeling Early Requirements in Tropos: A Transformation Based Approach. [Citation Graph (0, 0)][DBLP]
    AOSE, 2001, pp:151-168 [Conf]
  13. Fausto Giunchiglia, John Mylopoulos, Anna Perini
    The Tropos Software Development Methodology: Processes, Models and Diagrams. [Citation Graph (0, 0)][DBLP]
    AOSE, 2002, pp:162-173 [Conf]
  14. Yuting Zhao, Luciano Serafini, Fausto Giunchiglia
    Autonomous Ontology: Operations and Semantics. [Citation Graph (0, 0)][DBLP]
    ASWC, 2006, pp:646-652 [Conf]
  15. Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Formal Specification of Beliefs in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1996, pp:117-130 [Conf]
  16. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
    A Model Checking Algorithm for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:163-176 [Conf]
  17. Fausto Giunchiglia, John Mylopoulos, Anna Perini
    The tropos software development methodology: processes, models and diagrams. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:35-36 [Conf]
  18. Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò
    Knowledge Level Software Engineering. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:6-20 [Conf]
  19. Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia
    Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:65-78 [Conf]
  20. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:46-58 [Conf]
  21. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    A New Method for Testing Decision Procedures in Modal Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:264-267 [Conf]
  22. Fausto Giunchiglia, Roberto Sebastiani
    Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:583-597 [Conf]
  23. Fausto Giunchiglia, Adolfo Villafiorita
    ABSFOL: A Proof Checker with Abstraction. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:136-140 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:359-364 [Conf]
  25. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
    NUSMV: A New Symbolic Model Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:495-499 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:202-213 [Conf]
  27. Marco Daniele, Fausto Giunchiglia, Moshe Y. Vardi
    Improved Automata Generation for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:249-260 [Conf]
  28. Fausto Giunchiglia, Ilya Zaihrayeu
    Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. [Citation Graph (0, 0)][DBLP]
    CIA, 2002, pp:18-35 [Conf]
  29. Fausto Giunchiglia, Luciano Serafini
    Multilanguage hierarchical logics (or: how we can do without modal logics). [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:44-45 [Conf]
  30. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    Natural Language driven Image Generation. [Citation Graph (0, 0)][DBLP]
    COLING, 1984, pp:495-500 [Conf]
  31. Fausto Giunchiglia
    Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1987, pp:124-129 [Conf]
  32. Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein
    Local Relational Model: A Logical Formalization of Database Coordination. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2003, pp:286-299 [Conf]
  33. Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich
    S-Match: an algorithm and an implementation of semantic matching. [Citation Graph (0, 0)][DBLP]
    Semantic Interoperability and Integration, 2005, pp:- [Conf]
  34. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    *SAT, KSATC, DLP and TA: a comparative analysis. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  35. Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani
    A New Method for Testing Decision Procedures in Modal and Terminological Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:119-123 [Conf]
  36. Fausto Giunchiglia, Roberto Sebastiani
    An SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:49-59 [Conf]
  37. Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva
    Towards Explaining Semantic Matching. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  38. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    From Descriptions to Images: What Reasoning in between? [Citation Graph (0, 0)][DBLP]
    ECAI, 1984, pp:139-148 [Conf]
  39. Chiara Ghidini, Fausto Giunchiglia
    A Semantics for Abstraction. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:343-347 [Conf]
  40. Fausto Giunchiglia
    Managing Diversity in Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:4- [Conf]
  41. Fausto Giunchiglia, Enrico Giunchiglia
    Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:607-609 [Conf]
  42. Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich
    Discovering Missing Background Knowledge in Ontology Matching. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:382-386 [Conf]
  43. Fausto Giunchiglia, Toby Walsh
    Tree Subsumption: Reasoning with Outlines. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:77-81 [Conf]
  44. Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
    Planning via Model Checking: A Decision Procedure for AR. [Citation Graph (0, 0)][DBLP]
    ECP, 1997, pp:130-142 [Conf]
  45. Fausto Giunchiglia, Paolo Traverso
    Planning as Model Checking. [Citation Graph (0, 0)][DBLP]
    ECP, 1999, pp:1-20 [Conf]
  46. Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia
    Efficient Semantic Matching. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:272-289 [Conf]
  47. Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness
    Web Explanations for Semantic Heterogeneity Discovery. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:303-317 [Conf]
  48. Fausto Giunchiglia
    SWebB: Semantic Web Browsing. [Citation Graph (0, 0)][DBLP]
    ESWC, 2005, pp:725-725 [Conf]
  49. Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu
    Encoding Classifications into Lightweight Ontologies. [Citation Graph (0, 0)][DBLP]
    ESWC, 2006, pp:80-94 [Conf]
  50. Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich
    S-Match: an Algorithm and an Implementation of Semantic Matching. [Citation Graph (0, 0)][DBLP]
    ESWS, 2004, pp:61-75 [Conf]
  51. Massimo Benerecetti, Fausto Giunchiglia
    Model Checking-Based Analysis of Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:1-15 [Conf]
  52. Enrico Giunchiglia, Fausto Giunchiglia
    Ideal and Real Belief about Belief. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:261-275 [Conf]
  53. Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
    A Logic of Belief and a Model Checking Algorithm for Security Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:393-408 [Conf]
  54. Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
    Composing and Controlling Search in Reasoning Theories Using Mappings. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:200-216 [Conf]
  55. Fausto Giunchiglia
    Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:284-284 [Conf]
  56. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
    Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:157-174 [Conf]
  57. 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. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:458-463 [Conf]
  58. Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
    Agents as Reasoners, Observers, or Arbitrary Believers. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:448- [Conf]
  59. Fausto Giunchiglia
    Managing Diversity in Knowledge. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2006, pp:1- [Conf]
  60. Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia
    Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:72-74 [Conf]
  61. Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione
    Non-Omniscient Belief as Context-Based Resoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:548-554 [Conf]
  62. Fausto Giunchiglia, Paolo Traverso
    Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:111-117 [Conf]
  63. Fausto Giunchiglia, Toby Walsh
    Abstract Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:372-377 [Conf]
  64. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    More Evaluation of Decision Procedures for Modal Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:626-635 [Conf]
  65. Fausto Giunchiglia, Chiara Ghidini
    Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:282-291 [Conf]
  66. Fausto Giunchiglia, Roberto Sebastiani
    A SAT-based Decision Procedure for ALC. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:304-314 [Conf]
  67. Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini
    Using C-OWL for the alignment and merging of medical ontologies. [Citation Graph (0, 0)][DBLP]
    KR-MED, 2004, pp:88-101 [Conf]
  68. Fausto Giunchiglia, Alessandro Cimatti
    Introspective Metatheoretic Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:425-439 [Conf]
  69. Fausto Giunchiglia, Paolo Traverso
    Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:16-30 [Conf]
  70. Fausto Giunchiglia, Enrico Giunchiglia
    Ideal and Real Belief aobout Belief: Some Intuitions. [Citation Graph (0, 0)][DBLP]
    MAAMAW, 1996, pp:1-12 [Conf]
  71. Fausto Giunchiglia, Alan Smaill
    Reflection in Constructive and Non-constructive Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:123-140 [Conf]
  72. Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson
    Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:235-249 [Conf]
  73. Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich
    Semantic Schema Matching. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:347-365 [Conf]
  74. Fausto Giunchiglia, Ilya Zaihrayeu
    Coordinating Mobile Databases. [Citation Graph (0, 0)][DBLP]
    P2PKM, 2004, pp:- [Conf]
  75. Maurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia
    Towards a Distributed Architecture for Value Added Services to Digital Libraries. [Citation Graph (0, 0)][DBLP]
    P2PKM, 2005, pp:- [Conf]
  76. Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
    A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:221-230 [Conf]
  77. 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. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:284-295 [Conf]
  78. Fausto Giunchiglia, Luciano Serafini
    Mulitlanguage First Order Theories of Propositional Attitudes. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:228-240 [Conf]
  79. Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani
    Agent- Oriented Software Development: A Case Study. [Citation Graph (0, 0)][DBLP]
    SEKE, 2001, pp:283-290 [Conf]
  80. Anna Perini, Angelo Susi, Fausto Giunchiglia
    Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:51-54 [Conf]
  81. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt
    C-OWL: Contextualizing Ontologies. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2003, pp:164-179 [Conf]
  82. Paolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich
    A Large Scale Taxonomy Mapping Evaluation. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:67-81 [Conf]
  83. Massimo Benerecetti, Fausto Giunchiglia
    Model Checking Security Protocols Using a Logic of Belief. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:519-534 [Conf]
  84. Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia
    Model Checking Syllabi and Student Carreers. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:128-142 [Conf]
  85. Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu
    Data Management for Peer-to-Peer Computing : A Vision. [Citation Graph (0, 0)][DBLP]
    WebDB, 2002, pp:89-94 [Conf]
  86. Enrico Blanzieri, Paolo Giorgini, Claudio Zanoni, Fausto Giunchiglia
    A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. [Citation Graph (0, 0)][DBLP]
    Wissensmanagement, 2003, pp:287-294 [Conf]
  87. Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni
    A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. [Citation Graph (0, 0)][DBLP]
    WOA, 2002, pp:56-63 [Conf]
  88. Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    Towards an Agent Oriented Approach to Software Engineering. [Citation Graph (0, 0)][DBLP]
    WOA, 2001, pp:74-79 [Conf]
  89. Paolo Bouquet, Fausto Giunchiglia
    Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. [Citation Graph (0, 0)][DBLP]
    WOCFAI, 1995, pp:39-50 [Conf]
  90. Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    Tropos: An Agent-Oriented Software Development Methodology. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2004, v:8, n:3, pp:203-236 [Journal]
  91. Alan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh
    Calculating Criticalities. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:88, n:1-2, pp:39-67 [Journal]
  92. Thomas Ellman, Fausto Giunchiglia
    Special Issue of the journal Artificial Intelligence on Reformulation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:130, n:2, pp:231-232 [Journal]
  93. Thomas Ellman, Fausto Giunchiglia
    Introduction to the Special Volume on Reformulation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:162, n:1-2, pp:3-5 [Journal]
  94. Chiara Ghidini, Fausto Giunchiglia
    Local Models Semantics, or contextual reasoning=locality+compatibility. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:127, n:2, pp:221-259 [Journal]
  95. Fausto Giunchiglia
    An Epistemological Science of Common Sense. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1995, v:77, n:2, pp:371-392 [Journal]
  96. Fausto Giunchiglia, Luciano Serafini
    Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:65, n:1, pp:29-70 [Journal]
  97. Fausto Giunchiglia, Luca Spalazzi
    Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:111, n:1-2, pp:329-338 [Journal]
  98. Fausto Giunchiglia, Paolo Traverso
    A Metatheory of a Mechanized Object Theory. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:80, n:1-2, pp:197-241 [Journal]
  99. Fausto Giunchiglia, Toby Walsh
    A Theory of Abstraction. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:57, n:2-3, pp:323-389 [Journal]
  100. Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
    Theories of Abstraction. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1997, v:10, n:3-4, pp:167-176 [Journal]
  101. Fausto Giunchiglia
    Using Abstrips Abstractions -- Where do We Stand? [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 1999, v:13, n:3, pp:201-213 [Journal]
  102. Fausto Giunchiglia, Paolo Traverso
    Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:235-259 [Journal]
  103. Alessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch
    A Many-Sorted Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1998, v:14, n:, pp:134-149 [Journal]
  104. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
    The control component of open mechanized reasoning systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  105. Fausto Giunchiglia
    The OMRS project: State of the art. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
  106. Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio
    The OMRS project: state of the art. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  107. Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
    Formal Verification of a Railway Interlocking System using Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:4, pp:361-380 [Journal]
  108. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:39-57 [Journal]
  109. Paolo Bouquet, Fausto Giunchiglia
    Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:2/3/4, pp:247-262 [Journal]
  110. Fausto Giunchiglia, Roberto Sebastiani
    Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:162, n:1-2, pp:158-178 [Journal]
  111. Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
    SAT vs. translation based decision procedures for modal logics: a comparative evaluation. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2000, v:10, n:2, pp:- [Journal]
  112. Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
    Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:3, pp:319-346 [Journal]
  113. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
    Reasoning Theories. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:26, n:3, pp:291-331 [Journal]
  114. Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
    SAT-Based Decision Procedures for Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:28, n:2, pp:143-171 [Journal]
  115. Fausto Giunchiglia, Toby Walsh
    The Inevitability of Inconsistent Abstract Spaces. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:23-41 [Journal]
  116. Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet
    Dealing with expected and unexpected obstacles. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 1996, v:8, n:2, pp:173-190 [Journal]
  117. Luciano Serafini, Fausto Giunchiglia
    ML Systems: A Proof Theory for Contexts. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:4, pp:471-518 [Journal]
  118. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
    The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2001, v:32, n:4, pp:305-332 [Journal]
  119. Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
    Model Checking Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:401-423 [Journal]
  120. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
    A Foundation for Metareasoning Part I: The Proof Theory. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:1, pp:167-208 [Journal]
  121. Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
    A Foundation for Metareasoning Part II: The Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:3, pp:345-370 [Journal]
  122. Enrico Giunchiglia, Fausto Giunchiglia
    Ideal and Real Belief about Belief. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:157-192 [Journal]
  123. Nicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:3, pp:231-232 [Journal]
  124. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:36, n:1, pp:53-64 [Journal]
  125. Fausto Giunchiglia, Paolo Traverso
    Theorem proving in technology transfer: the user's point of view. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:1-12 [Journal]
  126. Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri
    NUSMV: A New Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:410-425 [Journal]
  127. Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt
    Contextualizing ontologies. [Citation Graph (0, 0)][DBLP]
    J. Web Sem., 2004, v:1, n:4, pp:325-343 [Journal]
  128. Fausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich
    Formalizing the Get-Specific Document Classification Algorithm. [Citation Graph (0, 0)][DBLP]
    ECDL, 2007, pp:26-37 [Conf]
  129. Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia
    Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:666-679 [Conf]
  130. Ilya Zaihrayeu, Lei Sun, Fausto Giunchiglia, Wei Pan, Qi Ju, Mingmin Chi, Xuanjing Huang
    From Web Directories to Ontologies: Natural Language Processing Challenges. [Citation Graph (0, 0)][DBLP]
    ISWC/ASWC, 2007, pp:623-636 [Conf]
  131. Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko
    Semantic Matching: Algorithms and Implementation. [Citation Graph (0, 0)][DBLP]
    J. Data Semantics, 2007, v:9, n:, pp:1-38 [Journal]
  132. Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu
    Encoding Classifications into Lightweight Ontologies. [Citation Graph (0, 0)][DBLP]
    J. Data Semantics, 2007, v:8, n:, pp:57-81 [Journal]

  133. Faceted Lightweight Ontologies. [Citation Graph (, )][DBLP]


  134. Using Description Logics in Relation Based Access Control. [Citation Graph (, )][DBLP]


  135. Approximate structure preserving semantic matching. [Citation Graph (, )][DBLP]


  136. Lightweight Parsing of Classifications into Lightweight Ontologies. [Citation Graph (, )][DBLP]


  137. Concept Search: Semantics Enabled Syntactic Search. [Citation Graph (, )][DBLP]


  138. Concept Search. [Citation Graph (, )][DBLP]


  139. GeoWordNet: A Resource for Geo-spatial Applications. [Citation Graph (, )][DBLP]


  140. Importing from Functional Knowledge Bases - A Preview. [Citation Graph (, )][DBLP]


  141. ODBASE 2008 PC Co-chairs' Message. [Citation Graph (, )][DBLP]


  142. Approximate Structure-Preserving Semantic Matching. [Citation Graph (, )][DBLP]


  143. Towards Knowledge in the Cloud. [Citation Graph (, )][DBLP]


  144. Structure Preserving Semantic Matching. [Citation Graph (, )][DBLP]


  145. Computing Minimal Mappings. [Citation Graph (, )][DBLP]


  146. Open Knowledge. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.760secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002