Mario Alviano

Available identifiers

zbMath Open alviano.marioWikidataQ62036611 ScholiaQ62036611MaRDI QIDQ590982

List of research outcomes

Publication	Date of Publication	Type
ASP and subset minimality: enumeration, cautious reasoning and MUSes	2023-06-27	Paper
Modal logic S5 in answer set programming with lazy creation of worlds	2023-04-04	Paper
Enumeration of minimal models and MUSes in WASP	2023-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5020967	2022-01-11	Paper
Modal Logic S5 Satisfiability in Answer Set Programming	2022-01-10	Paper
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search	2021-05-20	Paper
Coalition formation in social environments with logic-based agents1	2021-01-20	Paper
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming	2020-12-13	Paper
Optimum stable model search: algorithms and implementation	2020-08-05	Paper
Enhancing Magic Sets with an Application to Ontological Reasoning	2020-05-04	Paper
Inconsistency Proofs for ASP: The ASP - DRUPE Format	2020-05-04	Paper
Chain answer sets for logic programs with generalized atoms	2020-02-18	Paper
Answer Set Enumeration via Assumption Literals	2020-02-10	Paper
Evaluation of disjunctive programs in WASP	2019-10-10	Paper
Enhancing DLV for large-scale reasoning	2019-10-10	Paper
Argumentation Reasoning via Circumscription with Pyglaf	2019-07-17	Paper
Model Enumeration via Assumption Literals	2019-07-17	Paper
Shared aggregate sets in answer set programming	2018-12-04	Paper
Cautious reasoning in ASP via minimal models and unsatisfiable cores	2018-12-04	Paper
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming	2018-12-04	Paper
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates	2017-11-09	Paper
Rewriting recursive aggregates in answer set programming: back to monotonicity	2017-11-09	Paper
Complexity and compilation of GZ-aggregates in answer set programming	2017-11-09	Paper
Fuzzy answer set computation via satisfiability modulo theories	2017-11-09	Paper
Anytime answer set optimization via unsatisfiable core shrinking	2017-11-09	Paper
Model enumeration in propositional circumscription via unsatisfiable core analysis	2017-11-08	Paper
The ASP system DLV2	2017-09-05	Paper
Supportedly stable answer sets for logic programs with generalized atoms	2017-06-26	Paper
Advances in WASP	2015-11-04	Paper
Anytime Computation of Cautious Consequences in Answer Set Programming	2014-11-25	Paper
Complexity of super-coherence problems in ASP	2014-05-30	Paper
Fuzzy answer sets approximations	2014-02-27	Paper
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics	2013-10-10	Paper
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues	2013-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4906882	2013-02-28	Paper
Magic sets for disjunctive Datalog programs	2012-11-15	Paper
Team-building with answer set programming in the Gioia-Tauro seaport	2012-08-30	Paper
DYNAMIC MAGIC SETS FOR DISJUNCTIVE DATALOG PROGRAMS	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3112638	2012-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3011297	2011-06-28	Paper
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates	2011-05-26	Paper
Disjunctive ASP with functions: Decidable queries and effective computation	2010-08-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mario Alviano