Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Toni
Last name:	Mancini
DBLP:	14/290
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 28 of 28  

Select a publication
Show	Title	Venue	Rating	Date
	Lucas Bordeaux, Marco Cadoli, Toni Mancini. Generalizing consistency and other constraint properties to quantified constraints.	ACM Trans. Comput. Log. 2009, Volume 10	(0)	2009
	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli. Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints 2008, Volume 13	(0)	2008
	Lucas Bordeaux, Marco Cadoli, Toni Mancini. A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.	J. Artif. Intell. Res. (JAIR) 2008, Volume 32	(0)	2008
	Marco Gavanelli, Toni Mancini. RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.	J. Algorithms 2008, Volume 63	(0)	2008
	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.	AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings 2007	(0)	2007
	Georg Gottlob, Gianluigi Greco, Toni Mancini. Complexity of Pure Equilibria in Bayesian Games.	IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 2007	(0)	2007
	Georg Gottlob, Gianluigi Greco, Toni Mancini. Conditional Constraint Satisfaction: Logical Foundations and Complexity.	IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 2007	(0)	2007
	Marco Cadoli, Toni Mancini. Using a Theorem Prover for Reasoning on Constraint Problems.	Applied Artificial Intelligence 2007, Volume 21	(0)	2007
	Toni Mancini, Marco Cadoli. Exploiting functional dependencies in declarative problem specifications.	Artif. Intell. 2007, Volume 171	(0)	2007
	Lucas Bordeaux, Marco Cadoli, Toni Mancini. Generalizing Consistency and other Constraint Properties to Quantified Constraints	CoRR 2007, Volume 0	(0)	2007
	Marco Cadoli, Toni Mancini. Combining relational algebra, SQL, constraint modelling, and local search.	TPLP 2007, Volume 7	(0)	2007
	Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi. Evaluating ASP and Commercial Solvers on the CSPLib.	ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings 2006	(0)	2006
	Marco Cadoli, Toni Mancini, Fabio Patrizi. SAT as an Effective Solving Technology for Constraint Problems.	Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings 2006	(0)	2006
	Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi. Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).	20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 2006	(0)	2006
	Marco Cadoli, Toni Mancini. Automated reformulation of specifications by safe delay of constraints.	Artif. Intell. 2006, Volume 170	(0)	2006
	Marco Cadoli, Toni Mancini. Combining Relational Algebra, SQL, Constraint Modelling, and Local Search	CoRR 2006, Volume 0	(0)	2006
	Lucas Bordeaux, Marco Cadoli, Toni Mancini. CSP Properties for Quantified Constraints: Definitions and Complexity.	Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 2005	(0)	2005
	Marco Cadoli, Toni Mancini. Using a Theorem Prover for Reasoning on Constraint Problems.	AI*IA 2005	(0)	2005
	Toni Mancini, Marco Cadoli. Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings 2005	(0)	2005
	Giuseppe De Giacomo, Toni Mancini. Scaling Up Reasoning about Actions Using Relational Database Technology.	Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA 2004	(0)	2004
	Toni Mancini. Finite Satisfiability of UML Class Diagrams by Constraint Programming.	Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 2004	(0)	2004
	Marco Cadoli, Toni Mancini. Exploiting Functional Dependencies in Declarative Problem Specifications.	Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004	(0)	2004
	Marco Cadoli, Toni Mancini. Automated Reformulation of Specifications by Safe Delay of Constraints.	Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 2004	(0)	2004
	Lucas Bordeaux, Marco Cadoli, Toni Mancini. Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.	Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings 2005	(0)	2004
	Marco Cadoli, Toni Mancini. Towards automated reformulation of specications.	2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 2003	(0)	2003
	Toni Mancini. Reformulation Techniques for a Class of Permutation Problems.	Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings 2003	(0)	2003
	Marco Cadoli, Toni Mancini. Combining Relational Algebra, SQL, and Constraint Programming.	Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings 2002	(0)	2002
	Marco Cadoli, Toni Mancini. Knowledge Compilation = Query Rewriting + View Synthesis.	Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA 2002	(0)	2002

Your query returned 28 matches in the database.