Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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 = {Tue, 12 Apr 2022 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 = {Tue, 11 Feb 2020 15:52:14 +0100},
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}
}
a service of 
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.
last updated on 2024-05-08 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
