The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marco Maratea" ( http://dblp.L3S.de/Authors/Marco_Maratea )

URL (Homepage):  http://www.mrg.dist.unige.it/~marco/  Author page on DBLP  Author page in RDF  Community of Marco Maratea in ASPL-2

Publication years (Num. hits)
2001-2006 (18) 2007-2011 (16) 2012-2014 (16) 2015-2016 (26) 2017-2018 (27) 2019 (6)
Publication types (Num. hits)
article(47) inproceedings(54) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marco Maratea, Ivan Serina, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro An ASP-based framework for operating room scheduling. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Marco Maratea Abstract Solvers for Computing Cautious Consequences of ASP programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots. 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
1Stefano Bistarelli, Andrea Formisano, Marco Maratea 23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran Abstract solvers for Dung's argumentation frameworks. Search on Bibsonomy Argument & Computation 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
1Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati On the manipulation of articulated objects in human-robot cooperation scenarios. 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
1Enrico Giunchiglia, Marco Maratea, Luca Pulina Translation-based approaches for solving disjunctive temporal problems with preferences. Search on Bibsonomy Constraints 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
1Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati On the manipulation of articulated objects in human-robot cooperation scenarios. Search on Bibsonomy Robotics and Autonomous Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Mauro Vallati (eds.) Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati KR&R Approaches for Robot Manipulation Tasks with Articulated Objects. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro Operating Room Scheduling via Answer Set Programming. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Mauro Vallati (eds.) Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018. Search on Bibsonomy RiCeRcA@Ai*iA The full citation details ... 2018 DBLP  BibTeX  RDF
1Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro An Overview of ASP Applications in the Health-care Domain. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub Evaluation Techniques and Systems for Answer Set Programming: a Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Giovanni Adorni, Stefano Cagnoni, Marco Gori Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Sixth Answer Set Programming Competition. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc CASP Solutions for Planning in Hybrid Domains. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc CASP solutions for planning in hybrid domains. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Seventh Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Marco Maratea Nurse Scheduling via Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  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
1Marco Maratea, Ivan Serina (eds.) Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessio Capitanelli, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati Automated Planning Techniques for Robot Manipulation Tasks Involving Articulated Objects. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan, Marco Maratea, Victor W. Marek Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Marco Maratea, Francesco Ricca Experimental evaluation of algorithms for solving problems with combinatorial explosion. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina 6th Italian Workshop on Planning and Scheduling (IPS 2015). Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca Design and results of the Fifth Answer Set Programming Competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Marco Maratea, Francesco Ricca Systems, Engineering Environments, and Competitions. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea PDDL+ Planning via Constraint Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rémi Brochenin, Marco Maratea, Yuliya Lierler Disjunctive answer set solvers via templates. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca What's Hot in the Answer Set Programming Competition. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran Introducing the Second International Competition on Computational Models of Argumentation. Search on Bibsonomy SAFA@COMMA The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea (eds.) AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Marco Maratea, Francesco Ricca 20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Yuliya Lierler, Marco Maratea Disjunctive Answer Set Solvers via Templates. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Multi-engine ASP solving with policy adaptation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran Abstract Solvers for Dung's Argumentation Frameworks. Search on Bibsonomy TAFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Marco Maratea, Viviana Mascardi (eds.) Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015. Search on Bibsonomy CILC The full citation details ... 2015 DBLP  BibTeX  RDF
1Rémi Brochenin, Marco Maratea Abstract Answer Set Solvers for Cautious Reasoning. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Multi-level Algorithm Selection for ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Sixth Answer Set Programming Competition - - Report -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina An Ontology-Based Archive for Historical Research. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Advances in Multi-engine ASP Solving. Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Marco Maratea Abstract Solvers for Quantified Boolean Formulas and their Applications. Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano, Marco Maratea (eds.) Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina (eds.) Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Search on Bibsonomy IPS@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Giovanni Adorni, Marco Maratea, Laura Pandolfo, Luca Pulina An Ontology for Historical Research Documents. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina Efficient DTPP solving with a reduction-based approach. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Fifth Answer Set Programming Competition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca The Multi-engine ASP Solver ME-ASP: Progress Report. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca A multi-engine approach to answer-set programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémi Brochenin, Yuliya Lierler, Marco Maratea Abstract Disjunctive Answer Set Solvers. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca A Multi-Engine Approach to Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Lorenzo Maggi, Marco Maratea, Simona Sacone, Silvia Siri Computational analysis of freeway traffic control based on a linearized prediction model. Search on Bibsonomy CDC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Jean-Rémi Bourguet, Marco Maratea, Luca Pulina A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Automated Selection of Grounding Algorithm in Answer Set Programming. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina Solving disjunctive temporal problems with preferences using maximum satisfiability. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Maratea Planning as satisfiability with IPC simple preferences and action costs. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Applying Machine Learning Techniques to ASP Solving. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca The Multi-Engine ASP Solver me-asp. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea Introducing Preferences in Planning as Satisfiability. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea Solving satisfiability problems with preferences. Search on Bibsonomy Constraints The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Maratea An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems. Search on Bibsonomy RCRA@CPAIOR The full citation details ... 2010 DBLP  BibTeX  RDF
1Marco Maratea, Francesco Ricca, Pierfrancesco Veltri DLVMC: Enhanced Model Checking in DLV. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea Improving Plan Quality in SAT-Based Planning. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Craig Carthel, Stefano Coraluppi, Peter Willett 0001, Marco Maratea, Alain Maguer Maximum likelihood approach to HF radar performance characterization. Search on Bibsonomy FUSION The full citation details ... 2009 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Nicola Leone, Marco Maratea On the relation among answer set solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
1Marco Maratea, Francesco Ricca, Wolfgang Faber 0001, Nicola Leone Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea A new Approach for Solving Satisfiability Problems with Qualitative Preferences. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea Computing All Optimal Solutions in Satisfiability Problems with Preferences. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Experimenting with Look-Back Heuristics for Hard ASP Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea Planning as Satisfiability with Preferences. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Maratea Efficient decision procedures for the integration of planning and formal verification in advanced systems. Search on Bibsonomy AI Commun. The full citation details ... 2006 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Yuliya Lierler, Marco Maratea Answer Set Programming Based on Propositional Satisfiability. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF answer set programming, propositional satisfiability
1Enrico Giunchiglia, Marco Maratea Solving Optimization Problems with DLL. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea TSAT++: an Open Platform for Satisfiability Modulo Theories. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea The SAT-based Approach to Separation Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SAT-based decision procedures, separation logic
1Enrico Giunchiglia, Marco Maratea On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Marco Maratea Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. Search on Bibsonomy AI*IA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
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