default search action
Mario Alviano
Person information
- affiliation: University of Calabria, Rende, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j44]Mario Alviano, Giada Gabriele:
Improve Parallel Resistance of Hashcash Tree. Cryptogr. 8(3): 30 (2024) - [j43]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics. Intelligenza Artificiale 18(1): 153-174 (2024) - [j42]Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners:
Addressing marketplace logistic tasks in answer set programming. Intelligenza Artificiale 18(2): 261-278 (2024) - [j41]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré
:
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. Int. J. Approx. Reason. 164: 109065 (2024) - [j40]Mario Alviano
Selected Papers from Datalog 2.0 2022. Theory Pract. Log. Program. 24(2): 193-195 (2024) - [c75]Mario Alviano, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Many-valued Temporal Weighted Knowledge Bases with Typicality for Explainability. CILC 2024 - [c74]Mario Alviano, Carmine Dodaro, Ilaria R. Vasile:
Structured Declarative Language. CILC 2024 - [c73]Mario Alviano, Lorenzo Grillo:
Answer Set Programming and Large Language Models Interaction with YAML: Preliminary Report. CILC 2024 - [c72]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Daniele Theseider Dupré:
Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract). Description Logics 2024 - [c71]Mario Alviano, Antonio Ielo, Francesco Ricca:
Efficient Compliance Computation in Probabilistic Declarative Specifications. ICLP Workshops 2024 - [c70]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Marco Maratea:
AMO-aware Aggregates in Answer Set Programming. IJCAI 2024: 3215-3223 - [c69]Mario Alviano
Integrating MiniZinc with ASP Chef: Browser-Based Constraint Programming for Education and Prototyping. LPNMR 2024: 174-186 - [c68]Mario Alviano
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. LPNMR 2024: 187-199 - [c67]Mario Alviano
Integrating Structured Declarative Language (SDL) into ASP Chef. LPNMR 2024: 387-392 - [c66]Mario Alviano
Marketplace Logistics via Answer Set Programming. PADL 2024: 54-63 - [c65]Mario Alviano
Rethinking Answer Set Programming Templates. PADL 2024: 82-99 - [e5]Mario Alviano, Matthias Lanzinger:
Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), Dallas, Texas, USA, October 11, 2024. CEUR Workshop Proceedings 3801, CEUR-WS.org 2024 [contents] - [i34]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Temporal Many-valued Conditional Logics: a Preliminary Report. CoRR abs/2409.09069 (2024) - 2023
- [j39]Mario Alviano, Carmine Dodaro
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320: 103931 (2023) - [j38]Mario Alviano
Hashcash Tree, a Data Structure to Mitigate Denial-of-Service Attacks. Algorithms 16(10): 462 (2023) - [j37]Mario Alviano
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23(1): 157-194 (2023) - [j36]Mario Alviano
ValAsp: A Tool for Data Validation in Answer Set Programming. Theory Pract. Log. Program. 23(5): 965-985 (2023) - [c64]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality. AI³@AI*IA 2023 - [c63]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases. CILC 2023 - [c62]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Advancements in xASP, an XAI System for Answer Set Programming. CILC 2023 - [c61]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Description Logics 2023 - [c60]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics. ICLP Workshops 2023 - [c59]Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners
Introducing ASP recipes and ASP Chef. ICLP Workshops 2023 - [c58]Mario Alviano
Generative Datalog and Answer Set Programming - Extended Abstract. JELIA 2023: 3-10 - [c57]Mario Alviano
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA 2023: 481-497 - [c56]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation. NMR 2023: 4-13 - [c55]Mario Alviano
Generative Datalog with Stable Negation. PODS 2023: 21-32 - [c54]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Explanations for Answer Set Programming. ICLP 2023: 27-40 - [i33]Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality. CoRR abs/2303.04534 (2023) - [i32]Mario Alviano, Francesco Bartoli
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality. CoRR abs/2305.00304 (2023) - [i31]Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
Rethinking Answer Set Programming Templates. CoRR abs/2307.06382 (2023) - 2022
- [c53]Mario Alviano, Laura Giordano, Daniele Theseider Dupré:
Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation. AI³@AI*IA 2022 - [c52]Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA 2022: 64-72 - [c51]Andrea De Seta, Mario Alviano:
An Application of ASP for Procedural Content Generation in Video Games. CILC 2022: 134-140 - [c50]Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds. LPNMR 2022: 16-28 - [c49]Mario Alviano
Enumeration of Minimal Models and MUSes in WASP. LPNMR 2022: 29-42 - [e4]Mario Alviano, Andreas Pieris:
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings 3203, CEUR-WS.org 2022 [contents] - [i30]Mario Alviano, Carmine Dodaro, Arnel Zamayla:
ValAsp: a tool for data validation in Answer Set Programming. CoRR abs/2202.09626 (2022) - [i29]Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris:
Generative Datalog with Stable Negation. CoRR abs/2206.12247 (2022) - [i28]Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation. CoRR abs/2212.07523 (2022) - 2021
- [j35]Mario Alviano
Modal Logic S5 Satisfiability in Answer Set Programming. Theory Pract. Log. Program. 21(5): 527-542 (2021) - [c48]Mario Alviano, Arnel Zamayla:
A Speech about Generative Datalog and Non-measurable Sets. ICLP Workshops 2021 - [c47]Mario Alviano
Data Validation Meets Answer Set Programming. PADL 2021: 90-106 - [i27]Mario Alviano, Sotiris Batsakis, George Baryannis:
Modal Logic S5 Satisfiability in Answer Set Programming. CoRR abs/2108.04194 (2021) - [i26]Mario Alviano:
The pyglaf argumentation reasoner (ICCMA2021). CoRR abs/2109.03162 (2021) - [i25]Mario Alviano, Wolfgang Faber, Martin Gebser:
Aggregate Semantics for Propositional Answer Set Programs. CoRR abs/2109.08662 (2021) - 2020
- [j34]Mario Alviano, Carmine Dodaro
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search. Fundam. Informaticae 176(3-4): 271-297 (2020) - [j33]Mario Alviano, Gianluigi Greco, Francesco Scarcello:
Special issue: Selected and revised papers from the 18th International Conference of the Italian Association for Artificial Intelligence. Intelligenza Artificiale 14(2): 179-181 (2020) - [j32]Mario Alviano, Carmine Dodaro
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30(4): 863-897 (2020) - [j31]George Baryannis
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. Theory Pract. Log. Program. 20(5): 687-702 (2020) - [c46]Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten:
Answer Set Programming in Healthcare: Extended Overview. IPS-RCRA@AI*IA 2020 - [c45]Mario Alviano:
Answer Set Programming with Composed Predicate Names. KR 2020: 44-48 - [p1]Mario Alviano, Marco Manna:
Large-Scale Ontological Reasoning via Datalog. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 214-229 - [i24]Mario Alviano, Marco Manna:
Large-scale Ontological Reasoning via Datalog. CoRR abs/2003.09698 (2020) - [i23]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Emmanuel Papadakis:
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming. CoRR abs/2008.01519 (2020)
2010 – 2019
- 2019
- [j30]Mario Alviano:
Argumentation Reasoning via Circumscription with Pyglaf. Fundam. Informaticae 167(1-2): 1-30 (2019) - [j29]Mario Alviano, Carmine Dodaro
Model Enumeration via Assumption Literals. Fundam. Informaticae 167(1-2): 31-58 (2019) - [j28]Mario Alviano
Enhancing Magic Sets with an Application to Ontological Reasoning. Theory Pract. Log. Program. 19(5-6): 654-670 (2019) - [j27]Mario Alviano
Inconsistency Proofs for ASP: The ASP - DRUPE Format. Theory Pract. Log. Program. 19(5-6): 891-907 (2019) - [c44]Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Large Scale DLV: Preliminary Results. CILC 2019 - [c43]Mario Alviano, Javier Romero, Torsten Schaub
On the Integration of CP-nets in ASPRIN. IJCAI 2019: 1495-1501 - [c42]Mario Alviano
Chain Answer Sets for Logic Programs with Generalized Atoms. JELIA 2019: 462-478 - [c41]Mario Alviano
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c40]Nicola Leone
Enhancing DLV for Large-Scale Reasoning. LPNMR 2019: 312-325 - [c39]Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Querying Large Expressive Horn Ontologies. SEBD 2019 - [e3]Mario Alviano, Gianluigi Greco, Marco Maratea, Francesco Scarcello:
Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019. CEUR Workshop Proceedings 2495, CEUR-WS.org 2019 [contents] - [e2]Mario Alviano, Gianluigi Greco, Francesco Scarcello:
AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings. Lecture Notes in Computer Science 11946, Springer 2019, ISBN 978-3-030-35165-6 [contents] - [e1]Mario Alviano, Andreas Pieris:
Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. CEUR Workshop Proceedings 2368, CEUR-WS.org 2019 [contents] - [d1]Mario Alviano
Evaluation of disjunctive programs in WASP. Zenodo, 2019 - [i22]Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari:
Enhancing magic sets with an application to ontological reasoning. CoRR abs/1907.08424 (2019) - [i21]Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath:
Inconsistency Proofs for ASP: The ASP-DRUPE Format. CoRR abs/1907.10389 (2019) - 2018
- [j26]Mario Alviano, Gianluigi Greco, Antonella Guzzo:
Coalition formation in social environments with logic-based agents. AI Commun. 31(5): 383-407 (2018) - [j25]Mario Alviano:
Algorithms for solving optimization problems in answer set programming. Intelligenza Artificiale 12(1): 1-14 (2018) - [j24]Mario Alviano, Carmine Dodaro
Nurse (Re)scheduling via answer set programming. Intelligenza Artificiale 12(2): 109-124 (2018) - [j23]Mario Alviano
Aggregates in Answer Set Programming. Künstliche Intell. 32(2-3): 119-124 (2018) - [j22]Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [j21]Mario Alviano, Carmine Dodaro
Shared aggregate sets in answer set programming. Theory Pract. Log. Program. 18(3-4): 301-318 (2018) - [j20]Mario Alviano, Carmine Dodaro
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18(3-4): 319-336 (2018) - [j19]George Baryannis
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Theory Pract. Log. Program. 18(3-4): 355-371 (2018) - [c38]Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone
Reasoning over Ontologies with DLV. IC3K 2018: 114-136 - [c37]Mario Alviano:
Query Answering in Propositional Circumscription. IJCAI 2018: 1669-1675 - [c36]Mario Alviano, Javier Romero, Torsten Schaub:
Preference Relations by Approximation. KR 2018: 2-11 - [c35]Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo:
A Hybrid Approach to Optimization in Answer Set Programming. KR 2018: 32-41 - [i20]George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai:
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. CoRR abs/1804.07088 (2018) - [i19]Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti:
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR abs/1804.08480 (2018) - [i18]Mario Alviano, Carmine Dodaro, Marco Maratea:
Shared aggregate sets in answer set programming. CoRR abs/1804.08488 (2018) - 2017
- [j18]Mario Alviano:
Model enumeration in propositional circumscription via unsatisfiable core analysis. Theory Pract. Log. Program. 17(5-6): 708-725 (2017) - [c34]Mario Alviano, Giovanni Amendola, Rafael Peñaloza:
Minimal Undefinedness for Fuzzy Answer Sets. AAAI 2017: 3694-3700 - [c33]Mario Alviano:
Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. RCRA@AI*IA 2017: 1-16 - [c32]Mario Alviano, Carmine Dodaro
An Advanced Answer Set Programming Encoding for Nurse Scheduling. AI*IA 2017: 468-482 - [c31]Mario Alviano:
The Pyglaf Argumentation Reasoner. ICLP (Technical Communications) 2017: 2:1-2:3 - [c30]Mario Alviano, Carmine Dodaro:
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. IJCAI 2017: 4781-4785 - [c29]Mario Alviano, Francesco Calimeri, Carmine Dodaro
The ASP System DLV2. LPNMR 2017: 215-221 - [c28]Mario Alviano, Michael Morak, Andreas Pieris:
Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS 2017: 377-388 - [i17]Mario Alviano:
Model enumeration in propositional circumscription via unsatisfiable core analysis. CoRR abs/1707.01423 (2017) - 2016
- [j17]Mario Alviano:
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Fundam. Informaticae 149(1-2): 1-34 (2016) - [j16]Mario Alviano, Carmine Dodaro
Anytime answer set optimization via unsatisfiable core shrinking. Theory Pract. Log. Program. 16(5-6): 533-551 (2016) - [c27]Mario Alviano, Wolfgang Faber, Hannes Strass:
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI 2016: 879-885 - [c26]Mario Alviano, Carmine Dodaro
Answer Set Enumeration via Assumption Literals. AI*IA 2016: 149-163 - [c25]Mario Alviano, Carmine Dodaro:
Completion of Disjunctive Logic Programs. IJCAI 2016: 886-892 - [c24]Mario Alviano, Wolfgang Faber, Martin Gebser:
From Non-Convex Aggregates to Monotone Aggregates in ASP. IJCAI 2016: 4100-4194 - [c23]Mario Alviano, Nicola Leone:
On the Properties of GZ-Aggregates in Answer Set Programming. IJCAI 2016: 4105-4109 - [i16]Mario Alviano, Carmine Dodaro:
Anytime answer set optimization via unsatisfiable core shrinking. CoRR abs/1608.00731 (2016) - 2015
- [j15]Mario Alviano, Wolfgang Faber
Effectively solving NP-SPEC encodings by translation to ASP. J. Exp. Theor. Artif. Intell. 27(5): 577-601 (2015) - [j14]Mario Alviano, Wolfgang Faber
Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory Pract. Log. Program. 15(4-5): 559-573 (2015) - [j13]Mario Alviano, Nicola Leone
Complexity and compilation of GZ-aggregates in answer set programming. Theory Pract. Log. Program. 15(4-5): 574-587 (2015) - [j12]Mario Alviano, Rafael Peñaloza
Fuzzy answer set computation via satisfiability modulo theories. Theory Pract. Log. Program. 15(4-5): 588-603 (2015) - [c22]Mario Alviano:
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. RCRA@AI*IA 2015: 1-15 - [c21]Mario Alviano, Carmine Dodaro, Francesco Ricca:
JWASP: A New Java-Based ASP Solver. RCRA@AI*IA 2015: 16-23 - [c20]Mario Alviano, Carmine Dodaro, Francesco Ricca:
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI 2015: 2677-2683 - [c19]Mario Alviano, Wolfgang Faber:
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. IJCAI 2015: 2684-2690 - [c18]Mario Alviano, Carmine Dodaro
Advances in WASP. LPNMR 2015: 40-54 - [c17]Mario Alviano, Andreas Pieris:
Default Negation for Non-Guarded Existential Rules. PODS 2015: 79-90 - [c16]Mario Alviano, Wolfgang Faber
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. RR 2015: 30-44 - [i15]Mario Alviano, Rafael Peñaloza:
Fuzzy Answer Set Computation via Satisfiability Modulo Theories. CoRR abs/1507.03920 (2015) - [i14]Mario Alviano, Nicola Leone:
Complexity and Compilation of GZ-Aggregates in Answer Set Programming. CoRR abs/1507.03922 (2015) - [i13]Mario Alviano, Wolfgang Faber, Martin Gebser:
Rewriting recursive aggregates in answer set programming: back to monotonicity. CoRR abs/1507.03923 (2015) - 2014
- [j11]Mario Alviano, Wolfgang Faber
Complexity of super-coherence problems in ASP. Theory Pract. Log. Program. 14(3): 339-361 (2014) - [j10]Mario Alviano, Carmine Dodaro
Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 755-770 (2014) - [i12]Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR abs/1401.4596 (2014) - [i11]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Preliminary Report on WASP 2.0. CoRR abs/1404.6999 (2014) - [i10]Mario Alviano, Wolfgang Faber:
Semantics and Compilation of Answer Set Programming with Generalized Atoms. CoRR abs/1405.1287 (2014) - [i9]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. CoRR abs/1405.3546 (2014) - 2013
- [j9]Mario Alviano, Rafael Peñaloza
Fuzzy answer sets approximations. Theory Pract. Log. Program. 13(4-5): 753-767 (2013) - [c15]Mario Alviano, Carmine Dodaro
Comparing Alternative Solutions for Unfounded Set Propagation in ASP. AI*IA 2013: 1-12 - [c14]Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR 2013: 42-53 - [c13]Mario Alviano, Carmine Dodaro
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - [c12]Mario Alviano, Wolfgang Faber
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. LPNMR 2013: 67-72 - [c11]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Query Answering over Disjunctive Datalog with Existential Quantifiers. SEBD 2013: 393-400 - [i8]Mario Alviano, Wolfgang Faber:
Translating NP-SPEC into ASP. CoRR abs/1301.1385 (2013) - [i7]Mario Alviano, Wolfgang Faber:
Properties of Answer Set Programming with Convex Generalized Atoms. CoRR abs/1312.6096 (2013) - 2012
- [j8]Mario Alviano
Magic Sets for disjunctive Datalog programs. Artif. Intell. 187: 156-192 (2012) - [j7]Marco Manna
The HiLeX System for Semantic Information Extraction. Trans. Large Scale Data Knowl. Centered Syst. 5: 91-125 (2012) - [j6]Francesco Ricca, Giovanni Grasso
Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. 12(3): 361-381 (2012) - [j5]Mario Alviano, Wolfgang Faber
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Theory Pract. Log. Program. 12(4-5): 701-718 (2012) - [c10]Mario Alviano
Magic-Sets for Datalog with Existential Quantifiers. Datalog 2012: 31-43 - [i6]Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets for Disjunctive Datalog Programs. CoRR abs/1204.6346 (2012) - [i5]Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna:
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues. CoRR abs/1210.2316 (2012) - [i4]Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of super-coherence problems in ASP. CoRR abs/1212.5895 (2012) - 2011
- [j4]Mario Alviano
Dynamic Magic Sets and super-coherent answer set programs. AI Commun. 24(2): 125-145 (2011) - [j3]Mario Alviano:
Efficient recursive aggregate evaluation in logic programming. Intelligenza Artificiale 5(2): 207-215 (2011) - [j2]Mario Alviano
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. 42: 487-527 (2011) - [c9]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113 - [c8]Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of Super-Coherence Problems in Answer Set Programming. CILC 2011: 131-145 - [c7]Mario Alviano
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. LPNMR 2011: 148-160 - [c6]Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403 - [i3]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CoRR abs/1101.4554 (2011) - 2010
- [j1]Mario Alviano
Disjunctive ASP with functions: Decidable queries and effective computation. Theory Pract. Log. Program. 10(4-6): 497-512 (2010) - [c5]Mario Alviano, Wolfgang Faber, Nicola Leone:
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. RCRA@CPAIOR 2010 - [c4]Mario Alviano
The Disjunctive Datalog System DLV. Datalog 2010: 282-301 - [c3]Mario Alviano:
Dynamic Magic Sets for Disjunctive Datalog Programs. ICLP (Technical Communications) 2010: 226-235 - [i2]Mario Alviano, Wolfgang Faber, Nicola Leone:
Disjunctive ASP with Functions: Decidable Queries and Effective Computation. CoRR abs/1007.4028 (2010) - [i1]Mario Alviano, Wolfgang Faber:
Dynamic Magic Sets for Super-Consistent Answer Set Programs. CoRR abs/1011.4377 (2010)
2000 – 2009
- 2009
- [c2]Mario Alviano:
The Maze Generation Problem is NP-complete. ICTCS 2009: 12-18 - 2008
- [c1]Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello:
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. ASWC 2008: 106-121
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: