Zum Inhalt springen

Bellini, Vincenzo [Verfasser:in] ; Romani, Felice [Sonstige Person, Familie und Körperschaft]; Luisi, Fabio [Ausführende:r]; Gavanelli, Paolo [Ausführende:r]; Aliberti, Lucia [Ausführende:r]; Capasso, Camille [Ausführende:r]; Thompson, Martin [Ausführende:r]; De Haan, John David [Ausführende:r]; Martin, Raemond [Ausführende:r] Deutsche Oper Berlin Chor, Deutsche Oper Berlin Orchester

Beatrice di Tenda (2 Compact-Discs in Box)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Deutsche Schallplatten, P 1992

Erschienen in: Berlin Classics
Donizetti, Gaetano [Verfasser:in] ; Cammarano, Salvatore [Sonstige Person, Familie und Körperschaft]; Grossmann, Agnes [Ausführende:r]; Caetani, Oleg [Ausführende:r]; Carreras, José [Ausführende:r]; Ricciarelli, Katia [Ausführende:r]; Pons, Juan [Ausführende:r]; Polgár, László [Ausführende:r]; Gavanelli, Paolo [Ausführende:r]; Peeters, Harry [Ausführende:r]; Pita, Jorge [Ausführende:r] Wiener Singakademie, Wiener Symphoniker

Poliuto (2 CDs)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Frankfurt (Main)]: CBS Records, c 1989

Erschienen in: CBS masterworks
Puccini, Giacomo [Verfasser:in] ; Giacosa, Giuseppe [Sonstige Person, Familie und Körperschaft]; Illica, Luigi [Sonstige Person, Familie und Körperschaft]; Murger, Henri [Sonstige Person, Familie und Körperschaft]; Gelmetti, Gianluigi [Ausführende:r]; Scardella, Danilo [Ausführende:r]; Marchica, Alfonso [Ausführende:r]; Ventre, Mariele [Ausführende:r]; Monti, Piero [Ausführende:r]; Dessì, Daniela [Ausführende:r]; Sabbatini, Giuseppe [Ausführende:r]; Gavanelli, Paolo [Ausführende:r]; Antoniozzi, Alfonso [Ausführende:r]; Colombara, Carlo [Ausführende:r]; Scarabelli, Adelina [Ausführende:r]; Zecchillo, Giuseppe [Ausführende:r]; Sarti, Gastone [Ausführende:r] Antoniano Bologna Piccolo Coro, Teatro comunale di Bologna Coro, Teatro comunale di Bologna Orchestra

La bohème : Oper in vier Bildern; Szenen aus "La vie de Bohème" von Henry Murger (2 Schallpl)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Köln]: EMI Electrola, P 1990

Erschienen in: His Master´s Voice
Alberti, Marco [Verfasser:in]; Chesani, Federico [Verfasser:in]; Gavanelli, Marco [Verfasser:in]; Lamma, Evelina [Verfasser:in]; Mello, Paola [Verfasser:in]; Montali, Marco [Verfasser:in]; Torroni, Paolo [Verfasser:in] ; Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Marco Montali and Paolo Torroni [Mitwirkende:r]

Expressing and Verifying Business Contracts with Abductive

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007
Torroni, Paolo; Gavanelli, Marco; Chesani, Federico

Argumentation in the Semantic Web

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2007

Erschienen in: IEEE Intelligent Systems, 22 (2007) 6, Seite 66-74
Cattafi, Massimiliano; Gavanelli, Marco; Milano, Michela; Cagnoli, Paolo

Sustainable biomass power plant location in the Italian Emilia-Romagna region

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2011

Erschienen in: ACM Transactions on Intelligent Systems and Technology, 2 (2011) 4, Seite 1-19
GAVANELLI, MARCO; RIGUZZI, FABRIZIO; MILANO, MICHELA; CAGNOLI, PAOLO

Logic–based decision support for strategic environmental assessment

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2010

Erschienen in: Theory and Practice of Logic Programming, 10 (2010) 4-6, Seite 643-658
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Lecture Notes in Computer Science: The SCIFF Abductive Proof-Procedure

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Lecture Notes in Computer Science (2005), Seite 135-147
Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Lecture Notes in Computer Science: An Abductive Framework for Information Exchange in Multi-agent Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 34-52
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Lecture Notes in Computer Science: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 243-262
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Specification and Verification of Agent Interaction using Social Integrity Constraints

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2004

Erschienen in: Electronic Notes in Theoretical Computer Science, 85 (2004) 2, Seite 94-116
Alberti, Marco; Cattafi, Massimiliano; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco; Torroni, Paolo

A Computational Logic Application Framework for Service Discovery and Contracting

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IGI Global, 2011

Erschienen in: International Journal of Web Services Research, 8 (2011) 3, Seite 1-25
Alberti, Marco; Cattafi, Massimiliano; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco; Torroni, Paolo

A Computational Logic Application Framework for Service Discovery and Contracting

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

IGI Global, 2011

Erschienen in: International Journal of Web Services Research, 8 (2011) 3, Seite 1-25
Gavanelli, Marco; Riguzzi, Fabrizio; Milano, Michela; Sottara, Davide; Cangini, Alessandro; Cagnoli, Paolo

Lecture Notes in Computer Science: An Application of Fuzzy Logic to Strategic Environmental Assessment

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 324-335
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco; Torroni, Paolo

Expressing and Verifying Business Contracts with Abductive Logic Programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Informa UK Limited, 2008

Erschienen in: International Journal of Electronic Commerce, 12 (2008) 4, Seite 9-38
Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola

Lecture Notes in Computer Science: Verification from Declarative Specifications Using Logic Programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Lecture Notes in Computer Science (2008), Seite 440-454
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo

Verifiable agent interaction in abductive logic programming : The SCIFF framework

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2008

Erschienen in: ACM Transactions on Computational Logic, 9 (2008) 4, Seite 1-43
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco; Torroni, Paolo

Lecture Notes in Computer Science: A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Lecture Notes in Computer Science (2007), Seite 279-288
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Chesani, Federico; Mello, Paola; Torroni, Paolo

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Informa UK Limited, 2006

Erschienen in: Applied Artificial Intelligence, 20 (2006) 2-4, Seite 133-157
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo

Lecture Notes in Computer Science: Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Lecture Notes in Computer Science (2006), Seite 58-72

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr