The SCEAS System
| |||||||

## Search the dblp DataBase
Toni Mancini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Lucas Bordeaux, Marco Cadoli, Toni Mancini
**CSP Properties for Quantified Constraints: Definitions and Complexity.**[Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:360-365 [Conf] - Giuseppe De Giacomo, Toni Mancini
**Scaling Up Reasoning about Actions Using Relational Database Technology.**[Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:245-256 [Conf] - Marco Cadoli, Toni Mancini
**Towards automated reformulation of specications.**[Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 2003, pp:398-409 [Conf] - Marco Cadoli, Toni Mancini
**Using a Theorem Prover for Reasoning on Constraint Problems.**[Citation Graph (0, 0)][DBLP] AI*IA, 2005, pp:38-49 [Conf] - Toni Mancini
**Reformulation Techniques for a Class of Permutation Problems.**[Citation Graph (0, 0)][DBLP] CP, 2003, pp:984- [Conf] - Toni Mancini
**Finite Satisfiability of UML Class Diagrams by Constraint Programming.**[Citation Graph (0, 0)][DBLP] Description Logics, 2004, pp:- [Conf] - Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
**Evaluating ASP and Commercial Solvers on the CSPLib.**[Citation Graph (0, 0)][DBLP] ECAI, 2006, pp:68-72 [Conf] - Marco Cadoli, Toni Mancini
**Combining Relational Algebra, SQL, and Constraint Programming.**[Citation Graph (0, 0)][DBLP] FroCos, 2002, pp:147-161 [Conf] - Georg Gottlob, Gianluigi Greco, Toni Mancini
**Complexity of Pure Equilibria in Bayesian Games.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:1294-1299 [Conf] - Georg Gottlob, Gianluigi Greco, Toni Mancini
**Conditional Constraint Satisfaction: Logical Foundations and Complexity.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:88-93 [Conf] - Marco Cadoli, Toni Mancini, Fabio Patrizi
**SAT as an Effective Solving Technology for Constraint Problems.**[Citation Graph (0, 0)][DBLP] ISMIS, 2006, pp:540-549 [Conf] - Marco Cadoli, Toni Mancini
**Exploiting Functional Dependencies in Declarative Problem Specifications.**[Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:628-640 [Conf] - Marco Cadoli, Toni Mancini
**Automated Reformulation of Specifications by Safe Delay of Constraints.**[Citation Graph (0, 0)][DBLP] KR, 2004, pp:388-398 [Conf] - Lucas Bordeaux, Marco Cadoli, Toni Mancini
**Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.**[Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:270-284 [Conf] - Marco Cadoli, Toni Mancini
**Knowledge Compilation = Query Rewriting + View Synthesis.**[Citation Graph (0, 0)][DBLP] PODS, 2002, pp:199-208 [Conf] - Toni Mancini, Marco Cadoli
**Detecting and Breaking Symmetries by Reasoning on Problem Specifications.**[Citation Graph (0, 0)][DBLP] SARA, 2005, pp:165-181 [Conf] - Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
**Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).**[Citation Graph (0, 0)][DBLP] WLP, 2006, pp:54-63 [Conf] - Marco Cadoli, Toni Mancini
**Automated reformulation of specifications by safe delay of constraints.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2006, v:170, n:8-9, pp:779-801 [Journal] - Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
**Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.**[Citation Graph (0, 0)][DBLP] AI*IA, 2007, pp:36-47 [Conf] - Toni Mancini, Marco Cadoli
**Exploiting functional dependencies in declarative problem specifications.**[Citation Graph (0, 0)][DBLP] Artif. Intell., 2007, v:171, n:16-17, pp:985-1010 [Journal] - Lucas Bordeaux, Marco Cadoli, Toni Mancini
**Generalizing Consistency and other Constraint Properties to Quantified Constraints**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] - Marco Cadoli, Toni Mancini
**Combining Relational Algebra, SQL, Constraint Modelling, and Local Search**[Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal] **Negotiation Exploiting Reasoning by Projections.**[Citation Graph (, )][DBLP]**Using a Theorem Prover for Reasoning on Constraint Problems.**[Citation Graph (, )][DBLP]**Evaluating ASP and Commercial Solvers on the CSPLib.**[Citation Graph (, )][DBLP]
Search in 0.021secs, Finished in 0.023secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |