default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID64. Birthday: Alberto Martelli , 2008
- Matteo Baldoni, Cristina Baroglio:
Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. CEUR Workshop Proceedings 487, CEUR-WS.org 2008 - Agostino Dovier:
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem. - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Transformation for Development, Verification, and Synthesis of Software. - Giulio Piancastelli, Andrea Omicini, Enrico Denti:
Towards a Logic Language and Framework for Web Programming. - Gianfranco Rossi:
From Set Unification to Set Constraints. - Stefania Costantini, Alessio Paolucci, Arianna Tocchio, Panagiota Tsintza:
DALI, RASP, Mnemosine: Computational Logic at Work. - Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. - Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Computational Logic in Genova. - Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà:
Logic Programming in DataLog: A Long Tour from Theory to Practice. - Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni:
Modeling and Verification of Business Processes and Choreographies in ALP. - Piero A. Bonatti:
On the decidability of FDNC programs. - José Júlio Alferes, Federico Banti, Antonio Brogi:
Evolving Reactive Logic Programs. - Annalisa Bossi, Nicoletta Cocco:
A Valuable Experience in Computational Logic. - Paolo Mancarella, Francesca Toni:
Computational Logic and Agent Based Systems. - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. - Matteo Baldoni, Cristina Baroglio, Viviana Patti:
Multimodal Logics for Reasoning about Interaction.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-29 00:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
