Searching for authors named "Marco Cadoli" – sorted by Relevance.
38 documents found, showing 1 through 10.
Next 10 →
-
A Survey of Complexity Results for Planning
- …A Survey of Complexity Results for Planning *** DRAFT. COMMENTS VERY WELCOME *** Marco Cadoli…
- Add To MetaCart
-
Proposal-based negotiation in convex regions
- …-based negotiation in convex regions Marco Cadoli Dipartimento di Informatica e Sistemistica Università di Roma “La…
- Cited by 1 (0 self) – Add To MetaCart
-
Panel on "Knowledge Compilation and Approximation": Terminology, Questions, References
- …Panel on "Knowledge Compilation and Approximation": Terminology, Questions, References Marco…
- Cited by 8 (0 self) – Add To MetaCart
-
Semantical and Computational Aspects of Horn Approximations
- …Semantical and Computational Aspects of Horn Approximations Marco Cadoli Dipartimento di…
- Cited by 28 (4 self) – Add To MetaCart
-
The Complexity of Model Checking for Circumscriptive Formulae
- …The Complexity of Model Checking for Circumscriptive Formulae Marco Cadoli Dipartimento di…
- Cited by 48 (5 self) – Add To MetaCart
-
Compiling Problem Specifications into SAT
- …Compiling Problem Specifications into SAT Marco Cadoli 1 and Andrea Schaerf 2 1 Dipartimento di…
- Cited by 19 (7 self) – Add To MetaCart
-
Knowledge compilation = Query rewriting + View synthesis
- …Knowledge compilation = Query rewriting + View synthesis Marco Cadoli, Toni Mancini Dipartimento di…
- Cited by 3 (1 self) – Add To MetaCart
-
Combining Relational Algebra, SQL, and Constraint Programming
- …Combining Relational Algebra, sql, and Constraint Programming Marco Cadoli and Toni Mancini…
- Cited by 3 (2 self) – Add To MetaCart
-
On the Complexity of Entailment in Propositional Multivalued Logics
- …On the Complexity of Entailment in Propositional Multivalued Logics Marco Cadoli Marco Schaerf…
- Cited by 9 (0 self) – Add To MetaCart
-
Using a Theorem Prover for Reasoning on Constraint Problems
- …Using a theorem prover for reasoning on constraint problems Marco Cadoli and Toni Mancini…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
