Calogero G. Zarba

According to our database, Calogero G. Zarba authored at least 31 papers between 1998 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

A Formal Sociologic Study of Free Will.

Giovanni Giuffrida, Calogero G. Zarba

CoRR, 2013

2011

Behavioral On-Line Advertising

Fabrizio Caruso, Giovanni Giuffrida, Calogero G. Zarba

CoRR, 2011

Subjective Collaborative Filtering

Fabrizio Caruso, Giovanni Giuffrida, Calogero G. Zarba

CoRR, 2011

A Recommendation Algorithm for Personalized Online News based on Collective Intelligence and Content.

Giovanni Giuffrida, Calogero G. Zarba

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Information Visualization on Organized Crime Trials.

Lorenzo Di Silvestro, Giovanni Gallo, Giovanni Giuffrida, Calogero G. Zarba

Proceedings of the Eurographics Italian Chapter Conference 2011, Salerno, Italy, 2011, 2011

A banner recommendation system based on web navigation history.

Giovanni Giuffrida, Diego Reforgiato Recupero, Giuseppe Tribulato, Calogero G. Zarba

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

2010

Socio-Legal Analysis of Criminal Sentences: A Preliminary Study.

Giuseppe Giura, Giovanni Giuffrida, Carlo Pennisi, Calogero G. Zarba

Proceedings of the Fourth International Conference on Weblogs and Social Media, 2010

2006

Interpolation for data structures.

Deepak Kapur, Rupak Majumdar, Calogero G. Zarba

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

A Theory of Singly-Linked Lists and its Extensible Decision Procedure.

Silvio Ranise, Calogero G. Zarba

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Decision Procedure for Monotone Functions over Bounded and Complete Lattices.

Domenico Cantone, Calogero G. Zarba

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

Combining Sets with Cardinals.

Calogero G. Zarba

J. Autom. Reason., 2005

Combining Nonstably Infinite Theories.

Cesare Tinelli, Calogero G. Zarba

J. Autom. Reason., 2005

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.

Domenico Cantone, Calogero G. Zarba, Rosa Ruggeri Cannata

J. Autom. Reason., 2005

A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.

Domenico Cantone, Calogero G. Zarba

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.

Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

The combination problem in automated reasoning.

Calogero G. Zarba

PhD thesis, 2004

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.

Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz

J. Autom. Reason., 2004

Combining Lists with Non-stably Infinite Theories.

Pascal Fontaine, Silvio Ranise, Calogero G. Zarba

Proceedings of the Logic for Programming, 2004

Combining Decision Procedures for Sorted Theories.

Cesare Tinelli, Calogero G. Zarba

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Compiling dyadic first-order specifications into map algebra.

Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba

Theor. Comput. Sci., 2003

Combining Non-Stably Infinite Theories.

Cesare Tinelli, Calogero G. Zarba

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.

Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Combining Sets with Elements.

Calogero G. Zarba

Proceedings of the Verification: Theory and Practice, 2003

A Decision Procedure for Monotone Functions over Lattices.

Domenico Cantone, Calogero G. Zarba

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Combining Decision Procedures.

Zohar Manna, Calogero G. Zarba

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

A Tableau Calculus for Combining Non-disjoint Theories.

Calogero G. Zarba

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Combining Sets with Integers.

Calogero G. Zarba

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Combining Multisets with Integers.

Calogero G. Zarba

Proceedings of the Automated Deduction, 2002

2000

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.

Domenico Cantone, Calogero G. Zarba

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.

Domenico Cantone, Calogero G. Zarba

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.

Domenico Cantone, Calogero G. Zarba

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998