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.

Nicola Leone
SearchCollections
Map detail
Nicola Leone13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNicola LeoneANicola LeoneResearcherA Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)WA Formal Comparison bet...preprint / 2022Precomputing Datalog evaluation plans in large-scale scenariosWPrecomputing Datalog ev...preprint / 2019Enhancing magic sets with an application to ontological reasoningWEnhancing magic sets wi...preprint / 2019Complexity and Compilation of GZ-Aggregates in Answer Set ProgrammingWComplexity and Compilat...preprint / 2015Unit Testing in ASPIDEWUnit Testing in ASPIDEpreprint / 2011Ontology-driven Information ExtractionWOntology-driven Informa...preprint / 2015Disjunctive ASP with Functions: Decidable Queries and Effective ComputationWDisjunctive ASP with Fu...preprint / 2010Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity IssuesWDisjunctive Datalog wit...preprint / 2012Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)WCombining Answer Set Pr...preprint / 2016Driving CDCL SearchWDriving CDCL Searchpreprint / 2016Proceedings 36th International Conference on Logic Programming (Technical Communications)WProceedings 36th Intern...preprint / 2020Magic Sets for Disjunctive Datalog ProgramsWMagic Sets for Disjunct...preprint / 2012
Person12 links

Nicola Leone

Researcher

PaperA Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)Authorship / preprint / 2022PaperPrecomputing Datalog evaluation plans in large-scale scenariosAuthorship / preprint / 2019PaperEnhancing magic sets with an application to ontological reasoningAuthorship / preprint / 2019PaperComplexity and Compilation of GZ-Aggregates in Answer Set ProgrammingAuthorship / preprint / 2015PaperUnit Testing in ASPIDEAuthorship / preprint / 2011PaperOntology-driven Information ExtractionAuthorship / preprint / 2015PaperDisjunctive ASP with Functions: Decidable Queries and Effective ComputationAuthorship / preprint / 2010PaperDisjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity IssuesAuthorship / preprint / 2012

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)