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.

Mario Alviano
SearchCollections
Map detail
Mario Alviano13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMario AlvianoAMario AlvianoResearcherGenerative Datalog with Stable NegationWGenerative Datalog with...preprint / 2022Large-scale Ontological Reasoning via DatalogWLarge-scale Ontological...preprint / 2020Enhancing magic sets with an application to ontological reasoningWEnhancing magic sets wi...preprint / 2019Anytime Computation of Cautious Consequences in Answer Set ProgrammingWAnytime Computation of ...preprint / 2014Complexity and Compilation of GZ-Aggregates in Answer Set ProgrammingWComplexity and Compilat...preprint / 2015Rewriting recursive aggregates in answer set programming: back to monotonicityWRewriting recursive agg...preprint / 2015Fuzzy Answer Set Computation via Satisfiability Modulo TheoriesWFuzzy Answer Set Comput...preprint / 2015Complexity of super-coherence problems in ASPWComplexity of super-coh...preprint / 2012A framework for Conditional Reasoning in Answer Set ProgrammingWA framework for Conditi...preprint / 2026ASP Chef grows Mustache to look betterWASP Chef grows Mustache...preprint / 2025Disjunctive ASP with Functions: Decidable Queries and Effective ComputationWDisjunctive ASP with Fu...preprint / 2010Dynamic Magic Sets for Super-Consistent Answer Set ProgramsWDynamic Magic Sets for ...preprint / 2010
Person12 links

Mario Alviano

Researcher

PaperGenerative Datalog with Stable NegationAuthorship / preprint / 2022PaperLarge-scale Ontological Reasoning via DatalogAuthorship / preprint / 2020PaperEnhancing magic sets with an application to ontological reasoningAuthorship / preprint / 2019PaperAnytime Computation of Cautious Consequences in Answer Set ProgrammingAuthorship / preprint / 2014PaperComplexity and Compilation of GZ-Aggregates in Answer Set ProgrammingAuthorship / preprint / 2015PaperRewriting recursive aggregates in answer set programming: back to monotonicityAuthorship / preprint / 2015PaperFuzzy Answer Set Computation via Satisfiability Modulo TheoriesAuthorship / preprint / 2015PaperComplexity of super-coherence problems in ASPAuthorship / 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)