Marco Schaerf

Intelligenza Artificiale, 2013

The scientific legacy of Marco Cadoli in Artificial Intelligence.

[BibT_eX]

[DOI]

Maurizio Lenzerini

Intelligenza Artificiale, 2013

A Digital Infrastructure for Trustworthiness - The Sapienza Digital Library Experience.

[BibT_eX]

[DOI]

Proceedings of the Bridging Between Cultural Heritage Institutions, 2013

Applicability of Digital Library Descriptive Metadata to the Contemporary Artworks - The Sapienza Digital Library Case Study.

[BibT_eX]

[DOI]

Angela Di Iorio

Proceedings of the Information Technologies for Performing Arts, Media Access, and Entertainment, 2013

2012

On the Complexity of Finding Second-Best Abductive Explanations

[BibT_eX]

[DOI]

CoRR, 2012

Establishing a Digital Library in Wide-Ranging University's Context - The Sapienza Digital Library Experience.

[BibT_eX]

[DOI]

Angela Di Iorio

Matteo Bertazzo

Proceedings of the Digital Libraries and Archives - 8th Italian Research Conference, 2012

2011

Applying UCT to Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Monte-Carlo Style UCT Search for Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

On the size of data structures used in symbolic model checking

[BibT_eX]

[DOI]

CoRR, 2010

2007

Compilability of propositional abduction.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Facial motion cloning with radial basis functions in MPEG-4 FBA.

[BibT_eX]

[DOI]

Marco Fratarcangeli

Robert Forchheimer

Graph. Model., 2007

Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma.

[BibT_eX]

[DOI]

AI Commun., 2007

Model Checking and Preprocessing.

[BibT_eX]

[DOI]

Andrea Ferrara

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

k-Approximating Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2006

Describing and reasoning on Web Services using Process Algebra.

[BibT_eX]

[DOI]

Gwen Salaün

Lucas Bordeaux

Int. J. Bus. Process. Integr. Manag., 2006

Partial Solutions with Unique Completion.

[BibT_eX]

[DOI]

Proceedings of the Reasoning, 2006

2005

The complexity of model checking for propositional default logics.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2005

Facial Motion Cloning Using Global Shape Deformation.

[BibT_eX]

[DOI]

Marco Fratarcangeli

Proceedings of the 26th Annual Conference of the European Association for Computer Graphics, 2005

The Complexity of Action Redundancy.

[BibT_eX]

[DOI]

Andrea Ferrara

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

The Compactness of Belief Revision and Update Operators.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

2002

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

Preprocessing of Intractable Problems.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Solving QBF by SMV.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Belief Revision and Update: Complexity of Model Checking.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2001

2000

Space Efficiency of Propositional Knowledge Representation Formalisms.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2000

BReLS: A System for the Integration of Knowledge Bases.

[BibT_eX]

Proceedings of the KR 2000, 2000

Compilability of Abduction.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

ICARUS: Intelligent Content-Based Retrieval of 3D Scene.

[BibT_eX]

[DOI]

Raffaella Colaci

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

The Size of a Revised Knowledge Base.

[BibT_eX]

[DOI]

Artif. Intell., 1999

JubilEasy: Build a Personalized 3D Visit of Rome.

[BibT_eX]

[DOI]

Alessandro Tessicini

Proceedings of the Fourth Symposium on The Virtual Reality Modeling Language, 1999

ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.

[BibT_eX]

[DOI]

Emilio Domenicucci

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

Arbitration (or How to Merge Knowledge Bases).

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1998

An Algorithm to Evaluate Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Andrea Giovanardi

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

On Compact Representations of Propositional Circumscription.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Reducing Belief Revision to Circumscription (and Vice Versa).

[BibT_eX]

[DOI]

Artif. Intell., 1997

Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Andrea Giovanardi

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996

On the complexity of Entailment in Propositional Multivalued Logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

Is Intractability of Nonmonotonic Reasoning a Real Drawback?

[BibT_eX]

[DOI]

Artif. Intell., 1996

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Feasibility and Unfeasibility of Off-Line Processing.

[BibT_eX]

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

The Complexity of Model Checking for Belief Revision and Update.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Negation and Minimality in Disjunctive Databases.

[BibT_eX]

[DOI]

J. Log. Program., 1995

Approximate Inference in Default Logic and Circumscription.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Tractable Reasoning via Approximation.

[BibT_eX]

[DOI]

Artif. Intell., 1995

Arbitration: A Commutative Operator for Belief Revision.

[BibT_eX]

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

On Compact Representations of Propositional Circumscription.

[BibT_eX]

[DOI]

Proceedings of the STACS 95, 1995

Relating Belief Revision and Circumscription.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Is Intractability of Non-Monotonic Reasoning a Real Drawback?

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

A Survey of Complexity Results for Nonmonotonic Logics.

[BibT_eX]

[DOI]

J. Log. Program., 1993

Negation and Minimality in Non-Horn Databases.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Logic Programming and Autoepistemic Logics: New Relations and Complexity Results.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1993

1992

Approximate Reasoning and Non-Omniscient Agents.

[BibT_eX]

Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

Approximation in Concept Description Languages.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

Notes on Ginsberg's multivalued logics.

[BibT_eX]

[DOI]

Comput. Intell., 1991

Reasoning about reasoning in a meta-level architecture.

[BibT_eX]

[DOI]

Appl. Intell., 1991

Reasoning about Knowledge: The Meta-Level Approach.

[BibT_eX]

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Approximate Entailment.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Nonmonotonic reasoning.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 1990

1988

Yet Another Solution to the Three Wisemen Puzzle.

[BibT_eX]

Proceedings of the Methodologies for Intelligent Systems, 1988

Reasoning About Knowledge and Ignorance.

[BibT_eX]