Daniela Berardi

Artificial Intelligence · 2003–2005

A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 12 citations into it; #26,870 of 35,345 by trust here, #27,551 by citations
• Information Systems — 9 citations into it; #7,203 of 8,771 by trust here, #7,705 by citations
• Management Information Systems — 5 citations into it; #2,779 of 3,376 by trust here, #2,829 by citations

Whom Daniela Berardi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Franz Baader
2. S. Narayanan
3. Sheila A. McIlraith
4. Diego Calvanese
5. U. Sattler
6. Peter F. Patel-Schneider
7. Tevfik Bultan
8. Xiang Fu
9. Volker Haarslev
10. R. Hull

Who trusts Daniela Berardi overall

1. Paolo Traverso
2. Marco Pistore
3. Diego Calvanese
4. Babak Bagheri Hariri
5. Piergiorgio Bertoli
6. Giuseppe De Giacomo
7. R. Hull

Papers from Daniela Berardi's perspective

Ordered by how strongly the researchers Daniela Berardi trusts endorse each paper. Same corpus, a different order for every researcher.

1. RACER System Description (International Joint Conference on Automated Reasoning)
2. Adapting Golog for Composition of Semantic Web Services
3. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
4. Dynamic logic (SIGA)
5. The description logic handbook: theory
6. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)
7. Conversation specification: a new approach to design and analysis of e-service composition (The Web Conference)
8. HTN planning for Web Service composition using SHOP2 (Journal of Web Semantics)
9. Simulation, verification and automated composition of web services (The Web Conference)
10. Resolution Theorem Proving (Handbook of Automated Reasoning)

Their papers

• Automatic Composition of Transition-based Semantic Web Services with Messaging (2005) — 300 citations
• Reasoning on UML class diagrams (2005) — 657 citations
• Automatic Composition of E-services That Export Their Behavior (2003) — 448 citations