@book(DLHANDBOOK2, editor = "Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider", year = "2007", title = "The Description Logic Handbook: Theory, Implementation, and Applications", edition = "second", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511711787", ) @inbook(Ber1966, author = "R. Berger", year = "1966", title = "The undecidability of the domino problem", pages = "1--72", series = "Mem. Amer. Math. Soc.", volume = "66", publisher = "American Mathematical Society", doi = "10.1007/978-3-540-69407-6\_51", ) @book(BorGraGur1997, author = "Egon B{\"o}rger and Erich Gr{\"a}del and Yuri Gurevich", year = "1997", title = "The Classical Decision Problem", series = "Perspectives in Mathematical Logic", publisher = "Springer", ) @article(BreFerOmoSch1981, author = "Michael Breban and Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz", year = "1981", title = "Decision procedures for elementary sublanguages of set theory. {II}. {F}ormulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions.", journal = "Communications on Pure and Applied Mathematics", volume = "34", pages = "177--195", doi = "10.1002/cpa.3160340203", ) @book(CanFerOmo89a, author = "Domenico Cantone and Alfredo Ferro and Eugenio Omodeo", year = "1989", title = "Computable set theory", series = "International Series of Monographs on Computer Science", volume = "6", publisher = "Oxford Science Publications. Clarendon Press", address = "Oxford, {UK}", ) @inproceedings(CanLonNic2011, author = "Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo", year = "2011", title = "A {D}ecidable {Q}uantified {F}ragment of {S}et {T}heory {I}nvolving {O}rdered {P}airs with {A}pplications to {D}escription {L}ogics", editor = "Marc Bezem", booktitle = "CSL 2011", series = "LIPIcs", volume = "12", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", pages = "129--143", doi = "10.4230/LIPIcs.CSL.2011.129", ) @inproceedings(CanLonNic2010, author = "Domenico Cantone and Cristiano Longo and Marianna {Nicolosi Asmundo}", year = "2010", title = "A {D}ecision {P}rocedure for a {T}wo-sorted {E}xtension of {M}ulti-{L}evel {S}yllogistic with the {C}artesian {P}roduct and {S}ome {M}ap {C}onstructs", editor = "Wolfgang Faber and Nicola Leone", booktitle = "CILC2010 : 25th Italian Conference on Computational Logic", ) @inproceedings(CanLonPis2010, author = "Domenico Cantone and Cristiano Longo and Antonio Pisasale", year = "2010", title = "{C}omparing {D}escription {L}ogics with {M}ulti-Level {S}yllogistics: the {D}escription {L}ogic \ensuremath {\mathcal {DL\delimiter "426830A }\ensuremath {\mathsf {MLSS}_{2,m}^{\times }}\xspace \mathcal {\delimiter "526930B }}\xspace ", booktitle = "6th Workshop on Semantic Web Applications and Perspectives (SWAP)", ) @book(CanOmoPol01, author = "Domenico Cantone and Eugenio Omodeo and Alberto Policriti", year = "2001", title = "Set theory for computing: {F}rom decision procedures to declarative programming with sets", series = "Monographs in Computer Science", publisher = "Springer-Verlag", address = "New York, NY, USA", ) @article(CanSch91, author = "Domenico Cantone and Jacob T. Schwartz", year = "1991", title = "{D}ecision {P}rocedures for {E}lementary {S}ublanguages of {S}et {T}heory: {XI}. {M}ultilevel {S}yllogistic {E}xtended by {S}ome {E}lementary {M}ap {C}onstructs", journal = "J. Autom. Reasoning", volume = "7", number = "2", pages = "231--256", doi = "10.1007/BF00243808", ) @article(EitGotMan1997, author = "Thomas Eiter and Georg Gottlob and Heikki Mannila", year = "1997", title = "{D}isjunctive {D}atalog", journal = "ACM Trans. Database Syst.", volume = "22", number = "3", pages = "364--418", doi = "10.1145/261124.261126", ) @article(FerOmoSch1980, author = "Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz", year = "1980", title = "Decision Procedures for Elementary Sublanguages of Set Theory. I. Multi-level syllogistic and some extensions.", journal = "Comm. Pure Appl. Math.", volume = "XXXIII", number = "5", pages = "599--608", doi = "10.1002/cpa.3160330503", ) @inproceedings(FOS80, author = "Alfredo Ferro and Eugenio G. Omodeo and Jacob T. Schwartz", year = "1980", title = "Decision Procedures for Some Fragments of Set Theory", editor = "Wolfgang Bibel and Robert A. Kowalski", booktitle = "CADE", series = "Lecture Notes in Computer Science", volume = "87", publisher = "Springer", pages = "88--96", doi = "10.1007/3-540-10009-1\_8", ) @book(Mos2005, author = "Yiannis Moschovakis", year = "2005", title = "Notes on Set Theory", edition = "second", publisher = "Springer", ) @article(Mot2007, author = "Boris Motik", year = "2007", title = "On the {P}roperties of {M}etamodeling in {OWL}", journal = "J. Log. Comput.", volume = "17", number = "4", pages = "617--637", doi = "10.1093/logcom/exm027", ) @article(OmoPol2010, author = "Eugenio Omodeo and Alberto Policriti", year = "2010", title = "The {B}ernays-{S}ch{\"o}nfinkel-{R}amsey {C}lass for {S}et {T}heory: {S}emidecidability", journal = "Journal of Symbolic Logic", volume = "75", number = "2", pages = "459--480", doi = "10.2178/jsl/1268917490", ) @article(OmoPol2012, author = "Eugenio Omodeo and Alberto Policriti", year = "2012", title = "The {B}ernays-{S}ch{\"o}nfinkel-{R}amsey {C}lass for {S}et {T}heory: {D}ecidability", journal = "Journal of Symbolic Logic, to appear", ) @book(SchCanOmo11, author = "Jacob T. Schwartz and Domenico Cantone and Eugenio G. Omodeo", year = "2011", title = "Computational logic and set theory: Applying formalized logic to analysis", publisher = "Springer-Verlag", doi = "10.1007/978-0-85729-808-9", note = "Foreword by M. Davis", ) @book(SchDewSchDub1986, author = "Jacob T. Schwartz and Robert B. K. Dewar and Edmond Schonberg and E Dubinsky", year = "1986", title = "Programming with sets; an introduction to SETL", publisher = "Springer-Verlag New York, Inc.", address = "New York, NY, USA", ) @techreport(WelFer1994, author = "Christopher A. Welty and David A. Ferrucci", year = "1994", title = "What's in an instance?", type = "Technical Report", institution = "RPI Computer Science", )