BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Diego Calvanese
SearchCollections
Map detail
Diego Calvanese13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDiego CalvaneseADiego CalvaneseResearcherCounting Query Answers over a DL-Lite Knowledge Base (extended version)WCounting Query Answers ...preprint / 2020Combined Covers and Beth Definability (Extended Version)WCombined Covers and Bet...preprint / 2020View Synthesis from Schema MappingsWView Synthesis from Sch...preprint / 2010Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)WVerification of Inconsi...preprint / 2013Reasoning about Explanations for Negative Query Answers in DL-LiteWReasoning about Explana...preprint / 2014Shape and Content: Incorporating Domain Knowledge into Shape AnalysisWShape and Content: Inco...preprint / 2014Verification of Relational Multiagent Systems with Data Types (Extended Version)WVerification of Relatio...preprint / 2014Adding Context to Knowledge and Action BasesWAdding Context to Knowl...preprint / 2014Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)WVerification of General...preprint / 2015Semantics and Analysis of DMN Decision TablesWSemantics and Analysis ...preprint / 2016Verification of Relational Data-Centric Dynamic Systems with External ServicesWVerification of Relatio...preprint / 2012Verification of Semantically-Enhanced Artifact Systems (Extended Version)WVerification of Semanti...preprint / 2013
Person12 links

Diego Calvanese

Researcher

PaperCounting Query Answers over a DL-Lite Knowledge Base (extended version)Authorship / preprint / 2020PaperCombined Covers and Beth Definability (Extended Version)Authorship / preprint / 2020PaperView Synthesis from Schema MappingsAuthorship / preprint / 2010PaperVerification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)Authorship / preprint / 2013PaperReasoning about Explanations for Negative Query Answers in DL-LiteAuthorship / preprint / 2014PaperShape and Content: Incorporating Domain Knowledge into Shape AnalysisAuthorship / preprint / 2014PaperVerification of Relational Multiagent Systems with Data Types (Extended Version)Authorship / preprint / 2014PaperAdding Context to Knowledge and Action BasesAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)