The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mario Alviano" ( http://dblp.L3S.de/Authors/Mario_Alviano )

URL (Homepage):  https://orcid.org/0000-0002-2052-2063  Author page on DBLP  Author page in RDF  Community of Mario Alviano in ASPL-2

Publication years (Num. hits)
2008-2011 (16) 2012-2013 (16) 2014-2015 (20) 2016-2017 (17) 2018-2019 (27)
Publication types (Num. hits)
article(51) inproceedings(44) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(22) TPLP(16) LPNMR(9) IJCAI(8) AI*IA(3) CILC(3) Datalog(3) Fundam. Inform.(3) Intelligenza Artificiale(3) RCRA@AI*IA(3) AAAI(2) AI Commun.(2) ICLP (Technical Communications...(2) KI(2) KR(2) PODS(2) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 97 publication records. Showing 96 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Carmine Dodaro Model Enumeration via Assumption Literals. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano Argumentation Reasoning via Circumscription with Pyglaf. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing magic sets with an application to ontological reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Pierfrancesco Veltri, Jessica Zangari Enhancing Magic Sets with an Application to Ontological Reasoning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Andreas Pieris (eds.) 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. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola 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. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Enhancing DLV for Large-Scale Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca Evaluation of Disjunctive Programs in WASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo 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. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Chain Answer Sets for Logic Programs with Generalized Atoms. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Javier Romero 0003, Torsten Schaub On the Integration of CP-nets in ASPRIN. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Aggregates in Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Gianluigi Greco, Antonella Guzzo Coalition formation in social environments with logic-based agents. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano Algorithms for solving optimization problems in answer set programming. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Nurse (Re)scheduling via answer set programming. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1George 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. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1George 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. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Javier Romero 0003, Torsten Schaub Preference Relations by Approximation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo A Hybrid Approach to Optimization in Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano Query Answering in Propositional Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano Model enumeration in propositional circumscription via unsatisfiable core analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano Model enumeration in propositional circumscription via unsatisfiable core analysis. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano The Pyglaf Argumentation Reasoner. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Michael Morak, Andreas Pieris Stable Model Semantics for Tuple-Generating Dependencies Revisited. Search on Bibsonomy PODS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Rafael Peñaloza Minimal Undefinedness for Fuzzy Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea An Advanced Answer Set Programming Encoding for Nurse Scheduling. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Unsatisfiable Core Shrinking for Anytime Answer Set Optimization. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Anytime answer set optimization via unsatisfiable core shrinking. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Anytime answer set optimization via unsatisfiable core shrinking. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Hannes Strass Boolean Functions with Ordered Domains in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Answer Set Enumeration via Assumption Literals. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro Completion of Disjunctive Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser From Non-Convex Aggregates to Monotone Aggregates in ASP. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone On the Properties of GZ-Aggregates in Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Effectively solving NP-SPEC encodings by translation to ASP. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Nicola Leone Complexity and Compilation of GZ-Aggregates in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Rafael Peñaloza Fuzzy Answer Set Computation via Satisfiability Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone Complexity and compilation of GZ-aggregates in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Rafael Peñaloza Fuzzy answer set computation via satisfiability modulo theories. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Andreas Pieris Default Negation for Non-Guarded Existential Rules. Search on Bibsonomy PODS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca JWASP: A New Java-Based ASP Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Semantics and Compilation of Answer Set Programming with Generalized Atoms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Preliminary Report on WASP 2.0. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of super-coherence problems in ASP. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Translating NP-SPEC into ASP Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Properties of Answer Set Programming with Convex Generalized Atoms. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Rafael Peñaloza Fuzzy answer sets approximations. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca WASP: A Native ASP Solver Based on Constraint Learning. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Query Answering over Disjunctive Datalog with Existential Quantifiers. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Comparing Alternative Solutions for Unfounded Set Propagation in ASP. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Manna, Ermelinda Oro, Massimo Ruffolo, Mario Alviano, Nicola Leone The HiLeX System for Semantic Information Extraction. Search on Bibsonomy Trans. Large-Scale Data- and Knowledge-Centered Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for disjunctive Datalog programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of super-coherence problems in ASP Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for Disjunctive Datalog Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with answer set programming in the Gioia-Tauro seaport. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri Magic-Sets for Datalog with Existential Quantifiers. Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Dynamic Magic Sets and super-coherent answer set programs. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano Efficient recursive aggregate evaluation in logic programming. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with Answer Set Programming in the Gioia-Tauro Seaport Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni The Birth of a WASP: Preliminary Report on a New ASP Solver. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of Super-Coherence Problems in Answer Set Programming. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Gianluigi Greco, Nicola Leone Dynamic Magic Sets for Programs with Monotone Recursive Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with Functions: Decidable Queries and Effective Computation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Dynamic Magic Sets for Super-Consistent Answer Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with functions: Decidable queries and effective computation. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. Search on Bibsonomy RCRA@CPAIOR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano Dynamic Magic Sets for Disjunctive Datalog Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano The Maze Generation Problem is NP-complete. Search on Bibsonomy ICTCS The full citation details ... 2009 DBLP  BibTeX  RDF
1Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. Search on Bibsonomy ASWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #96 of 96 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license