You are here

Publications

  1. Mauro Dragoni; Antonia Azzini; Andrea G.B. Tettamanzi,
    A Novel Similarity-Based Crossover for Artificial Neural Network Evolution,
    2010
    , (11th International Conference on Parallel Problem Solving From Nature, PPSN 2010,
    Krakow, Poland,
    09/11/2010 - 09/15/2010)
  2. Mauro Dragoni; Celia da Costa Pereira; Andrea G.B. Tettamanzi,
    An Ontological Representation of Documents and Queries for Information Retrieval Systems,
    2010
    , (23rd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, IEA-AIE 2010,
    Cordoba, Spain,
    06/01/2010 - 04/01/2010)
  3. Chiara Ghidini; Luciano Serafini,
    Distributed First Order Logic,
    In this paper we define a logic, called \emph{Distributed First Order Logic (DFOL)}, for the formalization of distributed knowledge-based systems. In these systems knowledge is distributed in a set of heterogeneous subsystems. Each subsystem represents, in its own language, partial knowledge about a subset of the whole domain, and is able to exchange knowledge with the other subsystems via query answering. DFOL formalizes the partial knowledge of each subsystem by means of a first order theory on a given domain, and represents the semantic overlapping between subsystems by means of relations between formulas in the languages of the different subsystems and relations between objects in their domains. In this paper we present the syntax and semantics of DFOL. Moreover we provide a sound and complete calculus, based on natural deduction, for DFOL.,
    2010
  4. Chiara Ghidini; Marco Rospocher; Luciano Serafini,
    Conceptual Modeling in Wikis: a Reference Architecture and a Tool,
    Thesuccessofwikisforcollaborativeknowledgeconstructionistrig- gering the development of a number of tools for collaborative conceptual model- ing based on them. In this paper we present a reference architecture for collabo- rative wiki-based conceptual modeling tools. The characteristics of our reference architecture, are: (i) the use of wiki pages to describe semantic terms and organi- sational mechanisms of a conceptual modeling language; (ii) the organization of wiki pages in an unstructured part and a structured part; and (iii) a multi-mode access to the pages. We also present a completely revised version of the MoKi tool fully compliant with the presented reference architecture.,
    2010
  5. Michael Fisher; Chiara Ghidini,
    in «JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION»,
    vol. 18,
    n. 1,
    2009
    , pp. 3 -
    21
  6. Peter Scheir; Chiara Ghidini; Roman Kern; Michael Granitzer; Stefanie Lindstaedt,
    Networked Knowledge - Networked Media: Integrating Knowledge Management, New Media Technologies and Semantic Systems,
    Springer,
    2009
    , pp. 95 -
    111
  7. Chiara Ghidini; Barbara Kump; Stefanie Lindstaedt; Nahid Mabhub; Viktoria Pammer; Marco Rospocher; Luciano Serafini,
    MoKi: The Enterprise Modelling Wiki,
    The 6th Annual European Semantic Web Conference (ESWC2009),
    Springer,
    vol.5554,
    2009
    , pp. 831-
    835
    , (The 6th Annual European Semantic Web Conference (ESWC2009),
    Heraklion, Greece,
    30/05/2009 - 04/06/2009)
  8. Chiara Di Francescomarino; Alessandro Marchetto; Paolo Tonella,
    Reverse Engineering of Business Processes exposed as Web Applications,
    European Conference on Software Maintenance and Reengineering,
    IEEE Computer Society,
    2009
    , pp. 139-
    148
    , (European Conference on Software Maintenance and Reengineering,
    Kaiserslautern, Germany,
    23/03/2009 - 27/03/2009)
  9. Marco Rospocher; Chiara Ghidini; Viktoria Pammer; Luciano Serafini; Stefanie Lindstaedt,
    SemWiki2009 - Fourth Workshop on Semantic Wikis,
    CEUR-WS.org,
    vol.464,
    2009
    , pp. 113-
    127
    , (SemWiki2009 - Fourth Workshop on Semantic Wikis,
    Hersonissos, Heraklion, Crete, Greece,
    01/06/2009)
  10. Chiara Di Francescomarino; Paolo Tonella,
    Cooperative Aspect Oriented Programming for Executable Business Processes,
    PESOS 2009 Principles of Engineering Service Oriented Systems,
    IEEE Computer Society,
    2009
    , pp. 91-
    94
    , (PESOS 2009 Principles of Engineering Service Oriented Systems,
    Vancouver, Canada,
    05/2009)

Pages