Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marco Cadoli" ( http://dblp.L3S.de/Authors/Marco_Cadoli )

URL (Homepage):  http://www.dis.uniroma1.it/~cadoli/  Author page on DBLP  Author page in RDF  Community of Marco Cadoli in ASPL-2

Publication years (Num. hits)
1990-1995 (18) 1996-1998 (15) 1999-2002 (18) 2003-2006 (19) 2007-2011 (10)
Publication types (Num. hits)
article(38) book(1) inproceedings(41)
Venues (Conferences, Journals, ...)
Artif. Intell.(8) AI*IA(4) CoRR(4) KR(4) AAAI(3) ACM Trans. Comput. Log.(2) Ann. Math. Artif. Intell.(2) APPIA-GULP-PRODE(2) Description Logics(2) ECAI(2) Fundam. Inform.(2) IJCAI(2) J. Artif. Intell. Res. (JAIR)(2) JELIA(2) PODS(2) Theor. Comput. Sci.(2) More (+10 of total 50)
Authors
Marco Cadoli(80) Marco Schaerf(26) Toni Mancini(22) Francesco M. Donini(14) Paolo Liberatore(9) Luigi Palopoli(8) Maurizio Lenzerini(7) Andrea Schaerf(6) Fabio Patrizi(6) Georg Gottlob(6) Thomas Eiter(6) Lucas Bordeaux(5) Andrea Giovanardi(3) Davide Micaletto(3) Francesco Scarcello(3) Diego Calvanese(2) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords
Results
Found 80 publication records. Showing 80 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Space Efficiency of Propositional Knowledge Representation Formalisms Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Cadoli, Fabio Patrizi On the separability of subproblems in Benders decompositions. Search on Bibsonomy Annals OR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Marco Cadoli, Toni Mancini Generalizing consistency and other constraint properties to quantified constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF quantified constraints, Constraint satisfaction, quantified Boolean formulae
1Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli Evaluating ASP and Commercial Solvers on the CSPLib. Search on Bibsonomy Constraints The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
1Lucas Bordeaux, Marco Cadoli, Toni Mancini A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Using a Theorem Prover for Reasoning on Constraint Problems. Search on Bibsonomy Applied Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Marco Cadoli, Toni Mancini Generalizing Consistency and other Constraint Properties to Quantified Constraints Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Toni Mancini, Marco Cadoli Exploiting functional dependencies in declarative problem specifications. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Combining relational algebra, SQL, constraint modelling, and local search. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf k-Approximating Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF complexity measures and classes, models of computation, Reliability and testing
1Marco Cadoli, Toni Mancini Combining Relational Algebra, SQL, Constraint Modelling, and Local Search Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini Automated reformulation of specifications by safe delay of constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi Evaluating ASP and Commercial Solvers on the CSPLib. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini, Fabio Patrizi SAT as an Effective Solving Technology for Constraint Problems. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Partial Solutions with Unique Completion. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Fabio Patrizi On the Separability of Subproblems in Benders Decompositions. Search on Bibsonomy CPAIOR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Marco Cadoli, Andrea Schaerf : Compiling problem specifications into SAT. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of propositional nested circumscription and nested abnormality theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
1Toni Mancini, Marco Cadoli Detecting and Breaking Symmetries by Reasoning on Problem Specifications. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Using a Theorem Prover for Reasoning on Constraint Problems. Search on Bibsonomy AI*IA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lucas Bordeaux, Marco Cadoli, Toni Mancini CSP Properties for Quantified Constraints: Definitions and Complexity. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Lucas Bordeaux, Marco Cadoli, Toni Mancini Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo Towards Implementing Finite Model Reasoning in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2004 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini Exploiting Functional Dependencies in Declarative Problem Specifications. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Automated Reformulation of Specifications by Safe Delay of Constraints. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini Towards automated reformulation of specications. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Marco Cadoli Proposal-Based Negotiation in Convex Regions. Search on Bibsonomy CIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf k-Approximating Circuits Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2002 DBLP  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Preprocessing of Intractable Problems. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of Nested Circumscription and Nested Abnormality Theories Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Combining Relational Algebra, SQL, and Constraint Programming. Search on Bibsonomy FroCos The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Toni Mancini Knowledge Compilation = Query Rewriting + View Synthesis. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF deductive databases., logic in databases, complexity
1Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of Nested Circumscription and Abnormality Theories. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Marco Cadoli, Andrea Schaerf Compiling Problem Specifications into SAT. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marco Cadoli The Expressive Power of Binary Linear Programming. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andrea Schaerf, Marco Cadoli, Maurizio Lenzerini LOCAL++: A C++ framework for local search algorithms. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Space Efficiency of Propositional Knowledge Representation Formalisms. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco Scarcello Semantical and computational aspects of Horn approximations. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Giovambattista Ianni, Luigi Palopoli, Andrea Schaerf, Domenico Vasile NP-SPEC: an executable specification language for solving all problems in NP. Search on Bibsonomy Comput. Lang. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf The Size of a Revised Knowledge Base. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Francesco Scarcello Propositional lower bounds: Algorithms and complexity. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile NP-SPEC: An Executable Specification Language for Solving All Problems in NP. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrea Schaerf, Maurizio Lenzerini, Marco Cadoli LOCAL++: A C++ Framework for Local Search Algorithms. Search on Bibsonomy TOOLS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Frameworks and patterns, Applications, Search algorithms
1Marco Cadoli Using LPNMR for Problem Specification and Code Generation. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli Circumscribing DATALOG: Expressive Power and Complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Richard W. Weyhrauch, Marco Cadoli, Carolyn L. Talcott Using Abstract Resources to Control Reasoning. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Francesco Scarcello Propositional Lower Bounds: Generalization and Algorithms. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Andrea Giovanardi, Marco Schaerf An Algorithm to Evaluate Quantified Boolean Formulae. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Default Logic as a Query Language. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Marco Schaerf, Riccardo Silvestri On Compact Representations of Propositional Circumscription. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini A Survey on Knowledge Compilation. Search on Bibsonomy AI Commun. The full citation details ... 1997 DBLP  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini Datalog and Description Logics: Expressive Power. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Marco Cadoli, Andrea Giovanardi, Marco Schaerf Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae. Search on Bibsonomy AI*IA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini Datalog and Description Logics: Expressive Power. Search on Bibsonomy DBPL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Marco Schaerf Is Intractability of Nonmonotonic Reasoning a Real Drawback? Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Marco Schaerf On the complexity of Entailment in Propositional Multivalued Logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini Datalog and Description Logics: Expressive Power - Preliminary Report. Search on Bibsonomy Description Logics The full citation details ... 1996 DBLP  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Feasibility and Unfeasibility of Off-Line Processing. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. Search on Bibsonomy KR The full citation details ... 1996 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximate Inference in Default Logic and Circumscription. Search on Bibsonomy Fundam. Inform. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marco Schaerf, Marco Cadoli Tractable Reasoning via Approximation. Search on Bibsonomy Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marco Cadoli Tractable Reasoning in Artificial Intelligence Search on Bibsonomy 1995   DOI  RDF
1Marco Cadoli, Francesco M. Donini, Marco Schaerf On Compact Representations of Propositional Circumscription. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf The Size of a Revised Knowledge Base. Search on Bibsonomy PODS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximate Inference in Default Logic and Circumscription. Search on Bibsonomy Fundam. Inform. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Maurizio Lenzerini The Complexity of Propositional Closed World Reasoning and Circumscription. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob Default Logic as a Query Language. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Marco Schaerf Is Intractability of Non-Monotonic Reasoning a Real Drawback? Search on Bibsonomy AAAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf A Survey of Complexity Results for Nonmonotonic Logics. Search on Bibsonomy J. Log. Program. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Marco Cadoli Semantical and Computational Aspects of Horn Approximations. Search on Bibsonomy IJCAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Marco Cadoli The Complexity of Model Checking for Circumscriptive Formulae. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Thomas Eiter, Georg Gottlob An Efficient Method for Eliminating Varying Predicates from a Circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximate Inference in Default Logic and Circumscription. Search on Bibsonomy ECAI The full citation details ... 1992 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximation in Concept Description Languages. Search on Bibsonomy KR The full citation details ... 1992 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximate Reasoning and Non-Omniscient Agents. Search on Bibsonomy TARK The full citation details ... 1992 DBLP  BibTeX  RDF
1Marco Cadoli, Marco Schaerf Approximate Entailment. Search on Bibsonomy AI*IA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Marco Cadoli, Maurizio Lenzerini The Complexity of Closed World Reasoning and Circumscription. Search on Bibsonomy AAAI The full citation details ... 1990 DBLP  BibTeX  RDF
Displaying result #1 - #80 of 80 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.