Eugenio G. Omodeo

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

2002

Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators.

[BibT_eX]

[DOI]

Pietro Ursino

Inf. Comput., 2002

A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory.

[BibT_eX]

[DOI]

Jacob T. Schwartz

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Automation of Aggregate Theories: The Cornerstones of Equational Expressibility.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms.

[BibT_eX]

[DOI]

Pasquale Caianiello

Stefania Costantini

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets

[BibT_eX]

[DOI]

Monographs in Computer Science, Springer, ISBN: 978-1-4757-3452-2, 2001

Algebraic semantics of ER-models in the context of the calculus of relations.

[BibT_eX]

[DOI]

Ernst-Erich Doberkat

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Layered map reasoning: An experimental approach put to trial on sets.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

A graphical approach to relational reasoning.

[BibT_eX]

[DOI]

Marta Simeoni

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Instructing Equational Set-Reasoning with Otter.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View.

[BibT_eX]

[DOI]

Ernst-Erich Doberkat

Proceedings of the Relational Methods in Computer Science, 2001

2000

Goals and Benchmarks for Automated Map Reasoning.

[BibT_eX]

[DOI]

J. Symb. Comput., 2000

1999

Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.

[BibT_eX]

[DOI]

Agostino Dovier

Appl. Algebra Eng. Commun. Comput., 1999

Transitive Venn diagrams with applications to the decision problem in set theory.

[BibT_eX]

Pietro Ursino

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

An Equational Re-engineering of Set Theories.

[BibT_eX]

[DOI]

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

Plan of Activities on the Map Calculus.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Global Skolemization with Grouped Quantifiers.

[BibT_eX]

Marianna Nicolosi Asmundo

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Decidability of ∃*∀-Sentences in Membership Theories.

[BibT_eX]

[DOI]

Franco Parlamento

Math. Log. Q., 1996

A Language for Programming in Logic with Finite Sets.

[BibT_eX]

[DOI]

J. Log. Program., 1996

1995

Solvable set/hyperset context.

[BibT_eX]

Proceedings of the JFPLC'95, 1995

1994

Solving Systems of Equations over Hypersets.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets.

[BibT_eX]

[DOI]

Franco Parlamento

J. Symb. Comput., 1993

Extensional and Intensional Sets in CLP with Intensional Negation.

[BibT_eX]

Proceedings of the Workshop on Logic Programming with Sets, 1993

Unification of Hyperset Terms.

[BibT_eX]

Proceedings of the Workshop on Logic Programming with Sets, 1993

Decision Procedures for Set/Hyperset Contexts.

[BibT_eX]

[DOI]

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?

[BibT_eX]

Gianfranco Rossi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Embedding Finite Sets in a Logic Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991

{log}: A Logic Programming Language with Finite Sets.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

The Automation of Syllogistic.

[BibT_eX]

[DOI]

J. Autom. Reason., 1990

Truth Tables for a Combinatorial Kernel of Set Theories.

[BibT_eX]

Franco Parlamento

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

On the Decidability of Formulae Involving Continuous and Closed Functions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Computable set theory. Volume 1.

[BibT_eX]

[DOI]

Alfredo Ferro

The international series of monographs on computer science 6, Clarendon Press / Oxford University Press, ISBN: 9780198538073, 1989

1988

The Automation of Syllogistic I. Syllogistic Normal Forms.

[BibT_eX]

[DOI]

Susanna Ghelfo

J. Symb. Comput., 1988

1986

Hints for the Design of a Set Calculus Oriented to Automated Deduction.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Logic and Functional Programming, 1986

1985

Towards Practical Implementations of Syllogistic.

[BibT_eX]

[DOI]

Susanna Ghelfo

Proceedings of the EUROCAL '85, 1985

1984

Decidability and Proof Procedures for Set Theory with a Choice Operator.

[BibT_eX]

PhD thesis, 1984

1980

Three existence principles in a modal calculus without descriptions contained in A. Bressan's MCν.

[BibT_eX]

[DOI]

Eugenio Giovanni Omodeo

Notre Dame J. Formal Log., 1980

Decision Procedures for Some Fragments of Set Theory.

[BibT_eX]

[DOI]

Alfredo Ferro