default search action
BibTeX records: Michael Kifer
@article{DBLP:journals/tplp/WangFK23, author = {Yuheng Wang and Paul Fodor and Michael Kifer}, title = {Knowledge Authoring for Rules and Actions}, journal = {Theory Pract. Log. Program.}, volume = {23}, number = {4}, pages = {797--811}, year = {2023}, url = {https://doi.org/10.1017/s1471068423000169}, doi = {10.1017/S1471068423000169}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/WangFK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BalabanKM23, author = {Mira Balaban and Michael Kifer and Azzam Maraee}, title = {Clabject Typing in {MLM} - the Double Life of a Clabject: {A} Position Paper}, booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden, October 1-6, 2023}, pages = {635--638}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/MODELS-C59198.2023.00104}, doi = {10.1109/MODELS-C59198.2023.00104}, timestamp = {Fri, 05 Jan 2024 16:35:45 +0100}, biburl = {https://dblp.org/rec/conf/models/BalabanKM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GrosofKSFB23, author = {Benjamin N. Grosof and Michael Kifer and Theresa Swift and Paul Fodor and Janine Bloomfield}, editor = {David Scott Warren and Ver{\'{o}}nica Dahl and Thomas Eiter and Manuel V. Hermenegildo and Robert A. Kowalski and Francesca Rossi}, title = {Ergo: {A} Quest for Declarativity in Logic Programming}, booktitle = {Prolog: The Next 50 Years}, series = {Lecture Notes in Computer Science}, volume = {13900}, pages = {224--236}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35254-6\_18}, doi = {10.1007/978-3-031-35254-6\_18}, timestamp = {Tue, 23 Jan 2024 13:25:47 +0100}, biburl = {https://dblp.org/rec/series/lncs/GrosofKSFB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-07763, author = {Yuheng Wang and Paul Fodor and Michael Kifer}, title = {Knowledge Authoring for Rules and Actions}, journal = {CoRR}, volume = {abs/2305.07763}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.07763}, doi = {10.48550/ARXIV.2305.07763}, eprinttype = {arXiv}, eprint = {2305.07763}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-07763.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BalabanKMK22, author = {Mira Balaban and Igal Khitron and Azzam Maraee and Michael Kifer}, editor = {Thomas K{\"{u}}hn and Vasco Sousa}, title = {Mediation-based {MLM} in FOModeLer}, booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal, Quebec, Canada, October 23-28, 2022}, pages = {444--452}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3550356.3561599}, doi = {10.1145/3550356.3561599}, timestamp = {Thu, 10 Nov 2022 12:50:00 +0100}, biburl = {https://dblp.org/rec/conf/models/BalabanKMK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2208-03094, author = {Yuheng Wang and Giorgian Borca{-}Tasciuc and Nikhil Goel and Paul Fodor and Michael Kifer}, editor = {Yuliya Lierler and Jos{\'{e}} F. Morales and Carmine Dodaro and Ver{\'{o}}nica Dahl and Martin Gebser and K. Tuncay Tekle}, title = {Knowledge Authoring with Factual English}, booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP} 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022}, series = {{EPTCS}}, volume = {364}, pages = {107--122}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.364.10}, doi = {10.4204/EPTCS.364.10}, timestamp = {Mon, 21 Aug 2023 17:48:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-03094.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/BalabanKK20, author = {Mira Balaban and Igal Khitron and Michael Kifer}, title = {Logic-based Software Modeling with {FOML}}, journal = {J. Object Technol.}, volume = {19}, number = {3}, pages = {3:1--21}, year = {2020}, url = {https://doi.org/10.5381/jot.2020.19.3.a19}, doi = {10.5381/JOT.2020.19.3.A19}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/BalabanKK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/GaoFK19, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, title = {Querying Knowledge via Multi-Hop English Questions}, journal = {Theory Pract. Log. Program.}, volume = {19}, number = {5-6}, pages = {636--653}, year = {2019}, url = {https://doi.org/10.1017/S1471068419000103}, doi = {10.1017/S1471068419000103}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/GaoFK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-08176, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, title = {Querying Knowledge via Multi-Hop English Questions}, journal = {CoRR}, volume = {abs/1907.08176}, year = {2019}, url = {http://arxiv.org/abs/1907.08176}, eprinttype = {arXiv}, eprint = {1907.08176}, timestamp = {Tue, 23 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-08176.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/semweb/RomanK18, author = {Dumitru Roman and Michael Kifer}, title = {ServLog: {A} unifying logical framework for service modeling and contracting}, journal = {Semantic Web}, volume = {9}, number = {2}, pages = {257--290}, year = {2018}, url = {https://doi.org/10.3233/SW-170262}, doi = {10.3233/SW-170262}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/semweb/RomanK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/BalabanKKM18, author = {Mira Balaban and Igal Khitron and Michael Kifer and Azzam Maraee}, editor = {John Krogstie and Hajo A. Reijers}, title = {Formal Executable Theory of Multilevel Modeling}, booktitle = {Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10816}, pages = {391--406}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91563-0\_24}, doi = {10.1007/978-3-319-91563-0\_24}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/caise/BalabanKKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BalabanKKM18, author = {Mira Balaban and Igal Khitron and Michael Kifer and Azzam Maraee}, editor = {Regina Hebig and Thorsten Berger}, title = {Multilevel modeling: what's in a level? {A} position paper}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2245}, pages = {693--697}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2245/multi\_paper\_7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/BalabanKKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/GaoFK18, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, editor = {Herv{\'{e}} Panetto and Christophe Debruyne and Henderik A. Proper and Claudio Agostino Ardagna and Dumitru Roman and Robert Meersman}, title = {Knowledge Authoring for Rule-Based Reasoning}, booktitle = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences - Confederated International Conferences: CoopIS, C{\&}TC, and {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11230}, pages = {461--480}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02671-4\_28}, doi = {10.1007/978-3-030-02671-4\_28}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/otm/GaoFK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webi/GaoFK18, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, title = {High Accuracy Question Answering via Hybrid Controlled Natural Language}, booktitle = {2018 {IEEE/WIC/ACM} International Conference on Web Intelligence, {WI} 2018, Santiago, Chile, December 3-6, 2018}, pages = {17--24}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/WI.2018.0-112}, doi = {10.1109/WI.2018.0-112}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/webi/GaoFK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/mc/18/MaierTKW18, author = {David Maier and K. Tuncay Tekle and Michael Kifer and David Scott Warren}, editor = {Michael Kifer and Yanhong Annie Liu}, title = {Datalog: concepts, history, and outlook}, booktitle = {Declarative Logic Programming: Theory, Systems, and Applications}, series = {{ACM} Books}, volume = {20}, pages = {3--100}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2018}, url = {https://doi.org/10.1145/3191315.3191317}, doi = {10.1145/3191315.3191317}, timestamp = {Fri, 18 Aug 2023 18:13:14 +0200}, biburl = {https://dblp.org/rec/books/mc/18/MaierTKW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/mc/18/KL2018, editor = {Michael Kifer and Yanhong Annie Liu}, title = {Declarative Logic Programming: Theory, Systems, and Applications}, series = {{ACM} Books}, volume = {20}, publisher = {{ACM} / Morgan {\&} Claypool}, year = {2018}, url = {https://doi.org/10.1145/3191315}, doi = {10.1145/3191315}, isbn = {978-1-97000-199-0}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/mc/18/KL2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/snam/Kifer18, author = {Michael Kifer}, editor = {Reda Alhajj and Jon G. Rokne}, title = {{RIF:} The Rule Interchange Format}, booktitle = {Encyclopedia of Social Network Analysis and Mining, 2nd Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4939-7131-2\_118}, doi = {10.1007/978-1-4939-7131-2\_118}, timestamp = {Wed, 04 May 2022 13:01:02 +0200}, biburl = {https://dblp.org/rec/reference/snam/Kifer18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GrosofKF17, author = {Benjamin N. Grosof and Michael Kifer and Paul Fodor}, editor = {Nick Bassiliades and Antonis Bikakis and Stefania Costantini and Enrico Franconi and Adrian Giurca and Roman Kontchakov and Theodore Patkos and Fariba Sadri and William Van Woensel}, title = {Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning}, booktitle = {Proceedings of the Doctoral Consortium, Challenge, Industry Track, Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK, July 11-15, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1875}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1875/paper18.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/GrosofKF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rweb/2016, editor = {Jeff Z. Pan and Diego Calvanese and Thomas Eiter and Ian Horrocks and Michael Kifer and Fangzhen Lin and Yuting Zhao}, title = {Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9885}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-49493-7}, doi = {10.1007/978-3-319-49493-7}, isbn = {978-3-319-49492-0}, timestamp = {Thu, 27 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/GaoFK16, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, title = {Paraconsistency and word puzzles}, journal = {Theory Pract. Log. Program.}, volume = {16}, number = {5-6}, pages = {703--720}, year = {2016}, url = {https://doi.org/10.1017/S1471068416000326}, doi = {10.1017/S1471068416000326}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/GaoFK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/BassedaK16, author = {Reza Basseda and Michael Kifer}, editor = {Loizos Michael and Antonis C. Kakas}, title = {Formalizing Goal Serializability for Evaluation of Planning Features}, booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA} 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10021}, pages = {515--521}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48758-8\_33}, doi = {10.1007/978-3-319-48758-8\_33}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/BassedaK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BalabanBDGGKK16, author = {Mira Balaban and Phillipa Bennett and Khanh{-}Hoang Doan and Geri Georg and Martin Gogolla and Igal Khitron and Michael Kifer}, editor = {Achim D. Brucker and Jordi Cabot and Adolfo S{\'{a}}nchez{-}Barbudo Herrera}, title = {A Comparison of Textual Modeling Languages: OCL, Alloy, {FOML}}, booktitle = {Proceedings of the 16th International Workshop on {OCL} and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France, October 2, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1756}, pages = {57--72}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1756/paper05.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/BalabanBDGGKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swste/BalabanKK16, author = {Mira Balaban and Igal Khitron and Michael Kifer}, title = {Multilevel Modeling and Reasoning with {FOML}}, booktitle = {2016 {IEEE} International Conference on Software Science, Technology and Engineering, {SWSTE} 2016, Beer Sheva, Israel, June 23-24, 2016}, pages = {61--70}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SWSTE.2016.17}, doi = {10.1109/SWSTE.2016.17}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/swste/BalabanKK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GaoFK16, author = {Tiantian Gao and Paul Fodor and Michael Kifer}, title = {Paraconsistency and Word Puzzles}, journal = {CoRR}, volume = {abs/1608.01338}, year = {2016}, url = {http://arxiv.org/abs/1608.01338}, eprinttype = {arXiv}, eprint = {1608.01338}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GaoFK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/semweb/WanKG15, author = {Hui Wan and Michael Kifer and Benjamin N. Grosof}, title = {Defeasibility in answer set programs with defaults and argumentation rules}, journal = {Semantic Web}, volume = {6}, number = {1}, pages = {81--98}, year = {2015}, url = {https://doi.org/10.3233/SW-140140}, doi = {10.3233/SW-140140}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/semweb/WanKG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/BassedaK15, author = {Reza Basseda and Michael Kifer}, editor = {Enrico Pontelli and Tran Cao Son}, title = {State Space Planning Using Transaction Logic}, booktitle = {Practical Aspects of Declarative Languages - 17th International Symposium, {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9131}, pages = {17--33}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19686-2\_2}, doi = {10.1007/978-3-319-19686-2\_2}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/BassedaK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BassedaK15, author = {Reza Basseda and Michael Kifer}, editor = {Balder ten Cate and Alessandra Mileo}, title = {Planning with Regression Analysis in Transaction Logic}, booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR} 2015, Berlin, Germany, August 4-5, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9209}, pages = {45--60}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22002-4\_5}, doi = {10.1007/978-3-319-22002-4\_5}, timestamp = {Sat, 09 Apr 2022 12:41:08 +0200}, biburl = {https://dblp.org/rec/conf/rr/BassedaK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BassedaGKGC15, author = {Reza Basseda and Tiantian Gao and Michael Kifer and Steven Greenspan and Charley Chell}, editor = {Nick Bassiliades and Georg Gottlob and Fariba Sadri and Adrian Paschke and Dumitru Roman}, title = {Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning}, booktitle = {Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9202}, pages = {376--387}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21542-6\_24}, doi = {10.1007/978-3-319-21542-6\_24}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/BassedaGKGC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GrosofBFKGCS15, author = {Benjamin N. Grosof and Janine Bloomfield and Paul Fodor and Michael Kifer and Isaac Grosof and Miguel Calejo and Terrance Swift}, editor = {Nick Bassiliades and Paul Fodor and Adrian Giurca and Georg Gottlob and Tom{\'{a}}s Kliegr and Grzegorz J. Nalepa and Monica Palmirani and Adrian Paschke and Mark Proctor and Dumitru Roman and Fariba Sadri and Nenad Stojanovic}, title = {Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog}, booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1417}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1417/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/GrosofBFKGCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/GrosofKF15, author = {Benjamin N. Grosof and Michael Kifer and Paul Fodor}, editor = {Wolfgang Faber and Adrian Paschke}, title = {The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation)}, booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9203}, pages = {189--192}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21768-0\_7}, doi = {10.1007/978-3-319-21768-0\_7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rweb/GrosofKF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BassedaKB14, author = {Reza Basseda and Michael Kifer and Anthony J. Bonner}, editor = {Roman Kontchakov and Marie{-}Laure Mugnier}, title = {Planning with Transaction Logic}, booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR} 2014, Athens, Greece, September 15-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8741}, pages = {29--44}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11113-1\_3}, doi = {10.1007/978-3-319-11113-1\_3}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/BassedaKB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/snam/Kifer14, author = {Michael Kifer}, title = {{RIF:} The Rule Interchange Format}, booktitle = {Encyclopedia of Social Network Analysis and Mining}, pages = {1586--1588}, year = {2014}, url = {https://doi.org/10.1007/978-1-4614-6170-8\_118}, doi = {10.1007/978-1-4614-6170-8\_118}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/snam/Kifer14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/CaliGK13, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Michael Kifer}, title = {Taming the Infinite Chase: Query Answering under Expressive Relational Constraints}, journal = {J. Artif. Intell. Res.}, volume = {48}, pages = {115--174}, year = {2013}, url = {https://doi.org/10.1613/jair.3873}, doi = {10.1613/JAIR.3873}, timestamp = {Mon, 21 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/CaliGK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/LiangK13, author = {Senlin Liang and Michael Kifer}, title = {A practical analysis of non-termination in large logic programs}, journal = {Theory Pract. Log. Program.}, volume = {13}, number = {4-5}, pages = {705--719}, year = {2013}, url = {https://doi.org/10.1017/S1471068413000446}, doi = {10.1017/S1471068413000446}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/LiangK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/BassedaKKGF13, author = {Reza Basseda and Michael Kifer and John P. Kane and Steven Greenspan and Paul Fodor}, title = {Developing Troubleshooting Systems Using Ontologies}, booktitle = {2013 {IEEE/WIC/ACM} International Conferences on Web Intelligence and Intelligent Agent Technology, Atlanta, Georgia, USA, 17-20 November 2013, Workshop Proceedings}, pages = {274--277}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/WI-IAT.2013.204}, doi = {10.1109/WI-IAT.2013.204}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/BassedaKKGF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/LiangK13, author = {Senlin Liang and Michael Kifer}, editor = {Konstantinos Sagonas}, title = {Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs}, booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium, {PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7752}, pages = {173--189}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45284-0\_12}, doi = {10.1007/978-3-642-45284-0\_12}, timestamp = {Sun, 02 Jun 2019 21:22:27 +0200}, biburl = {https://dblp.org/rec/conf/padl/LiangK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AndersenBCDFGKLS13, author = {Carl Andersen and Brett Benyo and Miguel Calejo and Mike Dean and Paul Fodor and Benjamin N. Grosof and Michael Kifer and Senlin Liang and Terrance Swift}, editor = {Paul Fodor and Dumitru Roman and Darko Anicic and Adam Z. Wyner and Monica Palmirani and Davide Sottara and Fran{\c{c}}ois L{\'{e}}vy}, title = {Advanced Knowledge Base Debugging for Rulelog}, booktitle = {Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1004}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1004/paper8.pdf}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/AndersenBCDFGKLS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AndersenBCDFGKLS13, author = {Carl Andersen and Brett Benyo and Miguel Calejo and Mike Dean and Paul Fodor and Benjamin N. Grosof and Michael Kifer and Senlin Liang and Terrance Swift}, title = {Understanding Rulelog Computations in Silk}, journal = {CoRR}, volume = {abs/1308.4125}, year = {2013}, url = {http://arxiv.org/abs/1308.4125}, eprinttype = {arXiv}, eprint = {1308.4125}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AndersenBCDFGKLS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jodsn/RezkK12, author = {Mart{\'{\i}}n Rezk and Michael Kifer}, title = {Transaction Logic with Partially Defined Actions}, journal = {J. Data Semant.}, volume = {1}, number = {2}, pages = {99--131}, year = {2012}, url = {https://doi.org/10.1007/s13740-012-0007-8}, doi = {10.1007/S13740-012-0007-8}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jodsn/RezkK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/RezkK12, author = {Mart{\'{\i}}n Rezk and Michael Kifer}, editor = {Thomas Lukasiewicz and Attila Sali}, title = {Formalizing Production Systems with Rule-Based Ontologies}, booktitle = {Foundations of Information and Knowledge Systems - 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7153}, pages = {332--351}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28472-4\_19}, doi = {10.1007/978-3-642-28472-4\_19}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/foiks/RezkK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/LiangK12, author = {Senlin Liang and Michael Kifer}, editor = {Markus Kr{\"{o}}tzsch and Umberto Straccia}, title = {Deriving Predicate Statistics for Logic Rules}, booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR} 2012, Vienna, Austria, September 10-12, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7497}, pages = {139--155}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33203-6\_11}, doi = {10.1007/978-3-642-33203-6\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/LiangK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1212-3357, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Michael Kifer}, title = {Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints}, journal = {CoRR}, volume = {abs/1212.3357}, year = {2012}, url = {http://arxiv.org/abs/1212.3357}, eprinttype = {arXiv}, eprint = {1212.3357}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-3357.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/FodorK11, author = {Paul Fodor and Michael Kifer}, editor = {John P. Gallagher and Michael Gelfond}, title = {Transaction Logic with Defaults and Argumentation Theories}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}}, series = {LIPIcs}, volume = {11}, pages = {162--174}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2011}, url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.162}, doi = {10.4230/LIPICS.ICLP.2011.162}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/FodorK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/BalabanK11, author = {Mira Balaban and Michael Kifer}, editor = {Jon Whittle and Tony Clark and Thomas K{\"{u}}hne}, title = {Logic-Based Model-Level Software Development with {F-OML}}, booktitle = {Model Driven Engineering Languages and Systems, 14th International Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6981}, pages = {517--532}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24485-8\_38}, doi = {10.1007/978-3-642-24485-8\_38}, timestamp = {Sat, 30 Sep 2023 09:53:36 +0200}, biburl = {https://dblp.org/rec/conf/models/BalabanK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/RezkK11, author = {Mart{\'{\i}}n Rezk and Michael Kifer}, editor = {Sebastian Rudolph and Claudio Gutierrez}, title = {On the Equivalence between the {\textdollar}{\textbackslash}mathcal\{L\}{\_}1{\textdollar} Action Language and Partial Actions in Transaction Logic}, booktitle = {Web Reasoning and Rule Systems - 5th International Conference, {RR} 2011, Galway, Ireland, August 29-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6902}, pages = {185--200}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23580-1\_14}, doi = {10.1007/978-3-642-23580-1\_14}, timestamp = {Thu, 10 Nov 2022 07:36:26 +0100}, biburl = {https://dblp.org/rec/conf/rr/RezkK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/RezkK11a, author = {Mart{\'{\i}}n Rezk and Michael Kifer}, editor = {Sebastian Rudolph and Claudio Gutierrez}, title = {Reasoning with Actions in Transaction Logic}, booktitle = {Web Reasoning and Rule Systems - 5th International Conference, {RR} 2011, Galway, Ireland, August 29-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6902}, pages = {201--216}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23580-1\_15}, doi = {10.1007/978-3-642-23580-1\_15}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rr/RezkK11a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/sp/Kifer11, author = {Michael Kifer}, editor = {John Domingue and Dieter Fensel and James A. Hendler}, title = {{KR} and Reasoning on the Semantic Web: {RIF}}, booktitle = {Handbook of Semantic Web Technologies}, pages = {399--439}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-540-92913-0\_10}, doi = {10.1007/978-3-540-92913-0\_10}, timestamp = {Wed, 14 Nov 2018 10:51:34 +0100}, biburl = {https://dblp.org/rec/reference/sp/Kifer11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BalabanK10, author = {Mira Balaban and Michael Kifer}, title = {An Overview of {F-OML:} An F-Logic Based Object Modeling Language}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {36}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.36.537}, doi = {10.14279/TUJ.ECEASST.36.537}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BalabanK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/BoleyK10, author = {Harold Boley and Michael Kifer}, title = {A Guide to the Basic Logic Dialect for Rule Interchange on the Web}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {22}, number = {11}, pages = {1593--1608}, year = {2010}, url = {https://doi.org/10.1109/TKDE.2010.84}, doi = {10.1109/TKDE.2010.84}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/BoleyK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/CaliGKLP10, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Michael Kifer and Thomas Lukasiewicz and Andreas Pieris}, editor = {Maria Fox and David Poole}, title = {Ontological Reasoning with F-logic Lite and its Extensions}, booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010}, pages = {1660--1665}, publisher = {{AAAI} Press}, year = {2010}, url = {https://doi.org/10.1609/aaai.v24i1.7709}, doi = {10.1609/AAAI.V24I1.7709}, timestamp = {Mon, 04 Sep 2023 16:23:45 +0200}, biburl = {https://dblp.org/rec/conf/aaai/CaliGKLP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilp/Kifer10, author = {Michael Kifer}, editor = {Paolo Frasconi and Francesca A. Lisi}, title = {Rule Interchange Format: Logic Programming's Second Wind?}, booktitle = {Inductive Logic Programming - 20th International Conference, {ILP} 2010, Florence, Italy, June 27-30, 2010. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {6489}, pages = {1}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21295-6\_1}, doi = {10.1007/978-3-642-21295-6\_1}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/ilp/Kifer10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/LiangK10, author = {Senlin Liang and Michael Kifer}, editor = {Temur Kutsia and Wolfgang Schreiner and Maribel Fern{\'{a}}ndez}, title = {Deriving predicate statistics in datalog}, booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria}, pages = {45--56}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1836089.1836095}, doi = {10.1145/1836089.1836095}, timestamp = {Tue, 27 Nov 2018 15:52:28 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/LiangK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/FodorK10, author = {Paul Fodor and Michael Kifer}, editor = {Temur Kutsia and Wolfgang Schreiner and Maribel Fern{\'{a}}ndez}, title = {Tabling for transaction logic}, booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria}, pages = {199--208}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1836089.1836115}, doi = {10.1145/1836089.1836115}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppdp/FodorK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/WanKG10, author = {Hui Wan and Michael Kifer and Benjamin N. Grosof}, editor = {Pascal Hitzler and Thomas Lukasiewicz}, title = {Defeasibility in Answer Set Programs via Argumentation Theories}, booktitle = {Web Reasoning and Rule Systems - Fourth International Conference, {RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6333}, pages = {149--163}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15918-3\_12}, doi = {10.1007/978-3-642-15918-3\_12}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rr/WanKG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GrosofADK10, author = {Benjamin N. Grosof and Carl Andersen and Mike Dean and Michael Kifer}, editor = {Monica Palmirani and M. Omair Shafiq and Enrico Francesconi and Fabio Vitali}, title = {Omni-directional Hyper Logic Programs in {SILK} and {RIF}}, booktitle = {Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {649}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-649/paper4.pdf}, timestamp = {Wed, 21 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GrosofADK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/WanGKFL09, author = {Hui Wan and Benjamin N. Grosof and Michael Kifer and Paul Fodor and Senlin Liang}, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic Programming with Defaults and Argumentation Theories}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {432--448}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_35}, doi = {10.1007/978-3-642-02846-5\_35}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/WanGKFL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WanK09, author = {Hui Wan and Michael Kifer}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {316--328}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_27}, doi = {10.1007/978-3-642-04238-6\_27}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/WanK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sum/WanK09, author = {Hui Wan and Michael Kifer}, editor = {Llu{\'{\i}}s Godo and Andrea Pugliese}, title = {Query Answering in Belief Logic Programming}, booktitle = {Scalable Uncertainty Management, Third International Conference, {SUM} 2009, Washington, DC, USA, September 28-30, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5785}, pages = {268--281}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04388-8\_21}, doi = {10.1007/978-3-642-04388-8\_21}, timestamp = {Fri, 05 Jun 2020 11:50:50 +0200}, biburl = {https://dblp.org/rec/conf/sum/WanK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/LiangFWK09, author = {Senlin Liang and Paul Fodor and Hui Wan and Michael Kifer}, editor = {Juan Quemada and Gonzalo Le{\'{o}}n and Yo{\"{e}}lle S. Maarek and Wolfgang Nejdl}, title = {OpenRuleBench: an analysis of the performance of rule engines}, booktitle = {Proceedings of the 18th International Conference on World Wide Web, {WWW} 2009, Madrid, Spain, April 20-24, 2009}, pages = {601--610}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1526709.1526790}, doi = {10.1145/1526709.1526790}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/LiangFWK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ihis/AngeleKL09, author = {J{\"{u}}rgen Angele and Michael Kifer and Georg Lausen}, editor = {Steffen Staab and Rudi Studer}, title = {Ontologies in F-Logic}, booktitle = {Handbook on Ontologies}, series = {International Handbooks on Information Systems}, pages = {45--70}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-540-92673-3\_2}, doi = {10.1007/978-3-540-92673-3\_2}, timestamp = {Wed, 14 Nov 2018 10:12:16 +0100}, biburl = {https://dblp.org/rec/series/ihis/AngeleKL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/CaliGK08, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Michael Kifer}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Taming the Infinite Chase: Query Answering under Expressive Relational Constraints}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/CaliGottlobKifer.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/CaliGK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esws/RomanKF08, author = {Dumitru Roman and Michael Kifer and Dieter Fensel}, editor = {Sean Bechhofer and Manfred Hauswirth and J{\"{o}}rg Hoffmann and Manolis Koubarakis}, title = {{WSMO} Choreography: From Abstract State Machines to Concurrent Transaction Logic}, booktitle = {The Semantic Web: Research and Applications, 5th European Semantic Web Conference, {ESWC} 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5021}, pages = {659--673}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68234-9\_48}, doi = {10.1007/978-3-540-68234-9\_48}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/esws/RomanKF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/CaliGK08, author = {Andrea Cal{\`{\i}} and Georg Gottlob and Michael Kifer}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {Taming the Infinite Chase: Query Answering under Expressive Relational Constraints}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {70--80}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-008.php}, timestamp = {Tue, 09 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/CaliGK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/Kifer08, author = {Michael Kifer}, editor = {Diego Calvanese and Georg Lausen}, title = {Rule Interchange Format: The Framework}, booktitle = {Web Reasoning and Rule Systems, Second International Conference, {RR} 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5341}, pages = {1--11}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88737-9\_1}, doi = {10.1007/978-3-540-88737-9\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/Kifer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Kifer08, author = {Michael Kifer}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Rule Interchange Format: The Framework}, booktitle = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5321}, pages = {1--2}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88808-6\_1}, doi = {10.1007/978-3-540-88808-6\_1}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/Kifer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/RomanK08, author = {Dumitru Roman and Michael Kifer}, editor = {Amit P. Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy W. Finin and Krishnaprasad Thirunarayan}, title = {Semantic Web Service Choreography: Contracting and Enactment}, booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference, {ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5318}, pages = {550--566}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88564-1\_35}, doi = {10.1007/978-3-540-88564-1\_35}, timestamp = {Tue, 07 Sep 2021 13:47:52 +0200}, biburl = {https://dblp.org/rec/conf/semweb/RomanK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/utcs/KiferS07, author = {Michael Kifer and Scott A. Smolka}, title = {Introduction to Operating System Design and Implementation - The {OSP} 2 Approach}, series = {Undergraduate Topics in Computer Science}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/1-84628-843-6}, doi = {10.1007/1-84628-843-6}, isbn = {978-1-84628-842-5}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/utcs/KiferS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/BoleyKPP07, author = {Harold Boley and Michael Kifer and Paula{-}Lavinia Patranjan and Axel Polleres}, editor = {Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula{-}Lavinia Patranjan and Robert Tolksdorf}, title = {Rule Interchange on the Web}, booktitle = {Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {4636}, pages = {269--309}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74615-7\_5}, doi = {10.1007/978-3-540-74615-7\_5}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rweb/BoleyKPP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/Kifer07, author = {Michael Kifer}, editor = {Michelangelo Ceci and Donato Malerba and Letizia Tanca}, title = {Semantic Web: Schism of the Languages}, booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy}, pages = {3}, year = {2007}, timestamp = {Thu, 21 Jun 2007 08:28:19 +0200}, biburl = {https://dblp.org/rec/conf/sebd/Kifer07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/CaliK07, author = {Andrea Cal{\`{\i}} and Michael Kifer}, editor = {Michelangelo Ceci and Donato Malerba and Letizia Tanca}, title = {Containment of Conjunctive Object Meta-Queries}, booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy}, pages = {308--315}, year = {2007}, timestamp = {Thu, 21 Jun 2007 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sebd/CaliK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/RomanK07, author = {Dumitru Roman and Michael Kifer}, editor = {Christoph Koch and Johannes Gehrke and Minos N. Garofalakis and Divesh Srivastava and Karl Aberer and Anand Deshpande and Daniela Florescu and Chee Yong Chan and Venkatesh Ganti and Carl{-}Christian Kanne and Wolfgang Klas and Erich J. Neuhold}, title = {Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic}, booktitle = {Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007}, pages = {627--638}, publisher = {{ACM}}, year = {2007}, url = {http://www.vldb.org/conf/2007/papers/research/p627-roman.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/RomanK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esws/2007, editor = {Enrico Franconi and Michael Kifer and Wolfgang May}, title = {The Semantic Web: Research and Applications, 4th European Semantic Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4519}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72667-8}, doi = {10.1007/978-3-540-72667-8}, isbn = {978-3-540-72666-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esws/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/jods/2007-8, editor = {Stefano Spaccapietra and Paolo Atzeni and Fran{\c{c}}ois Fages and Mohand{-}Said Hacid and Michael Kifer and John Mylopoulos and Barbara Pernici and Pavel Shvaiko and Juan Trujillo and Ilya Zaihrayeu}, title = {Journal on Data Semantics {VIII}}, series = {Lecture Notes in Computer Science}, volume = {4380}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-70664-9}, doi = {10.1007/978-3-540-70664-9}, isbn = {978-3-540-70663-2}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jods/2007-8.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/jods/2007-9, editor = {Stefano Spaccapietra and Paolo Atzeni and Fran{\c{c}}ois Fages and Mohand{-}Said Hacid and Michael Kifer and John Mylopoulos and Barbara Pernici and Pavel Shvaiko and Juan Trujillo and Ilya Zaihrayeu}, title = {Journal on Data Semantics {IX}}, series = {Lecture Notes in Computer Science}, volume = {4601}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74987-5}, doi = {10.1007/978-3-540-74987-5}, isbn = {978-3-540-74982-0}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jods/2007-9.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jods/YangK06, author = {Guizhen Yang and Michael Kifer}, title = {Inheritance in Rule-Based Frame Systems: Semantics and Inference}, journal = {J. Data Semant.}, pages = {79--135}, year = {2006}, url = {https://doi.org/10.1007/11890591\_4}, doi = {10.1007/11890591\_4}, timestamp = {Wed, 16 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jods/YangK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/YangKC06, author = {Guizhen Yang and Michael Kifer and Vinay K. Chaudhri}, editor = {Stijn Vansummeren}, title = {Efficiently ordering subgoals with access constraints}, booktitle = {Proceedings of the Twenty-Fifth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, {USA}}, pages = {183--192}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1142351.1142378}, doi = {10.1145/1142351.1142378}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/YangKC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/CaliK06, author = {Andrea Cal{\`{\i}} and Michael Kifer}, editor = {Umeshwar Dayal and Kyu{-}Young Whang and David B. Lomet and Gustavo Alonso and Guy M. Lohman and Martin L. Kersten and Sang Kyun Cha and Young{-}Kuk Kim}, title = {Containment of Conjunctive Object Meta-Queries}, booktitle = {Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, Korea, September 12-15, 2006}, pages = {942--952}, publisher = {{ACM}}, year = {2006}, url = {http://dl.acm.org/citation.cfm?id=1164208}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/CaliK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/Kifer05, author = {Michael Kifer}, editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina}, title = {Nonmonotonic Reasoning in {FLORA-2}}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3662}, pages = {1--12}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11546207\_1}, doi = {10.1007/11546207\_1}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/Kifer05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/otm/Kifer05, author = {Michael Kifer}, editor = {Robert Meersman and Zahir Tari and Mohand{-}Said Hacid and John Mylopoulos and Barbara Pernici and {\"{O}}zalp Babaoglu and Hans{-}Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra}, title = {{ODBASE} 2005 {PC} Co-Chairs' Message}, booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, {OTM} Confederated International Conferences, CoopIS, DOA, and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {3761}, pages = {1151--1151}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11575801\_14}, doi = {10.1007/11575801\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/otm/Kifer05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KiferBBF05, author = {Michael Kifer and Jos de Bruijn and Harold Boley and Dieter Fensel}, editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet}, title = {A Realistic Architecture for the Semantic Web}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3791}, pages = {17--29}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11580072\_3}, doi = {10.1007/11580072\_3}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/KiferBBF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/Kifer05, author = {Michael Kifer}, editor = {Norbert Eisinger and Jan Maluszynski}, title = {Rules and Ontologies in F-Logic}, booktitle = {Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {3564}, pages = {22--34}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11526988\_2}, doi = {10.1007/11526988\_2}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rweb/Kifer05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/w3c/BoleyDGKTW05, author = {Harold Boley and Mike Dean and Benjamin N. Grosof and Michael Kifer and Said Tabet and Gerd Wagner}, title = {RuleML Position Statement}, booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, {USA}}, publisher = {{W3C}}, year = {2005}, url = {http://www.w3.org/2004/12/rules-ws/paper/96}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/w3c/BoleyDGKTW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/w3c/GrosofKM05, author = {Benjamin N. Grosof and Michael Kifer and David L. Martin}, title = {Rules in the Semantic Web Services Language {(SWSL):} An Overview for Standardization Directions}, booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, {USA}}, publisher = {{W3C}}, year = {2005}, url = {http://www.w3.org/2004/12/rules-ws/paper/124}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/w3c/GrosofKM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/w3c/Kifer05, author = {Michael Kifer}, title = {Requirements for an Expressive Rule Language on the Semantic Web}, booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April 2005, Washington, DC, {USA}}, publisher = {{W3C}}, year = {2005}, url = {http://www.w3.org/2004/12/rules-ws/paper/34}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/w3c/Kifer05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/otm/2005-3, editor = {Robert Meersman and Zahir Tari and Mohand{-}Said Hacid and John Mylopoulos and Barbara Pernici and {\"{O}}zalp Babaoglu and Hans{-}Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra}, title = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, {OTM} Confederated International Conferences CoopIS, DOA, and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {3760}, publisher = {Springer}, year = {2005}, isbn = {3-540-29736-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/otm/2005-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/otm/2005-2, editor = {Robert Meersman and Zahir Tari and Mohand{-}Said Hacid and John Mylopoulos and Barbara Pernici and {\"{O}}zalp Babaoglu and Hans{-}Arno Jacobsen and Joseph P. Loyall and Michael Kifer and Stefano Spaccapietra}, title = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, {OTM} Confederated International Conferences, CoopIS, DOA, and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {3761}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11575801}, doi = {10.1007/11575801}, isbn = {3-540-29738-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/otm/2005-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigaccess/MukherjeeRK04, author = {Saikat Mukherjee and I. V. Ramakrishnan and Michael Kifer}, title = {Semantic bookmarking for non-visual web access}, journal = {{ACM} {SIGACCESS} Access. Comput.}, volume = {77-78}, pages = {185--192}, year = {2004}, url = {https://doi.org/10.1145/1029014.1028663}, doi = {10.1145/1029014.1028663}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigaccess/MukherjeeRK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/assets/MukherjeeRK04, author = {Saikat Mukherjee and I. V. Ramakrishnan and Michael Kifer}, editor = {Julie A. Jacko and Andrew Sears}, title = {Semantic bookmarking for non-visual web access}, booktitle = {Proceedings of the {ACM} {SIGACCESS} Conference on Computers and Accessibility, {ASSETS} 2004, Atlanta, GA, USA, October 18-20, 2004}, pages = {185--192}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1028630.1028663}, doi = {10.1145/1028630.1028663}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/assets/MukherjeeRK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/KiferLPZKLF04, author = {Michael Kifer and Rub{\'{e}}n Lara and Axel Polleres and Chang Zhao and Uwe Keller and Holger Lausen and Dieter Fensel}, editor = {David L. Martin and Rub{\'{e}}n Lara and Takahira Yamaguchi}, title = {A Logical Framework for Web Service Discovery}, booktitle = {Proceedings of the {ISWC} 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, SWS@ISWC 2004, Hiroshima, Japan, November 8, 2004}, series = {{CEUR} Workshop Proceedings}, volume = {119}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-119/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:09 +0100}, biburl = {https://dblp.org/rec/conf/semweb/KiferLPZKLF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/DavulcuKR04, author = {Hasan Davulcu and Michael Kifer and I. V. Ramakrishnan}, editor = {Stuart I. Feldman and Mike Uretsky and Marc Najork and Craig E. Wills}, title = {{CTR-S:} a logic for specifying contracts in semantic web services}, booktitle = {Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers {\&} Posters, {WWW} 2004, New York, NY, USA, May 17-20, 2004}, pages = {144--153}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1013367.1013391}, doi = {10.1145/1013367.1013391}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/DavulcuKR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/expert/HorrocksADKGW03, author = {Ian Horrocks and J{\"{u}}rgen Angele and Stefan Decker and Michael Kifer and Benjamin N. Grosof and Gerd Wagner}, title = {Where Are the Rules?}, journal = {{IEEE} Intell. Syst.}, volume = {18}, number = {5}, pages = {76--83}, year = {2003}, url = {https://doi.org/10.1109/MIS.2003.1234775}, doi = {10.1109/MIS.2003.1234775}, timestamp = {Tue, 12 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/expert/HorrocksADKGW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jods/YangK03, author = {Guizhen Yang and Michael Kifer}, title = {Reasoning about Anonymous Resources and Meta Statements on the Semantic Web}, journal = {J. Data Semant.}, volume = {1}, pages = {69--97}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39733-5\_4}, doi = {10.1007/978-3-540-39733-5\_4}, timestamp = {Wed, 16 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jods/YangK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/YangRK03, author = {Guizhen Yang and I. V. Ramakrishnan and Michael Kifer}, title = {On the complexity of schema inference from web pages in the presence of nullable data attributes}, booktitle = {Proceedings of the 2003 {ACM} {CIKM} International Conference on Information and Knowledge Management, New Orleans, Louisiana, USA, November 2-8, 2003}, pages = {224--231}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/956863.956907}, doi = {10.1145/956863.956907}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/YangRK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coopis/YangKZ03, author = {Guizhen Yang and Michael Kifer and Chang Zhao}, editor = {Robert Meersman and Zahir Tari and Douglas C. Schmidt}, title = {Flora-2: {A} Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web}, booktitle = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and {ODBASE} - {OTM} Confederated International Conferences, CoopIS, DOA, and {ODBASE} 2003, Catania, Sicily, Italy, November 3-7, 2003}, series = {Lecture Notes in Computer Science}, volume = {2888}, pages = {671--688}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39964-3\_43}, doi = {10.1007/978-3-540-39964-3\_43}, timestamp = {Fri, 30 Apr 2021 14:59:15 +0200}, biburl = {https://dblp.org/rec/conf/coopis/YangKZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/MukherjeeDKSY03, author = {Saikat Mukherjee and Hasan Davulcu and Michael Kifer and Pinar Senkul and Guizhen Yang}, editor = {Jan Chomicki and Ron van der Meyden and Gunter Saake}, title = {Logic Based Approaches to Workflow Modeling and Verification}, booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]}, pages = {167--202}, publisher = {Springer}, year = {2003}, timestamp = {Thu, 04 Sep 2003 15:52:12 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/MukherjeeDKSY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/YangK03, author = {Guizhen Yang and Michael Kifer}, editor = {Michael Schroeder and Gerd Wagner}, title = {Inheritance and Rules in Object-Oriented Semantic Web Languages}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2876}, pages = {95--110}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39715-1\_7}, doi = {10.1007/978-3-540-39715-1\_7}, timestamp = {Wed, 06 Nov 2019 16:45:49 +0100}, biburl = {https://dblp.org/rec/conf/semweb/YangK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coopis/YangK02, author = {Guizhen Yang and Michael Kifer}, editor = {Robert Meersman and Zahir Tari}, title = {Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases}, booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and {ODBASE} 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2519}, pages = {1013--1032}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36124-3\_65}, doi = {10.1007/3-540-36124-3\_65}, timestamp = {Thu, 14 Oct 2021 10:25:23 +0200}, biburl = {https://dblp.org/rec/conf/coopis/YangK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coopis/YangK02a, author = {Guizhen Yang and Michael Kifer}, editor = {Robert Meersman and Zahir Tari}, title = {On the Semantics of Anonymous Identity and Reification}, booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and {ODBASE} 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2519}, pages = {1047--1066}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36124-3\_67}, doi = {10.1007/3-540-36124-3\_67}, timestamp = {Fri, 30 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coopis/YangK02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/SenkulKT02, author = {Pinar Senkul and Michael Kifer and Ismail Hakki Toroslu}, title = {A Logical Framework for Scheduling Workflows under Resource Allocation Constraints}, booktitle = {Proceedings of 28th International Conference on Very Large Data Bases, {VLDB} 2002, Hong Kong, August 20-23, 2002}, pages = {694--705}, publisher = {Morgan Kaufmann}, year = {2002}, url = {http://www.vldb.org/conf/2002/S20P01.pdf}, doi = {10.1016/B978-155860869-6/50067-6}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/SenkulKT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/aw/LewisBK01, author = {Philip M. Lewis and Arthur J. Bernstein and Michael Kifer}, title = {Databases and Transaction Processing: An Application-Oriented Approach}, publisher = {Addison-Wesley}, year = {2001}, isbn = {0-201-70872-8}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/aw/LewisBK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/ArenasBK00, author = {Marcelo Arenas and Leopoldo E. Bertossi and Michael Kifer}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Applications of Annotated Predicate Calculus to Querying Inconsistent Databases}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {926--941}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_62}, doi = {10.1007/3-540-44957-4\_62}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cl/ArenasBK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/YangK00, author = {Guizhen Yang and Michael Kifer}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {{FLORA:} Implementing an Efficient {DOOD} System Using a Tabling Logic Engine}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {1078--1093}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_72}, doi = {10.1007/3-540-44957-4\_72}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cl/YangK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/DavulcuYKR00, author = {Hasan Davulcu and Guizhen Yang and Michael Kifer and I. V. Ramakrishnan}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Design and Implementation of the Physical Layer in WebBases: The XRover Experience}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {1094--1105}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_73}, doi = {10.1007/3-540-44957-4\_73}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cl/DavulcuYKR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/DavulcuYKR00, author = {Hasan Davulcu and Guizhen Yang and Michael Kifer and I. V. Ramakrishnan}, editor = {Victor Vianu and Georg Gottlob}, title = {Computational Aspects of Resilient Data Extraction from Semistructured Sources}, booktitle = {Proceedings of the Nineteenth {ACM} {SIGMOD-SIGACT-SIGART} Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, {USA}}, pages = {136--144}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/335168.335216}, doi = {10.1145/335168.335216}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/DavulcuYKR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ride/DavulcuKPRRD99, author = {Hasan Davulcu and Michael Kifer and L. Robert Pokorny and C. R. Ramakrishnan and I. V. Ramakrishnan and Steven Dawson}, title = {Modeling and Analysis of Interactions in Virtual Enterprises}, booktitle = {Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, Sydney, Australia, March 23-24, 1999}, pages = {12--18}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/RIDE.1999.758587}, doi = {10.1109/RIDE.1999.758587}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ride/DavulcuKPRRD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/DavulcuFKR99, author = {Hasan Davulcu and Juliana Freire and Michael Kifer and I. V. Ramakrishnan}, editor = {Alex Delis and Christos Faloutsos and Shahram Ghandeharizadeh}, title = {A Layered Architecture for Querying Dynamic Web Content}, booktitle = {{SIGMOD} 1999, Proceedings {ACM} {SIGMOD} International Conference on Management of Data, June 1-3, 1999, Philadelphia, Pennsylvania, {USA}}, pages = {491--502}, publisher = {{ACM} Press}, year = {1999}, url = {https://doi.org/10.1145/304182.304225}, doi = {10.1145/304182.304225}, timestamp = {Fri, 12 Mar 2021 14:14:34 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/DavulcuFKR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/krdb/99, editor = {Enrico Franconi and Michael Kifer}, title = {Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Link{\"{o}}ping, Sweden, July 29-30, 1999}, series = {{CEUR} Workshop Proceedings}, volume = {21}, publisher = {CEUR-WS.org}, year = {1999}, url = {https://ceur-ws.org/Vol-21}, urn = {urn:nbn:de:0074-21-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/krdb/99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Kifer98, author = {Michael Kifer}, title = {On the Decidability and Axiomatization of Query Finiteness in Deductive Databases}, journal = {J. {ACM}}, volume = {45}, number = {4}, pages = {588--633}, year = {1998}, url = {https://doi.org/10.1145/285055.285058}, doi = {10.1145/285055.285058}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Kifer98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BonnerK98a, author = {Anthony J. Bonner and Michael Kifer}, editor = {Burkhard Freitag and Hendrik Decker and Michael Kifer and Andrei Voronkov}, title = {The State of Change: {A} Survey}, booktitle = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and {ILPS} '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1472}, pages = {1--36}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055494}, doi = {10.1007/BFB0055494}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BonnerK98a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BonnerK98, author = {Anthony J. Bonner and Michael Kifer}, editor = {Jan Chomicki and Gunter Saake}, title = {A Logic for Programming Database Transactions}, booktitle = {Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)}, pages = {117--166}, publisher = {Kluwer}, year = {1998}, timestamp = {Mon, 17 Sep 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BonnerK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BonnerK98b, author = {Anthony J. Bonner and Michael Kifer}, editor = {Burkhard Freitag and Hendrik Decker and Michael Kifer and Andrei Voronkov}, title = {Results on Reasoning about Updates in Transaction Logic}, booktitle = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and {ILPS} '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1472}, pages = {166--196}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055499}, doi = {10.1007/BFB0055499}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BonnerK98b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/DavulcuKRR98, author = {Hasan Davulcu and Michael Kifer and C. R. Ramakrishnan and I. V. Ramakrishnan}, editor = {Alberto O. Mendelzon and Jan Paredaens}, title = {Logic Based Modeling and Analysis of Workflows}, booktitle = {Proceedings of the Seventeenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 1-3, 1998, Seattle, Washington, {USA}}, pages = {25--33}, publisher = {{ACM} Press}, year = {1998}, url = {https://doi.org/10.1145/275487.275491}, doi = {10.1145/275487.275491}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/DavulcuKRR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/1998change, editor = {Burkhard Freitag and Hendrik Decker and Michael Kifer and Andrei Voronkov}, title = {Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and {ILPS} '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1472}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055493}, doi = {10.1007/BFB0055493}, isbn = {3-540-65305-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/1998change.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Kifer97, author = {Michael Kifer}, editor = {Jan Maluszynski}, title = {Transaction Logic: An Introduction (Abstract)}, booktitle = {Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997}, pages = {47--48}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Fri, 10 Jul 2015 12:20:33 +0200}, biburl = {https://dblp.org/rec/conf/slp/Kifer97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BonnerK96, author = {Anthony J. Bonner and Michael Kifer}, editor = {Michael J. Maher}, title = {Concurrency and Communication in Transaction Logic}, booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996}, pages = {142--156}, publisher = {{MIT} Press}, year = {1996}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278930}, timestamp = {Mon, 09 Aug 2021 17:01:45 +0200}, biburl = {https://dblp.org/rec/conf/iclp/BonnerK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KiferLW95, author = {Michael Kifer and Georg Lausen and James Wu}, title = {Logical Foundations of Object-Oriented and Frame-Based Languages}, journal = {J. {ACM}}, volume = {42}, number = {4}, pages = {741--843}, year = {1995}, url = {https://doi.org/10.1145/210332.210335}, doi = {10.1145/210332.210335}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/KiferLW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jiis/Kifer95, author = {Michael Kifer}, title = {Forword: Deductive Object-Oriented Databases}, journal = {J. Intell. Inf. Syst.}, volume = {4}, number = {2}, pages = {119--121}, year = {1995}, url = {https://doi.org/10.1007/BF00961870}, doi = {10.1007/BF00961870}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jiis/Kifer95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/Kifer95, author = {Michael Kifer}, editor = {Tok Wang Ling and Alberto O. Mendelzon and Laurent Vieille}, title = {Deductive and Object Data Languages: {A} Quest for Integration}, booktitle = {Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1013}, pages = {187--212}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60608-4\_41}, doi = {10.1007/3-540-60608-4\_41}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/dood/Kifer95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/ChenK95, author = {Weidong Chen and Michael Kifer}, editor = {Georg Gottlob and Moshe Y. Vardi}, title = {Sorted HiLog: Sorts in Higher-Order Logic Data Languages}, booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {893}, pages = {252--265}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-58907-4\_20}, doi = {10.1007/3-540-58907-4\_20}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icdt/ChenK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BonnerK94, author = {Anthony J. Bonner and Michael Kifer}, title = {An Overview of Transaction Logic}, journal = {Theor. Comput. Sci.}, volume = {133}, number = {2}, pages = {205--265}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)90190-2}, doi = {10.1016/0304-3975(94)90190-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BonnerK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictl/BonnerK94, author = {Anthony J. Bonner and Michael Kifer}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {Applications of Transaction Logic to Knowledge Representation}, booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn, Germany, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {827}, pages = {67--81}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0013981}, doi = {10.1007/BFB0013981}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ictl/BonnerK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/ThirunarayanK93, author = {Krishnaprasad Thirunarayan and Michael Kifer}, title = {A Theory of Nonmonotonic Inheritance Based on Annotated Logic}, journal = {Artif. Intell.}, volume = {60}, number = {1}, pages = {23--50}, year = {1993}, url = {https://doi.org/10.1016/0004-3702(93)90033-8}, doi = {10.1016/0004-3702(93)90033-8}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/ThirunarayanK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/KiferW93, author = {Michael Kifer and James Wu}, title = {A Logic Programming with Complex Objects}, journal = {J. Comput. Syst. Sci.}, volume = {47}, number = {1}, pages = {77--120}, year = {1993}, url = {https://doi.org/10.1016/0022-0000(93)90021-N}, doi = {10.1016/0022-0000(93)90021-N}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/KiferW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ChenKW93, author = {Weidong Chen and Michael Kifer and David Scott Warren}, title = {{HILOG:} {A} Foundation for Higher-Order Logic Programming}, journal = {J. Log. Program.}, volume = {15}, number = {3}, pages = {187--230}, year = {1993}, url = {https://doi.org/10.1016/0743-1066(93)90039-J}, doi = {10.1016/0743-1066(93)90039-J}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ChenKW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/BonnerKC93, author = {Anthony J. Bonner and Michael Kifer and Mariano P. Consens}, editor = {Catriel Beeri and Atsushi Ohori and Dennis E. Shasha}, title = {Database Programming in Transaction Logic}, booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993}, series = {Workshops in Computing}, pages = {309--337}, publisher = {Springer}, year = {1993}, timestamp = {Wed, 29 Mar 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/BonnerKC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BonnerK93, author = {Anthony J. Bonner and Michael Kifer}, editor = {David Scott Warren}, title = {Transaction Logic Programming}, booktitle = {Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993}, pages = {257--279}, publisher = {{MIT} Press}, year = {1993}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/BonnerK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/KiferL92, author = {Michael Kifer and Eliezer L. Lozinskii}, title = {A Logic for Reasoning with Inconsistency}, journal = {J. Autom. Reason.}, volume = {9}, number = {2}, pages = {179--215}, year = {1992}, url = {https://doi.org/10.1007/BF00245460}, doi = {10.1007/BF00245460}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/KiferL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/KiferS92, author = {Michael Kifer and V. S. Subrahmanian}, title = {Theory of Generalized Annotated Logic Programming and its Applications}, journal = {J. Log. Program.}, volume = {12}, number = {3{\&}4}, pages = {335--367}, year = {1992}, url = {https://doi.org/10.1016/0743-1066(92)90007-P}, doi = {10.1016/0743-1066(92)90007-P}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/KiferS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/KiferS92, author = {Michael Kifer and Scott A. Smolka}, title = {{OSP:} An Environment for Operating System Projects}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {26}, number = {4}, pages = {98--100}, year = {1992}, url = {https://doi.org/10.1145/142854.142879}, doi = {10.1145/142854.142879}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigops/KiferS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/db-workshops/BonnerK92, author = {Anthony J. Bonner and Michael Kifer}, editor = {Vangalur S. Alagar and Laks V. S. Lakshmanan and Fereidoon Sadri}, title = {transaction Logic: An (Early) Expos{\'{e}}}, booktitle = {Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992}, series = {Workshops in Computing}, pages = {1--24}, publisher = {Springer}, year = {1992}, timestamp = {Thu, 20 Feb 2003 15:10:07 +0100}, biburl = {https://dblp.org/rec/conf/db-workshops/BonnerK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/KiferKS92, author = {Michael Kifer and Won Kim and Yehoshua Sagiv}, editor = {Michael Stonebraker}, title = {Querying Object-Oriented Databases}, booktitle = {Proceedings of the 1992 {ACM} {SIGMOD} International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992}, pages = {393--402}, publisher = {{ACM} Press}, year = {1992}, url = {https://doi.org/10.1145/130283.130342}, doi = {10.1145/130283.130342}, timestamp = {Mon, 21 Jun 2021 16:00:48 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/KiferKS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/Kifer91, author = {Michael Kifer}, title = {A First-Order Formalism of Object-Oriented Languages}, journal = {{IEEE} Data Eng. Bull.}, volume = {14}, number = {2}, pages = {13--17}, year = {1991}, url = {http://sites.computer.org/debull/91JUN-CD.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/Kifer91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KiferW91, author = {Michael Kifer and James Wu}, title = {A First-Order Theory of Types and Polymorphism in Logic Programming}, booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991}, pages = {310--321}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/LICS.1991.151655}, doi = {10.1109/LICS.1991.151655}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KiferW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dood/91, editor = {Claude Delobel and Michael Kifer and Yoshifumi Masunaga}, title = {Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {566}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55015-1}, doi = {10.1007/3-540-55015-1}, isbn = {3-540-55015-1}, timestamp = {Sat, 07 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dood/91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/KiferL90, author = {Michael Kifer and Eliezer L. Lozinskii}, title = {On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering}, journal = {{ACM} Trans. Database Syst.}, volume = {15}, number = {3}, pages = {385--426}, year = {1990}, url = {https://doi.org/10.1145/88636.87121}, doi = {10.1145/88636.87121}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tods/KiferL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/debu/ChenKW89, author = {Weidong Chen and Michael Kifer and David Scott Warren}, title = {HiLog as a Platform for Database Languages}, journal = {{IEEE} Data Eng. Bull.}, volume = {12}, number = {3}, pages = {37--44}, year = {1989}, url = {http://sites.computer.org/debull/89SEP-CD.pdf}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/debu/ChenKW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbpl/ChenKW89, author = {Weidong Chen and Michael Kifer and David Scott Warren}, editor = {Richard Hull and Ronald Morrison and David W. Stemple}, title = {HiLog as a Platform for Database Languages}, booktitle = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, {USA}}, pages = {315--329}, publisher = {Morgan Kaufmann}, year = {1989}, timestamp = {Wed, 20 Jun 2018 17:19:07 +0200}, biburl = {https://dblp.org/rec/conf/dbpl/ChenKW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/BrodieBHKMST89, author = {Michael L. Brodie and Fran{\c{c}}ois Bancilhon and Craig Harris and Michael Kifer and Yoshifumi Masunaga and Earl D. Saberdoti and Katsumi Tanaka}, editor = {Won Kim and Jean{-}Marie Nicolas and Shojiro Nishio}, title = {Next Generation Database Management Systems Technology (Panel)}, booktitle = {Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989}, pages = {335--346}, publisher = {North-Holland/Elsevier Science Publishers}, year = {1989}, timestamp = {Tue, 30 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dood/BrodieBHKMST89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KrishnaprasadK89, author = {Krishnaprasad Thirunarayan and Michael Kifer}, editor = {N. S. Sridharan}, title = {An Evidence-based Framework for a Theory of Inheritance}, booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989}, pages = {1093--1098}, publisher = {Morgan Kaufmann}, year = {1989}, url = {http://ijcai.org/Proceedings/89-2/Papers/039.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:51 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KrishnaprasadK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KrishnaprasadKW89, author = {Krishnaprasad Thirunarayan and Michael Kifer and David Scott Warren}, editor = {N. S. Sridharan}, title = {On the Declarative Semantics of Inheritance Networks}, booktitle = {Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989}, pages = {1099--1103}, publisher = {Morgan Kaufmann}, year = {1989}, url = {http://ijcai.org/Proceedings/89-2/Papers/040.pdf}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/KrishnaprasadKW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KiferL89, author = {Michael Kifer and Eliezer L. Lozinskii}, title = {{RI:} {A} Logic for Reasoning with Inconsistency}, booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989}, pages = {253--262}, publisher = {{IEEE} Computer Society}, year = {1989}, url = {https://doi.org/10.1109/LICS.1989.39180}, doi = {10.1109/LICS.1989.39180}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KiferL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/KiferW89, author = {Michael Kifer and James Wu}, editor = {Avi Silberschatz}, title = {A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)}, booktitle = {Proceedings of the Eighth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, {USA}}, pages = {379--393}, publisher = {{ACM} Press}, year = {1989}, url = {https://doi.org/10.1145/73721.73758}, doi = {10.1145/73721.73758}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/KiferW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/KiferL89, author = {Michael Kifer and Georg Lausen}, editor = {James Clifford and Bruce G. Lindsay and David Maier}, title = {F-Logic: {A} Higher-Order language for Reasoning about Objects, Inheritance, and Scheme}, booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989}, pages = {134--146}, publisher = {{ACM} Press}, year = {1989}, url = {https://doi.org/10.1145/67544.66939}, doi = {10.1145/67544.66939}, timestamp = {Mon, 21 Jun 2021 16:00:48 +0200}, biburl = {https://dblp.org/rec/conf/sigmod/KiferL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/KiferS89, author = {Michael Kifer and V. S. Subrahmanian}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {On the Expressive Power of Annotated Logic Programs}, booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes}, pages = {1069--1089}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Wed, 04 Dec 2013 14:43:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/KiferS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/ChenKW89, author = {Weidong Chen and Michael Kifer and David Scott Warren}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {HiLog: {A} First-Order Semantics for Higher-Order Logic Programming Constructs}, booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes}, pages = {1090--1114}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Wed, 15 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/ChenKW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KiferL88, author = {Michael Kifer and Eliezer L. Lozinskii}, title = {{SYGRAF:} Implementing Logic Programs in a Database Style}, journal = {{IEEE} Trans. Software Eng.}, volume = {14}, number = {7}, pages = {922--935}, year = {1988}, url = {https://doi.org/10.1109/32.42735}, doi = {10.1109/32.42735}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KiferL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KiferL88, author = {Michael Kifer and Ai Li}, editor = {Marc Gyssens and Jan Paredaens and Dirk Van Gucht}, title = {On the Semantics of Rule-Based Expert Systems with Uncertainty}, booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {326}, pages = {102--117}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50171-1\_6}, doi = {10.1007/3-540-50171-1\_6}, timestamp = {Sat, 09 Apr 2022 12:41:00 +0200}, biburl = {https://dblp.org/rec/conf/icdt/KiferL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jcdkb/Kifer88, author = {Michael Kifer}, editor = {Catriel Beeri and Joachim W. Schmidt and Umeshwar Dayal}, title = {On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report)}, booktitle = {Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel}, pages = {405--415}, publisher = {Morgan Kaufmann}, year = {1988}, url = {https://doi.org/10.1016/b978-1-4832-1313-2.50037-8}, doi = {10.1016/B978-1-4832-1313-2.50037-8}, timestamp = {Mon, 05 Aug 2019 12:00:23 +0200}, biburl = {https://dblp.org/rec/conf/jcdkb/Kifer88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/KiferRS88, author = {Michael Kifer and Raghu Ramakrishnan and Abraham Silberschatz}, editor = {Chris Edmondson{-}Yurkanan and Mihalis Yannakakis}, title = {An Axiomatic Approach to Deciding Query Safety in Deductive Databases}, booktitle = {Proceedings of the Seventh {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, {USA}}, pages = {52--60}, publisher = {{ACM}}, year = {1988}, url = {https://doi.org/10.1145/308386.308412}, doi = {10.1145/308386.308412}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pods/KiferRS88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BeeriK87, author = {Catriel Beeri and Michael Kifer}, title = {A theory of intersection anomalies in relational database schemes}, journal = {J. {ACM}}, volume = {34}, number = {3}, pages = {544--577}, year = {1987}, url = {https://doi.org/10.1145/28869.28872}, doi = {10.1145/28869.28872}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BeeriK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icde/KiferL87, author = {Michael Kifer and Eliezer L. Lozinskii}, title = {Implementing Logic Programs as a Database System}, booktitle = {Proceedings of the Third International Conference on Data Engineering, February 3-5, 1987, Los Angeles, California, {USA}}, pages = {375--385}, publisher = {{IEEE} Computer Society}, year = {1987}, url = {https://doi.org/10.1109/ICDE.1987.7272403}, doi = {10.1109/ICDE.1987.7272403}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icde/KiferL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BeeriK86, author = {Catriel Beeri and Michael Kifer}, title = {Elimination of intersection anomalies from database schemes}, journal = {J. {ACM}}, volume = {33}, number = {3}, pages = {423--450}, year = {1986}, url = {https://doi.org/10.1145/5925.5927}, doi = {10.1145/5925.5927}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BeeriK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/BeeriK86, author = {Catriel Beeri and Michael Kifer}, title = {An Integrated Approach to Logical Design of Relational Database Schemes}, journal = {{ACM} Trans. Database Syst.}, volume = {11}, number = {2}, pages = {134--158}, year = {1986}, url = {https://doi.org/10.1145/5922.214291}, doi = {10.1145/5922.214291}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tods/BeeriK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KiferL86, author = {Michael Kifer and Eliezer L. Lozinskii}, editor = {Giorgio Ausiello and Paolo Atzeni}, title = {Filtering Data Flow in Deductive Databases}, booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {243}, pages = {186--202}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-17187-8\_37}, doi = {10.1007/3-540-17187-8\_37}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icdt/KiferL86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/xp/KiferL86, author = {Michael Kifer and Eliezer L. Lozinskii}, editor = {Henry F. Korth}, title = {Can We Implement Logic as a Database System?}, booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986}, year = {1986}, timestamp = {Tue, 18 Sep 2012 21:20:39 +0200}, biburl = {https://dblp.org/rec/conf/xp/KiferL86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/il/Kifer84, author = {Michael Kifer}, title = {The design of schemes with desirable properties for relational databases ({\unicode{1514}}{\unicode{1499}}{\unicode{1504}}{\unicode{1493}}{\unicode{1503}} {\unicode{1505}}{\unicode{1499}}{\unicode{1502}}{\unicode{1493}}{\unicode{1514}} {\unicode{1506}}{\unicode{1501}} {\unicode{1514}}{\unicode{1499}}{\unicode{1493}}{\unicode{1504}}{\unicode{1493}}{\unicode{1514}} {\unicode{1512}}{\unicode{1510}}{\unicode{1493}}{\unicode{1497}}{\unicode{1493}}{\unicode{1514}} {\unicode{1489}}{\unicode{1502}}{\unicode{1505}}{\unicode{1491}}{\unicode{1497}} {\unicode{1504}}{\unicode{1514}}{\unicode{1493}}{\unicode{1504}}{\unicode{1497}}{\unicode{1501}} {\unicode{1497}}{\unicode{1495}}{\unicode{1505}}{\unicode{1497}}{\unicode{1497}}{\unicode{1501}}.)}, school = {Hebrew University of Jerusalem, Israel}, year = {1984}, url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI\_ALMA21159200060003701}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/il/Kifer84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/BeeriK84, author = {Catriel Beeri and Michael Kifer}, editor = {Umeshwar Dayal and Gunter Schlageter and Lim Huat Seng}, title = {Comprehensive Approach to the Design of Relational Database Schemes}, booktitle = {Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings}, pages = {196--207}, publisher = {Morgan Kaufmann}, year = {1984}, url = {http://www.vldb.org/conf/1984/P196.PDF}, timestamp = {Wed, 29 Mar 2017 16:45:24 +0200}, biburl = {https://dblp.org/rec/conf/vldb/BeeriK84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/BeeriK83, author = {Catriel Beeri and Michael Kifer}, editor = {Ronald Fagin and Philip A. Bernstein}, title = {Elimination of Intersection Anomalies from Database Schemes}, booktitle = {Proceedings of the Second {ACM} {SIGACT-SIGMOD} Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, {USA}}, pages = {340--351}, publisher = {{ACM}}, year = {1983}, url = {https://doi.org/10.1145/588058.588099}, doi = {10.1145/588058.588099}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/BeeriK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.