The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Agostino Dovier" ( http://dblp.L3S.de/Authors/Agostino_Dovier )

URL (Homepage):  http://www.dimi.uniud.it/~dovier/  Author page on DBLP  Author page in RDF  Community of Agostino Dovier in ASPL-2

Publication years (Num. hits)
1991-1997 (19) 1998-2001 (23) 2002-2004 (17) 2005-2008 (15) 2009-2010 (19) 2011-2012 (15) 2013-2015 (21) 2016-2018 (19) 2019 (4)
Publication types (Num. hits)
article(58) incollection(3) inproceedings(88) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 23 keywords

Results
Found 153 publication records. Showing 152 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Agostino Dovier, Andrea Formisano, Flavio Vella GPU-based parallelism for ASP-solving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Agostino Dovier The SATisfiability problem and its impact. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli Towards Distributed Computation of Answer Sets. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Extending Logic Programming with Labelled Variables: Model and Semantics. Search on Bibsonomy Fundam. Inform. 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
1Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli Distributed multi-agent optimization for smart grids and home automation. Search on Bibsonomy Intelligenza Artificiale 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
1Federico Igne, Agostino Dovier, Enrico Pontelli MASP-Reduce: A Proposal for Distributed Computation of Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh 0001, Roie Zivan Solving DCOPs with Distributed Large Neighborhood Search. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Preface. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alice Tarzariol, Agostino Dovier, Alberto Policriti Towards a Logic Programming Tool for Cancer Analysis. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Contaldo, Marco De Bortoli, Agostino Dovier Optimization of a Compiler from PDDL to Picat (Short Paper). Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  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
1Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini Labelled Variables in Logic Programming: Foundations. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco Reasoning in High Schools: Do it with ASP! Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou Compiling and Executing PDDL in Picat. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  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
1Roman Barták, Agostino Dovier, Neng-Fa Zhou Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roman Barták, Neng-Fa Zhou, Agostino Dovier Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Federico Campeotto, Agostino Dovier, Enrico Pontelli A declarative concurrent system for protein structure prediction on GPU. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 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
1Davide Ancona, Agostino Dovier A Theoretical Perspective of Coinductive Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Roman Barták, Agostino Dovier Planning as Tabled Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli Constrained Community-Based Gene Regulatory Network Inference. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Roman Barták, Agostino Dovier Planning as tabled logic programming. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Logic Programming and Bisimulation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  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 Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son Exploring the Use of BDDs in Conformant Planning. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roman Barták, Agostino Dovier, Neng-Fa Zhou On modeling planning problems in tabled logic programming. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh 0001 Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli Exploring the Use of GPUs in Constraint Solving. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Set Graphs VI: Logic Programming and Bisimulation. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Agostino Dovier A Tabled Prolog Program for Solving Sokoban. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli A Constraint Solver for Flexible Protein Model. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  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
1Davide Ancona, Agostino Dovier co-LP: Back to the Roots. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier A Multi-paradigm Tool for Large Neighborhood Search. Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2013 DBLP  DOI  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
1Federico Campeotto, Agostino Dovier, Enrico Pontelli Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. Search on Bibsonomy ICPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Vítor Santos Costa Introduction to the 28th International Conference on Logic Programming Special Issue Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Agostino Dovier, Vítor Santos Costa Introduction to the 28th international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  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
1Agostino Dovier, Alessandro Dal Palù, Sebastian Will (eds.) Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010 Search on Bibsonomy WCB@ICLP The full citation details ... 2012 DBLP  BibTeX  RDF
1Agostino Dovier, Vítor Santos Costa Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Vítor Santos Costa (eds.) Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  BibTeX  RDF
1Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Recent constraint/logic programming based advances in the solution of the protein folding problem. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 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
1Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi PrettyCLP: a Light Java Implementation for Teaching CLP. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Neng-Fa Zhou, Agostino Dovier A Tabled Prolog Program for Solving Sokoban. 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
1Neng-Fa Zhou, Agostino Dovier A Tabled Prolog Program for Solving Sokoban. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli Exploring Protein Fragment Assembly Using CLP. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  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
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli CLP-based protein fragment assembly Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Search on Bibsonomy IJDMB 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
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli CLP-based protein fragment assembly. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli (eds.) A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP 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
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli CLP-based Protein Fragment Assembly. 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
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi GASP: Answer Set Programming with Lazy Grounding. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Elisa Quintarelli Applying model-checking to solve queries on semistructured data. Search on Bibsonomy Computer Languages, Systems & Structures 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
1Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Answer Set Programming with Constraints Using Lazy Grounding. Search on Bibsonomy ICLP 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
1Agostino Dovier, Enrico Pontelli Present and Future Challenges for ASP Systems. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Membership and equality constraints, compact lists, sets, lists, multisets
1Alessandro Dal Palù, Agostino Dovier, Sebastian Will Introduction to the Special Issue on Bioinformatics and Constraints. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Raffaele Cipriano, Agostino Dovier, Jacopo Mauro Compiling and Executing Declarative Modeling Languages to Gecode. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Agostino Dovier, Federico Fogolari Agent-based protein structure prediction. Search on Bibsonomy Multiagent and Grid Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Search on Bibsonomy Softw., Pract. Exper. 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
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Set unification. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search. Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Michela Farenzena, Andrea Fusiello, Agostino Dovier Reconstruction with Interval Constraints Propagation. Search on Bibsonomy CVPR (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. Search on Bibsonomy LPAR 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
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallelism, bioinformatics, constraint logic programming
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari Constraint Logic Programming approach to protein structure prediction. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier Designing an Urban-Scale Auditory Alert System. Search on Bibsonomy IEEE Computer The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Alberto Policriti An efficient algorithm for computing bisimulation equivalence. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Enrico Pontelli Disunification in ACI1 Theories. Search on Bibsonomy Constraints The full citation details ... 2004 DBLP  DOI  BibTeX  RDF disunification, ACI, complexity, sets, equational theories, CLP
1Alessandro Dal Palù, Agostino Dovier, Federico Fogolari Protein Folding Simulation in CCP. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza The Subgraph Bisimulation Problem. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complexity, Bisimulation, semistructured data
1Agostino Dovier, Carla Piazza, Gianfranco Rossi A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 152 (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