Eugenio G. Omodeo Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Marianna Nicolosi Asmundo [17]
2Pasquale Caianiello [32]
3Domenico Cantone [4] [5] [6] [17] [21] [28] [30] [31] [41] [44]
4Stefania Costantini [32] [34] [35]
5Ernst-Erich Doberkat [25] [26] [37]
6Agostino Dovier [8] [9] [13] [16] [20] [39]
7Alfredo Ferro [1]
8Andrea Formisano [18] [19] [22] [23] [24] [27] [30] [34] [35] [36] [38] [39] [40] [43]
9Susanna Ghelfo [2] [4]
10Ewa Orlowska [33] [40]
11Franco Parlamento [7] [10] [15]
12Alberto Policriti [6] [7] [10] [11] [12] [13] [15] [20] [33] [36] [38] [41] [42]
13Enrico Pontelli [8] [9] [16]
14Gianfranco Rossi [8] [9] [11] [13] [16]
15Jacob T. Schwartz [1] [29] [31] [41] [44]
16Marta Simeoni [24]
17Marco Temperini [19] [22] [23] [27]
18Pietro Ursino [21] [28] [31]
19Calogero G. Zarba [30]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page