The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eugenio G. Omodeo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    A Language for Programming in Logic with Finite Sets. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:28, n:1, pp:1-44 [Journal]
  2. Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo
    An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:87-106 [Conf]
  3. Ernst-Erich Doberkat, Eugenio G. Omodeo
    Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:50-65 [Conf]
  4. Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti
    Rasiowa-Sikorski Style Relational Elementary Set Theory. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:215-226 [Conf]
  5. Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska
    An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:89-104 [Conf]
  6. Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
    Global Skolemization with Grouped Quantifiers. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:405-414 [Conf]
  7. Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino
    Transitive Venn diagrams with applications to the decision problem in set theory. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:167-182 [Conf]
  8. Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
    Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:147-158 [Conf]
  9. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
    Solving Systems of Equations over Hypersets. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:403-417 [Conf]
  10. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
    Plan of Activities on the Map Calculus. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:343-356 [Conf]
  11. Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
    Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:55-70 [Conf]
  12. Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
    Mappings Between Domain Models in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  13. Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
    Notes from the Logbook of a Proof-Checker's Project. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:182-207 [Conf]
  14. Eugenio G. Omodeo, Jacob T. Schwartz
    A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:214-230 [Conf]
  15. Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
    A Computerized Referee. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:117-139 [Conf]
  16. Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz
    Decision Procedures for Some Fragments of Set Theory. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:88-96 [Conf]
  17. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
    Instructing Equational Set-Reasoning with Otter. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:152-167 [Conf]
  18. Eugenio G. Omodeo, Alberto Policriti
    Decision Procedures for Set/Hyperset Contexts. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:192-215 [Conf]
  19. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
    Truth Tables for a Combinatorial Kernel of Set Theories. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:485-490 [Conf]
  20. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    Embedding Finite Sets in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:150-167 [Conf]
  21. Susanna Ghelfo, Eugenio G. Omodeo
    Towards Practical Implementations of Syllogistic. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:40-49 [Conf]
  22. Eugenio G. Omodeo
    Hints for the Design of a Set Calculus Oriented to Automated Deduction. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:201-218 [Conf]
  23. Andrea Formisano, Eugenio G. Omodeo
    An Equational Re-engineering of Set Theories. [Citation Graph (0, 0)][DBLP]
    FTP (LNCS Selection), 1998, pp:175-190 [Conf]
  24. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    {log}: A Logic Programming Language with Finite Sets. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:111-124 [Conf]
  25. Domenico Cantone, Eugenio G. Omodeo
    On the Decidability of Formulae Involving Continuous and Closed Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:425-430 [Conf]
  26. Eugenio G. Omodeo
    Solvable set/hyperset context. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:429- [Conf]
  27. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti
    Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1999, v:9, n:4, pp:293-332 [Journal]
  28. Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni
    A graphical approach to relational reasoning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  29. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
    Layered map reasoning: An experimental approach put to trial on sets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  30. Eugenio G. Omodeo, Ernst-Erich Doberkat
    Algebraic semantics of ER-models in the context of the calculus of relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
  31. Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo
    Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:2, pp:165-201 [Journal]
  32. Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti
    The Automation of Syllogistic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:2, pp:173-187 [Journal]
  33. Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo
    The Automation of Syllogistic I. Syllogistic Normal Forms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:1, pp:83-98 [Journal]
  34. Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
    Goals and Benchmarks for Automated Map Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:2, pp:259-297 [Journal]
  35. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
    A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:673-704 [Journal]
  36. Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti
    Decidability of exist*forall-Sentences in Membership Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:41-58 [Journal]
  37. Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba
    Compiling dyadic first-order specifications into map algebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:2, pp:447-475 [Journal]
  38. Ernst-Erich Doberkat, Eugenio G. Omodeo
    ER modelling from first relational principles. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:311, n:1-3, pp:285-323 [Journal]
  39. Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
    Three-variable statements of set-pairing. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:1, pp:147-173 [Journal]
  40. Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
    Decidability results for sets with atoms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:2, pp:269-301 [Journal]

  41. Theory-Specific Automated Reasoning. [Citation Graph (, )][DBLP]


Search in 0.040secs, Finished in 0.041secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002