Marco Cadoli
Affiliations:- Sapienza University of Rome, Italy
According to our database1,
Marco Cadoli
authored at least 64 papers
between 1990 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2013
Intelligenza Artificiale, 2013
2009
ACM Trans. Comput. Log., 2009
2008
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
J. Artif. Intell. Res., 2008
2007
Theory Pract. Log. Program., 2007
Artif. Intell., 2007
Appl. Artif. Intell., 2007
2006
Artif. Intell., 2006
Proceedings of the 20th Workshop on Logic Programming, 2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
2005
ACM Trans. Comput. Log., 2005
Proceedings of the Abstraction, 2005
Proceedings of the Proceedings, 2005
2004
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.
Proceedings of the Logic for Programming, 2004
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004
2003
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003
Towards automated reformulation of specications.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation.
J. Autom. Reason., 2002
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
2001
Complexity of Nested Circumscription and Abnormality Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
J. Artif. Intell. Res., 2000
Comput. Lang., 2000
1999
Ann. Math. Artif. Intell., 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Theor. Comput. Sci., 1997
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997
Datalog and Description Logics: Expressive Power.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Ann. Math. Artif. Intell., 1996
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Feasibility and Unfeasibility of Off-Line Processing.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996
Datalog and Description Logics: Expressive Power - Preliminary Report.
Proceedings of the 1996 International Workshop on Description Logics, 1996
1995
Proceedings of the STACS 95, 1995
Lecture Notes in Computer Science 941, Springer, ISBN: 3-540-60058-2, 1995
1994
J. Comput. Syst. Sci., 1994
Fundam. Informaticae, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Inf. Process. Lett., 1992
Artif. Intell., 1992
Approximate Reasoning and Non-Omniscient Agents.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
Approximation in Concept Description Languages.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
1991
1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990