The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andrea Formisano" ( http://dblp.L3S.de/Authors/Andrea_Formisano )

URL (Homepage):  https://orcid.org/0000-0002-6755-9314  Author page on DBLP  Author page in RDF  Community of Andrea Formisano in ASPL-2

Publication years (Num. hits)
1997-2003 (16) 2004-2009 (15) 2010-2012 (18) 2013-2015 (15) 2016-2018 (21) 2019 (6)
Publication types (Num. hits)
article(40) incollection(4) inproceedings(43) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords

Results
Found 92 publication records. Showing 91 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano Multi-context systems in dynamic environments. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Esra Erdem 0001, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang (eds.) Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang Introduction to the 35th International Conference on Logic Programming Special Issue. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Flavio Vella GPU-based parallelism for ASP-solving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Esra Erdem 0001, Andrea Formisano, Germán Vidal, Fangkai Yang Introduction to the 35th International Conference on Logic Programming Special Issue. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  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
1Stefania Costantini, Andrea Formisano Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. Search on Bibsonomy IJAOSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli ASP Applications in Bio-informatics: A Short Tour. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli Exploring life: answer set programming in bioinformatics. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Parallel Answer Set Programming. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano 2D object reconstruction with ASP. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Valentina Pitoni Timed Memory in Resource-Bounded Agents. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Raffaella Gentilini, Flavio Vella Accelerating Energy Games Solvers on Modern Architectures. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Cabalar, Stefania Costantini, Andrea Formisano Multi-Context Systems: Dynamics and Evolution. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrea Formisano, Raffaella Gentilini, Flavio Vella Accelerating Energy Games Solvers on Modern Architectures. Search on Bibsonomy IA3@SC 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
1Stefano Bistarelli, Andrea Formisano Theoretical Computer Science in Italy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Query Answering in Resource-Based Answer Set Semantics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Query answering in resource-based answer set semantics. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella A GPU Implementation of the ASP Computation. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli Logic Programming Applied to Genome Evolution in Cancer. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Multi-Context Systems in Time. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  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
1Stefania Costantini, Andrea Formisano Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. Search on Bibsonomy EMAS@AAMAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract). Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. Search on Bibsonomy AAMAS Workshops (Visionary Papers) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli CUD@SAT: SAT solving on GPUs. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Negation as a Resource: a Novel View on Answer Set Semantics. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella Parallel Execution of the ASP Computation - an Investigation on GPUs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  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
1Stefania Costantini, Andrea Formisano Query Answering in Resource-Based Answer Set Semantics. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano Preface. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefano Bistarelli, Andrea Formisano (eds.) Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrea Formisano, Flavio Vella On multiple learning schemata in conflict driven solvers. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Nested Weight Constraints in ASP. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Andrea Formisano Product and Production Process Modeling and Configuration. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano RASP and ASP as a fragment of linear logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Autonomous agents coordination: Action languages meet CLP() and Linda. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Negation as a Resource: a Novel View on Answer Set Semantics. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli CUD@ASP: Experimenting with GPGPUs in ASP solving. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Negation as a Resource: A Novel View on Answer Set Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alfredo Navarra, Maria Cristina Pinotti, Andrea Formisano Distributed colorings for collision-free routing in sink-centric sensor networks. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo A graphical representation of relational formulae with complementation. Search on Bibsonomy RAIRO - Theor. Inf. and Applic. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Preferences and Priorities in ASP. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli Exploiting Unexploited Computing Resources for Computational Logics. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, David Pearce 0001 Strong Equivalence of RASP Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Dario Campagna, Andrea Formisano ProdProc - Product and Production Process Modeling and Configuration. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Nested Weight Constraints in ASP. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli BAAC: A Prolog System for Action Description and Agents Coordination. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Weight Constraints with Preferences in ASP. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Augmenting Weight Constraints with Complex Preferences. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An Investigation of Multi-Agent Planning in CLP. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Davide Petturiti Extending and Implementing RASP. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Answer Set Programming with Resources. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multivalued action languages with constraints in CLP(FD). Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo Theory-Specific Automated Reasoning. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multi-valued Action Languages in CLP(FD) Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Modeling preferences and conditional preferences on resource consumption and production in ASP. Search on Bibsonomy J. Algorithms The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Representing Multi-agent Planning in CLP. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrea Capotorti, Andrea Formisano Comparative uncertainty: theory and automation. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano Conditional preferences in P-RASP. Search on Bibsonomy LA-NMR The full citation details ... 2008 DBLP  BibTeX  RDF
1Andrea Capotorti, Andrea Formisano, Gianfranco Murador Qualitative Uncertainty Orderings Revised. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli Multivalued Action Languages with Constraints in CLP(FD). Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem
1Andrea Formisano, Marianna Nicolosi Asmundo An efficient relational deductive system for propositional non-classical logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Search on Bibsonomy Theory and Applications of Relational Structures as Knowledge Instruments The full citation details ... 2006 DBLP  DOI  BibTeX  RDF translation methods, modal logic, Relational systems
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti The axiom of elementary sets on the edge of Peircean expressibility. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Enrico Pontelli A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti Three-variable statements of set-pairing. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba Compiling dyadic first-order specifications into map algebra. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni A graphical approach to relational reasoning. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Marta Simeoni An AGG Application Supporting Visual Reasoning. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Layered map reasoning: An experimental approach put to trial on sets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Instructing Equational Set-Reasoning with Otter. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Set reasoning, map algebra, first-order theorem proving
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Goals and Benchmarks for Automated Map Reasoning. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Andrea Formisano, Alberto Policriti T-Resolution: Refinements and Model Elimination. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrea Formisano Proving the completeness of theory-based variants of resolution. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Marco Temperini Plan of Activities on the Map Calculus. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo An Equational Re-engineering of Set Theories. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF first-order theorem-proving, relation algebras, Set Theory, algebraic logic
1Agostino Dovier, Andrea Formisano, Alberto Policriti On T Logic Programming. Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Alberto Policriti On T Logic Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
Displaying result #1 - #91 of 91 (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