Michael Kifer
Stony Brook University, USA
http://www.cs.sunysb.edu/~kifer/
https://zbmath.org/authors/?q=ai:kifer.michael
Yuheng Wang
Paul Fodor
Michael Kifer
Knowledge Authoring for Rules and Actions.
797-811
2023
July
23
Theory Pract. Log. Program.
4
https://doi.org/10.1017/s1471068423000169
db/journals/tplp/tplp23.html#WangFK23
Mira Balaban
Michael Kifer
Azzam Maraee
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper.
635-638
2023
MoDELS (Companion)
https://doi.org/10.1109/MODELS-C59198.2023.00104
conf/models/2023c
db/conf/models/models2023c.html#BalabanKM23
Benjamin N. Grosof
Michael Kifer
Theresa Swift
Paul Fodor
Janine Bloomfield
Ergo: A Quest for Declarativity in Logic Programming.
224-236
2023
Prolog: The Next 50 Years
https://doi.org/10.1007/978-3-031-35254-6_18
series/lncs/13900
db/series/lncs/lncs13900.html#GrosofKSFB23
Yuheng Wang
Paul Fodor
Michael Kifer
Knowledge Authoring for Rules and Actions.
2023
abs/2305.07763
CoRR
https://doi.org/10.48550/arXiv.2305.07763
db/journals/corr/corr2305.html#abs-2305-07763
Mira Balaban
Igal Khitron
Azzam Maraee
Michael Kifer
Mediation-based MLM in FOModeLer.
444-452
2022
MoDELS (Companion)
https://doi.org/10.1145/3550356.3561599
conf/models/2022c
db/conf/models/models2022c.html#BalabanKMK22
Yuheng Wang
Giorgian Borca-Tasciuc
Nikhil Goel
Paul Fodor
Michael Kifer
Knowledge Authoring with Factual English.
ICLP Technical Communications / Doctoral Consortium
2022
107-122
journals/corr/abs-2208-02685
https://doi.org/10.4204/EPTCS.364.10
https://doi.org/10.48550/arXiv.2208.03094
db/series/eptcs/eptcs364.html#abs-2208-03094
Mira Balaban
Igal Khitron
Michael Kifer
Logic-based Software Modeling with FOML.
3:1-21
2020
19
J. Object Technol.
3
https://doi.org/10.5381/jot.2020.19.3.a19
db/journals/jot/jot19.html#BalabanKK20
Tiantian Gao
Paul Fodor
Michael Kifer
Querying Knowledge via Multi-Hop English Questions.
636-653
2019
19
Theory Pract. Log. Program.
5-6
https://doi.org/10.1017/S1471068419000103
db/journals/tplp/tplp19.html#GaoFK19
Tiantian Gao
Paul Fodor
Michael Kifer
Querying Knowledge via Multi-Hop English Questions.
2019
abs/1907.08176
CoRR
http://arxiv.org/abs/1907.08176
db/journals/corr/corr1907.html#abs-1907-08176
Dumitru Roman
Michael Kifer
ServLog: A unifying logical framework for service modeling and contracting.
257-290
2018
9
Semantic Web
2
https://doi.org/10.3233/SW-170262
https://www.wikidata.org/entity/Q120984843
db/journals/semweb/semweb9.html#RomanK18
Mira Balaban
Igal Khitron
Michael Kifer
Azzam Maraee
Formal Executable Theory of Multilevel Modeling.
391-406
2018
CAiSE
https://doi.org/10.1007/978-3-319-91563-0_24
conf/caise/2018
db/conf/caise/caise2018.html#BalabanKKM18
Mira Balaban
Igal Khitron
Michael Kifer
Azzam Maraee
Multilevel modeling: what's in a level? A position paper.
693-697
2018
MoDELS (Workshops)
https://ceur-ws.org/Vol-2245/multi_paper_7.pdf
conf/models/2018w
db/conf/models/models2018w.html#BalabanKKM18
Tiantian Gao
Paul Fodor
Michael Kifer
Knowledge Authoring for Rule-Based Reasoning.
461-480
2018
OTM Conferences (2)
https://doi.org/10.1007/978-3-030-02671-4_28
conf/otm/2018-2
db/conf/otm/otm2018-2.html#GaoFK18
Tiantian Gao
Paul Fodor
Michael Kifer
High Accuracy Question Answering via Hybrid Controlled Natural Language.
17-24
2018
WI
https://doi.org/10.1109/WI.2018.0-112
https://doi.ieeecomputersociety.org/10.1109/WI.2018.0-112
conf/webi/2018
db/conf/webi/webi2018.html#GaoFK18
David Maier 0001
K. Tuncay Tekle
Michael Kifer
David Scott Warren
Datalog: concepts, history, and outlook.
3-100
2018
Declarative Logic Programming
https://doi.org/10.1145/3191315.3191317
books/mc/18/KL2018
db/books/collections/KL2018.html#MaierTKW18
Michael Kifer
Yanhong Annie Liu
Declarative Logic Programming: Theory, Systems, and Applications
Declarative Logic Programming
ACM / Morgan & Claypool
2018
978-1-97000-199-0
ACM Books
20
https://doi.org/10.1145/3191315
db/books/collections/KL2018.html
Michael Kifer
RIF: The Rule Interchange Format.
2018
Encyclopedia of Social Network Analysis and Mining. 2nd Ed.
https://doi.org/10.1007/978-1-4939-7131-2_118
reference/snam/2018
db/reference/snam/snam2018.html#Kifer18
Benjamin N. Grosof
Michael Kifer
Paul Fodor
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning.
2017
RuleML+RR (Supplement)
https://ceur-ws.org/Vol-1875/paper18.pdf
conf/ruleml/2017s
db/conf/ruleml/ruleml2017s.html#GrosofKF17
Jeff Z. Pan
Diego Calvanese
Thomas Eiter
Ian Horrocks 0001
Michael Kifer
Fangzhen Lin
Yuting Zhao
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
Reasoning Web
Springer
2017
Lecture Notes in Computer Science
9885
978-3-319-49492-0
https://doi.org/10.1007/978-3-319-49493-7
db/conf/rweb/rweb2016.html
Tiantian Gao
Paul Fodor
Michael Kifer
Paraconsistency and word puzzles.
703-720
2016
16
Theory Pract. Log. Program.
5-6
https://doi.org/10.1017/S1471068416000326
db/journals/tplp/tplp16.html#GaoFK16
Reza Basseda
Michael Kifer
Formalizing Goal Serializability for Evaluation of Planning Features.
515-521
2016
JELIA
https://doi.org/10.1007/978-3-319-48758-8_33
conf/jelia/2016
db/conf/jelia/jelia2016.html#BassedaK16
Mira Balaban
Phillipa Bennett
Khanh-Hoang Doan
Geri Georg
Martin Gogolla
Igal Khitron
Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
57-72
2016
OCL@MoDELS
https://ceur-ws.org/Vol-1756/paper05.pdf
conf/models/2016ocl
db/conf/models/ocl2016.html#BalabanBDGGKK16
Mira Balaban
Igal Khitron
Michael Kifer
Multilevel Modeling and Reasoning with FOML.
61-70
2016
SwSTE
https://doi.org/10.1109/SWSTE.2016.17
conf/swste/2016
db/conf/swste/swste2016.html#BalabanKK16
Tiantian Gao
Paul Fodor
Michael Kifer
Paraconsistency and Word Puzzles.
2016
abs/1608.01338
CoRR
http://arxiv.org/abs/1608.01338
db/journals/corr/corr1608.html#GaoFK16
Hui Wan 0001
Michael Kifer
Benjamin N. Grosof
Defeasibility in answer set programs with defaults and argumentation rules.
81-98
2015
6
Semantic Web
1
https://doi.org/10.3233/SW-140140
https://www.wikidata.org/entity/Q120984778
db/journals/semweb/semweb6.html#WanKG15
Reza Basseda
Michael Kifer
State Space Planning Using Transaction Logic.
17-33
2015
PADL
https://doi.org/10.1007/978-3-319-19686-2_2
conf/padl/2015
db/conf/padl/padl2015.html#BassedaK15
Reza Basseda
Michael Kifer
Planning with Regression Analysis in Transaction Logic.
45-60
2015
RR
https://doi.org/10.1007/978-3-319-22002-4_5
conf/rr/2015
db/conf/rr/rr2015.html#BassedaK15
Reza Basseda
Tiantian Gao
Michael Kifer
Steven Greenspan
Charley Chell
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning.
376-387
2015
RuleML
https://doi.org/10.1007/978-3-319-21542-6_24
conf/ruleml/2015
db/conf/ruleml/ruleml2015.html#BassedaGKGC15
Benjamin N. Grosof
Janine Bloomfield
Paul Fodor
Michael Kifer
Isaac Grosof
Miguel Calejo
Terrance Swift
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
2015
Challenge+DC@RuleML
https://ceur-ws.org/Vol-1417/paper8.pdf
conf/ruleml/2015c
db/conf/ruleml/ruleml2015c.html#GrosofBFKGCS15
Benjamin N. Grosof
Michael Kifer
Paul Fodor
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).
189-192
2015
Reasoning Web
https://doi.org/10.1007/978-3-319-21768-0_7
conf/rweb/2015
db/conf/rweb/rweb2015.html#GrosofKF15
Reza Basseda
Michael Kifer
Anthony J. Bonner
Planning with Transaction Logic.
29-44
2014
RR
https://doi.org/10.1007/978-3-319-11113-1_3
conf/rr/2014
db/conf/rr/rr2014.html#BassedaKB14
Michael Kifer
RIF: The Rule Interchange Format.
1586-1588
2014
Encyclopedia of Social Network Analysis and Mining
https://doi.org/10.1007/978-1-4614-6170-8_118
db/reference/snam/snam2014.html#Kifer14
Andrea Calì
Georg Gottlob
Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
115-174
2013
48
J. Artif. Intell. Res.
https://doi.org/10.1613/jair.3873
db/journals/jair/jair48.html#CaliGK13
Senlin Liang
Michael Kifer
A practical analysis of non-termination in large logic programs.
705-719
2013
13
Theory Pract. Log. Program.
4-5
https://doi.org/10.1017/S1471068413000446
db/journals/tplp/tplp13.html#LiangK13
Reza Basseda
Michael Kifer
John P. Kane
Steven Greenspan
Paul Fodor
Developing Troubleshooting Systems Using Ontologies.
274-277
2013
Web Intelligence/IAT Workshops
https://doi.org/10.1109/WI-IAT.2013.204
https://doi.ieeecomputersociety.org/10.1109/WI-IAT.2013.204
conf/iat/2013w
db/conf/iat/iatw2013.html#BassedaKKGF13
Senlin Liang
Michael Kifer
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.
173-189
2013
PADL
https://doi.org/10.1007/978-3-642-45284-0_12
conf/padl/2013
db/conf/padl/padl2013.html#LiangK13
Carl Andersen 0001
Brett Benyo
Miguel Calejo
Mike Dean
Paul Fodor
Benjamin N. Grosof
Michael Kifer
Senlin Liang
Terrance Swift
Advanced Knowledge Base Debugging for Rulelog.
2013
RuleML (2)
https://ceur-ws.org/Vol-1004/paper8.pdf
conf/ruleml/2013-2
db/conf/ruleml/ruleml2013-2.html#AndersenBCDFGKLS13
Carl Andersen 0001
Brett Benyo
Miguel Calejo
Mike Dean
Paul Fodor
Benjamin N. Grosof
Michael Kifer
Senlin Liang
Terrance Swift
Understanding Rulelog Computations in Silk.
2013
CoRR
http://arxiv.org/abs/1308.4125
abs/1308.4125
db/journals/corr/corr1308.html#AndersenBCDFGKLS13
Martín Rezk
Michael Kifer
Transaction Logic with Partially Defined Actions.
99-131
2012
1
J. Data Semant.
2
https://doi.org/10.1007/s13740-012-0007-8
db/journals/jodsn/jodsn1.html#RezkK12
Martín Rezk
Michael Kifer
Formalizing Production Systems with Rule-Based Ontologies.
332-351
2012
FoIKS
https://doi.org/10.1007/978-3-642-28472-4_19
conf/foiks/2012
db/conf/foiks/foiks2012.html#RezkK12
Senlin Liang
Michael Kifer
Deriving Predicate Statistics for Logic Rules.
139-155
2012
RR
https://doi.org/10.1007/978-3-642-33203-6_11
conf/rr/2012
db/conf/rr/rr2012.html#LiangK12
Andrea Calì
Georg Gottlob
Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints
http://arxiv.org/abs/1212.3357
2012
CoRR
abs/1212.3357
db/journals/corr/corr1212.html#abs-1212-3357
Paul Fodor
Michael Kifer
Transaction Logic with Defaults and Argumentation Theories.
162-174
2011
ICLP (Technical Communications)
https://doi.org/10.4230/LIPIcs.ICLP.2011.162
conf/iclp/2011
db/conf/iclp/iclp2011.html#FodorK11
Mira Balaban
Michael Kifer
Logic-Based Model-Level Software Development with F-OML.
517-532
2011
MoDELS
https://doi.org/10.1007/978-3-642-24485-8_38
conf/models/2011
db/conf/models/models2011.html#BalabanK11
Martín Rezk
Michael Kifer
On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic.
185-200
2011
RR
https://doi.org/10.1007/978-3-642-23580-1_14
conf/rr/2011
db/conf/rr/rr2011.html#RezkK11
Martín Rezk
Michael Kifer
Reasoning with Actions in Transaction Logic.
201-216
2011
RR
https://doi.org/10.1007/978-3-642-23580-1_15
conf/rr/2011
db/conf/rr/rr2011.html#RezkK11a
Michael Kifer
KR and Reasoning on the Semantic Web: RIF.
399-439
2011
Handbook of Semantic Web Technologies
https://doi.org/10.1007/978-3-540-92913-0_10
reference/sp/2011semweb
db/reference/sp/semweb2011.html#Kifer11
Mira Balaban
Michael Kifer
An Overview of F-OML: An F-Logic Based Object Modeling Language.
2010
36
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
https://doi.org/10.14279/tuj.eceasst.36.537
db/journals/eceasst/eceasst36.html#BalabanK10
Harold Boley
Michael Kifer
A Guide to the Basic Logic Dialect for Rule Interchange on the Web.
1593-1608
2010
22
IEEE Trans. Knowl. Data Eng.
11
https://doi.org/10.1109/TKDE.2010.84
http://doi.ieeecomputersociety.org/10.1109/TKDE.2010.84
db/journals/tkde/tkde22.html#BoleyK10
Andrea Calì
Georg Gottlob
Michael Kifer
Thomas Lukasiewicz
Andreas Pieris
Ontological Reasoning with F-logic Lite and its Extensions.
2010
AAAI
https://doi.org/10.1609/aaai.v24i1.7709
conf/aaai/2010
db/conf/aaai/aaai2010.html#CaliGKLP10
1660-1665
Michael Kifer
Rule Interchange Format: Logic Programming's Second Wind?
1
2010
ILP
https://doi.org/10.1007/978-3-642-21295-6_1
conf/ilp/2010
db/conf/ilp/ilp2010.html#Kifer10
Senlin Liang
Michael Kifer
Deriving predicate statistics in datalog.
45-56
2010
PPDP
https://doi.org/10.1145/1836089.1836095
conf/ppdp/2010
db/conf/ppdp/ppdp2010.html#LiangK10
Paul Fodor
Michael Kifer
Tabling for transaction logic.
199-208
2010
PPDP
https://doi.org/10.1145/1836089.1836115
conf/ppdp/2010
db/conf/ppdp/ppdp2010.html#FodorK10
Hui Wan 0001
Michael Kifer
Benjamin N. Grosof
Defeasibility in Answer Set Programs via Argumentation Theories.
149-163
2010
RR
https://doi.org/10.1007/978-3-642-15918-3_12
conf/rr/2010
db/conf/rr/rr2010.html#WanKG10
Benjamin N. Grosof
Carl Andersen 0001
Mike Dean
Michael Kifer
Omni-directional Hyper Logic Programs in SILK and RIF.
2010
RuleML Challenge
https://ceur-ws.org/Vol-649/paper4.pdf
conf/ruleml/2010c
db/conf/ruleml/ruleml2010c.html#GrosofADK10
Hui Wan 0001
Benjamin N. Grosof
Michael Kifer
Paul Fodor
Senlin Liang
Logic Programming with Defaults and Argumentation Theories.
432-448
2009
ICLP
https://doi.org/10.1007/978-3-642-02846-5_35
conf/iclp/2009
db/conf/iclp/iclp2009.html#WanGKFL09
Hui Wan 0001
Michael Kifer
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.
316-328
2009
LPNMR
https://doi.org/10.1007/978-3-642-04238-6_27
conf/lpnmr/2009
db/conf/lpnmr/lpnmr2009.html#WanK09
Hui Wan 0001
Michael Kifer
Query Answering in Belief Logic Programming.
268-281
2009
SUM
https://doi.org/10.1007/978-3-642-04388-8_21
conf/sum/2009
db/conf/sum/sum2009.html#WanK09
Senlin Liang
Paul Fodor
Hui Wan 0001
Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines.
601-610
2009
WWW
https://doi.org/10.1145/1526709.1526790
conf/www/2009
db/conf/www/www2009.html#LiangFWK09
Jürgen Angele
Michael Kifer
Georg Lausen
Ontologies in F-Logic.
45-70
2009
Handbook on Ontologies
https://doi.org/10.1007/978-3-540-92673-3_2
series/ihis/2009hoo
db/series/ihis/hoo2009.html#AngeleKL09
Andrea Calì
Georg Gottlob
Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
2008
Description Logics
https://ceur-ws.org/Vol-353/CaliGottlobKifer.pdf
conf/dlog/2008
db/conf/dlog/dlog2008.html#CaliGK08
Dumitru Roman
Michael Kifer
Dieter Fensel
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.
659-673
2008
ESWC
https://doi.org/10.1007/978-3-540-68234-9_48
conf/esws/2008
db/conf/esws/eswc2008.html#RomanKF08
Andrea Calì
Georg Gottlob
Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
70-80
2008
KR
conf/kr/2008
db/conf/kr/kr2008.html#CaliGK08
http://www.aaai.org/Library/KR/2008/kr08-008.php
Michael Kifer
Rule Interchange Format: The Framework.
1-11
2008
RR
https://doi.org/10.1007/978-3-540-88737-9_1
conf/rr/2008
db/conf/rr/rr2008.html#Kifer08
Michael Kifer
Rule Interchange Format: The Framework.
1-2
2008
RuleML
https://doi.org/10.1007/978-3-540-88808-6_1
conf/ruleml/2008
db/conf/ruleml/ruleml2008.html#Kifer08
Dumitru Roman
Michael Kifer
Semantic Web Service Choreography: Contracting and Enactment.
550-566
2008
ISWC
https://doi.org/10.1007/978-3-540-88564-1_35
conf/semweb/2008
db/conf/semweb/iswc2008.html#RomanK08
Michael Kifer
Scott A. Smolka
Introduction to Operating System Design and Implementation - The OSP 2 Approach.
2007
I-XII, 1-172
Springer
Undergraduate Topics in Computer Science
978-1-84628-842-5
978-1-84628-843-2
https://doi.org/10.1007/1-84628-843-6
Harold Boley
Michael Kifer
Paula-Lavinia Patranjan
Axel Polleres
Rule Interchange on the Web.
269-309
2007
conf/rweb/2007
Reasoning Web
https://doi.org/10.1007/978-3-540-74615-7_5
db/conf/rweb/rweb2007.html#BoleyKPP07
Michael Kifer
Semantic Web: Schism of the Languages.
3
2007
conf/sebd/2007
SEBD
db/conf/sebd/sebd2007.html#Kifer07
Andrea Calì
Michael Kifer
Containment of Conjunctive Object Meta-Queries.
308-315
2007
conf/sebd/2007
SEBD
db/conf/sebd/sebd2007.html#CaliK07
Dumitru Roman
Michael Kifer
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic.
627-638
2007
conf/vldb/2007
VLDB
http://www.vldb.org/conf/2007/papers/research/p627-roman.pdf
db/conf/vldb/vldb2007.html#RomanK07
Enrico Franconi
Michael Kifer
Wolfgang May
The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings
ESWC
Lecture Notes in Computer Science
4519
Springer
2007
978-3-540-72666-1
https://doi.org/10.1007/978-3-540-72667-8
db/conf/esws/eswc2007.html
Stefano Spaccapietra
Paolo Atzeni
François Fages
Mohand-Said Hacid
Michael Kifer
John Mylopoulos
Barbara Pernici
Pavel Shvaiko
Juan Trujillo 0001
Ilya Zaihrayeu
Journal on Data Semantics VIII
Lecture Notes in Computer Science
4380
Springer
2007
978-3-540-70663-2
Journal on Data Semantics VIII
https://doi.org/10.1007/978-3-540-70664-9
db/journals/jods/jods8.html
Stefano Spaccapietra
Paolo Atzeni
François Fages
Mohand-Said Hacid
Michael Kifer
John Mylopoulos
Barbara Pernici
Pavel Shvaiko
Juan Trujillo 0001
Ilya Zaihrayeu
Journal on Data Semantics IX
Journal on Data Semantics IX
Lecture Notes in Computer Science
4601
Springer
2007
978-3-540-74982-0
https://doi.org/10.1007/978-3-540-74987-5
db/journals/jods/jods9.html
Guizhen Yang
Michael Kifer
Inheritance in Rule-Based Frame Systems: Semantics and Inference.
79-135
2006
journals/jods/2006-7
J. Data Semant.
https://doi.org/10.1007/11890591_4
db/journals/jods/jods7.html#YangK06
Guizhen Yang
Michael Kifer
Vinay K. Chaudhri
Efficiently ordering subgoals with access constraints.
183-192
2006
conf/pods/2006
PODS
https://doi.org/10.1145/1142351.1142378
db/conf/pods/pods2006.html#YangKC06
Andrea Calì
Michael Kifer
Containment of Conjunctive Object Meta-Queries.
942-952
2006
conf/vldb/2006
VLDB
http://dl.acm.org/citation.cfm?id=1164208
http://www.vldb.org/conf/2006/p942-cali.pdf
db/conf/vldb/vldb2006.html#CaliK06
Michael Kifer
Nonmonotonic Reasoning in FLORA-2.
1-12
2005
conf/lpnmr/2005
LPNMR
https://doi.org/10.1007/11546207_1
db/conf/lpnmr/lpnmr2005.html#Kifer05
Michael Kifer
ODBASE 2005 PC Co-Chairs' Message.
1151-1151
2005
conf/otm/2005-2
OTM Conferences (2)
https://doi.org/10.1007/11575801_14
db/conf/otm/otm2005-2.html#Kifer05
Michael Kifer
Jos de Bruijn
Harold Boley
Dieter Fensel
A Realistic Architecture for the Semantic Web.
17-29
2005
conf/ruleml/2005
RuleML
https://doi.org/10.1007/11580072_3
db/conf/ruleml/ruleml2005.html#KiferBBF05
Michael Kifer
Rules and Ontologies in F-Logic.
22-34
2005
conf/rweb/2005
Reasoning Web
https://doi.org/10.1007/11526988_2
db/conf/rweb/rweb2005.html#Kifer05
Harold Boley
Mike Dean
Benjamin N. Grosof
Michael Kifer
Said Tabet
Gerd Wagner 0001
RuleML Position Statement.
2005
conf/w3c/2005r
Rule Languages for Interoperability
http://www.w3.org/2004/12/rules-ws/paper/96
db/conf/w3c/rules2005.html#BoleyDGKTW05
Benjamin N. Grosof
Michael Kifer
David L. Martin 0001
Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions.
2005
conf/w3c/2005r
Rule Languages for Interoperability
http://www.w3.org/2004/12/rules-ws/paper/124
db/conf/w3c/rules2005.html#GrosofKM05
Michael Kifer
Requirements for an Expressive Rule Language on the Semantic Web.
2005
conf/w3c/2005r
Rule Languages for Interoperability
http://www.w3.org/2004/12/rules-ws/paper/34
db/conf/w3c/rules2005.html#Kifer05
Robert Meersman
Zahir Tari
Mohand-Said Hacid
John Mylopoulos
Barbara Pernici
Özalp Babaoglu
Hans-Arno Jacobsen
Joseph P. Loyall
Michael Kifer
Stefano Spaccapietra
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
3760
2005
3-540-29736-7
OTM Conferences (1)
Lecture Notes in Computer Science
Springer
db/conf/otm/otm2005-1c.html
Robert Meersman
Zahir Tari
Mohand-Said Hacid
John Mylopoulos
Barbara Pernici
Özalp Babaoglu
Hans-Arno Jacobsen
Joseph P. Loyall
Michael Kifer
Stefano Spaccapietra
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
3761
2005
3-540-29738-3
OTM Conferences (2)
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/11575801
db/conf/otm/otm2005-2.html
Saikat Mukherjee
I. V. Ramakrishnan
Michael Kifer
Semantic bookmarking for non-visual web access.
185-192
2004
77-78
ACM SIGACCESS Access. Comput.
https://doi.org/10.1145/1029014.1028663
db/journals/sigaccess/sigaccess77.html#MukherjeeRK04
Saikat Mukherjee
I. V. Ramakrishnan
Michael Kifer
Semantic bookmarking for non-visual web access.
185-192
2004
conf/assets/2004
ASSETS
https://doi.org/10.1145/1028630.1028663
db/conf/assets/assets2004.html#MukherjeeRK04
Michael Kifer
Rubén Lara
Axel Polleres
Chang Zhao
Uwe Keller
Holger Lausen
Dieter Fensel
A Logical Framework for Web Service Discovery.
2004
SWS@ISWC
https://ceur-ws.org/Vol-119/paper3.pdf
conf/semweb/2004sws
db/conf/semweb/sws2004.html#KiferLPZKLF04
Hasan Davulcu
Michael Kifer
I. V. Ramakrishnan
CTR-S: a logic for specifying contracts in semantic web services.
144-153
2004
conf/www/2004at
WWW (Alternate Track Papers & Posters)
https://doi.org/10.1145/1013367.1013391
db/conf/www/www2004at.html#DavulcuKR04
Ian Horrocks 0001
Jürgen Angele
Stefan Decker
Michael Kifer
Benjamin N. Grosof
Gerd Wagner 0001
Where Are the Rules?
76-83
2003
18
IEEE Intell. Syst.
5
https://doi.org/10.1109/MIS.2003.1234775
db/journals/expert/expert18.html#HorrocksADKGW03
Guizhen Yang
Michael Kifer
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.
69-97
https://doi.org/10.1007/978-3-540-39733-5_4
2003
journals/jods/2003
J. Data Semant.
1
db/journals/jods/jods1.html#YangK03
Guizhen Yang
I. V. Ramakrishnan
Michael Kifer
On the complexity of schema inference from web pages in the presence of nullable data attributes.
224-231
2003
conf/cikm/2003
CIKM
https://doi.org/10.1145/956863.956907
db/conf/cikm/cikm2003.html#YangRK03
Guizhen Yang
Michael Kifer
Chang Zhao
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.
671-688
https://doi.org/10.1007/978-3-540-39964-3_43
2003
conf/coopis/2003
OTM
db/conf/coopis/coopis2003.html#YangKZ03
Saikat Mukherjee
Hasan Davulcu
Michael Kifer
Pinar Senkul
Guizhen Yang
Logic Based Approaches to Workflow Modeling and Verification.
167-202
2003
conf/dagstuhl/2003lead
Logics for Emerging Applications of Databases
db/conf/dagstuhl/lead2003.html#MukherjeeDKSY03
Guizhen Yang
Michael Kifer
Inheritance and Rules in Object-Oriented Semantic Web Languages.
95-110
https://doi.org/10.1007/978-3-540-39715-1_7
2003
conf/semweb/2003ruleml
RuleML
db/conf/semweb/ruleml2003.html#YangK03
Guizhen Yang
Michael Kifer
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases.
1013-1032
2002
conf/coopis/2002
OTM
https://doi.org/10.1007/3-540-36124-3_65
db/conf/coopis/coopis2002.html#YangK02
Guizhen Yang
Michael Kifer
On the Semantics of Anonymous Identity and Reification.
1047-1066
2002
conf/coopis/2002
OTM
https://doi.org/10.1007/3-540-36124-3_67
db/conf/coopis/coopis2002.html#YangK02a
Pinar Senkul
Michael Kifer
Ismail Hakki Toroslu
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints.
2002
conf/vldb/2002
VLDB
db/conf/vldb/vldb2002.html#SenkulKT02
http://www.vldb.org/conf/2002/S20P01.pdf
https://doi.org/10.1016/B978-155860869-6/50067-6
694-705
Philip M. Lewis
Arthur J. Bernstein
Michael Kifer
Databases and Transaction Processing: An Application-Oriented Approach
Addison-Wesley
2001
0-201-70872-8
Marcelo Arenas
Leopoldo E. Bertossi
Michael Kifer
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
926-941
https://doi.org/10.1007/3-540-44957-4_62
2000
conf/cl/2000
Computational Logic
db/conf/cl/cl2000.html#ArenasBK00
Guizhen Yang
Michael Kifer
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.
1078-1093
https://doi.org/10.1007/3-540-44957-4_72
2000
conf/cl/2000
Computational Logic
db/conf/cl/cl2000.html#YangK00
Hasan Davulcu
Guizhen Yang
Michael Kifer
I. V. Ramakrishnan
Design and Implementation of the Physical Layer in WebBases: The XRover Experience.
1094-1105
https://doi.org/10.1007/3-540-44957-4_73
2000
conf/cl/2000
Computational Logic
db/conf/cl/cl2000.html#DavulcuYKR00
Hasan Davulcu
Guizhen Yang
Michael Kifer
I. V. Ramakrishnan
Computational Aspects of Resilient Data Extraction from Semistructured Sources.
136-144
2000
PODS
db/conf/pods/pods2000.html#DavulcuYKR00
conf/pods/00
https://doi.org/10.1145/335168.335216
conf/icdt/Abiteboul97
journals/jodl/AbiteboulQMWW97
conf/sigmod/Adelberg98
conf/stoc/Angluin79
journals/iandc/Angluin80
journals/sigmod/AshishK97
conf/pods/AtzeniM97
journals/ml/BerwickP87
conf/cikm/Ribeiro-NetoLS99
conf/pods/Buneman97
conf/sigmod/BunemanDHS96
journals/dke/EmbleyCJLNQS99
conf/coopis/GruserRVB98
...
conf/sigmod/HammerGNYBV97
books/aw/HopcroftU79
...
conf/ijcai/KushmerickWD97
books/ph/LewisP81
conf/cikm/LimN99
journals/jiis/PerkowitzDEW97
conf/webdb/SahuguetA99
Hasan Davulcu
Michael Kifer
L. Robert Pokorny
C. R. Ramakrishnan 0001
I. V. Ramakrishnan
Steven Dawson
Modeling and Analysis of Interactions in Virtual Enterprises.
12-18
1999
conf/ride/99
RIDE
https://doi.org/10.1109/RIDE.1999.758587
https://doi.ieeecomputersociety.org/10.1109/RIDE.1999.758587
db/conf/ride/ride99.html#DavulcuKPRRD99
Hasan Davulcu
Juliana Freire
Michael Kifer
I. V. Ramakrishnan
A Layered Architecture for Querying Dynamic Web Content.
DiSC2_1/out/papers/sigmod/alayeredarchitehajum.pdf
491-502
1999
SIGMOD Conference
db/conf/sigmod/sigmod99.html#DavulcuFKR99
conf/sigmod/99
https://doi.org/10.1145/304182.304225
https://doi.org/10.1145/304181.304225
conf/sigmod/AdaliCPS96
conf/sigmod/AmbiteABKMMMPT98
...
journals/sigmod/AtzeniMM97
conf/vldb/AtzeniMM97
journals/tcs/BonnerK94
conf/ijcai/DuschkaL97
journals/sigmod/FlorescuLM98
conf/btw/FrohnHKLS97
journals/jiis/Garcia-MolinaPQRSUVW97
...
conf/dood/Kifer95
conf/sigmod/KiferKS92
journals/jacm/KiferLW95
conf/aaai/KnoblockMAAMMPT98
conf/vldb/KonopnickiS95
conf/ride/LakshmananSS96
...
conf/aaai/LevyRO96
conf/vldb/LevyRO96
books/cs/Maier83
conf/sigmod/MaierRW83
journals/tods/MaierU83
journals/tods/MaierUV84
conf/sigmod/MeccaAMMS98
...
journals/jodl/MendelzonMM97
...
conf/pods/RajaramanSU95
conf/sigmod/RothAHCCFSTW96
...
Enrico Franconi
Michael Kifer
Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999
CEUR Workshop Proceedings
CEUR-WS.org
1999
21
https://ceur-ws.org/Vol-21
https://nbn-resolving.org/urn:nbn:de:0074-21-6
db/conf/krdb/krdb99.html
Michael Kifer
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.
588-633
1998
45
J. ACM
4
https://doi.org/10.1145/285055.285058
db/journals/jacm/jacm45.html#Kifer98
JACM/45/P0588.pdf
Anthony J. Bonner
Michael Kifer
The State of Change: A Survey.
1-36
1998
conf/dagstuhl/1998change
Transactions and Change in Logic Databases
https://doi.org/10.1007/BFb0055494
db/conf/dagstuhl/change9697.html#BonnerK98a
Anthony J. Bonner
Michael Kifer
A Logic for Programming Database Transactions.
117-166
1998
Logics for Databases and Information Systems
db/conf/dagstuhl/ldbis98.html#BonnerK98
books/kl/ChomickiS98
ChomickiSaake/P111.pdf
Anthony J. Bonner
Michael Kifer
Results on Reasoning about Updates in Transaction Logic.
166-196
1998
conf/dagstuhl/1998change
Transactions and Change in Logic Databases
https://doi.org/10.1007/BFb0055499
db/conf/dagstuhl/change9697.html#BonnerK98b
conf/pods/98
Hasan Davulcu
Michael Kifer
C. R. Ramakrishnan 0001
I. V. Ramakrishnan
Logic Based Modeling and Analysis of Workflows.
25-33
1998
PODS
db/conf/pods/pods98.html#DavulcuKRR98
https://doi.org/10.1145/275487.275491
journals/anthology/cd1-3:PODS98/P025.PDF
journals/anthology/dvd1:text/1-3/PODS98/P025.PDF
conf/icde/AlonsoAAKGM96
journals/expert/AlonsoAAM97
conf/vldb/AttieSSR93
journals/tcs/BonnerK94
...
conf/iclp/BonnerK96
conf/dbpl/BonnerKC93
...
journals/toplas/ClarkeES86
...
conf/sigmod/DayalHL90
conf/vldb/ElmagarmidLLR90
books/mk/Elmagarmid92
...
conf/sigmod/Garcia-MolinaS87
books/fm/GareyJ79
conf/icde/GeorgakopoulosHKM94
journals/dpd/GeorgakopoulosHS95
conf/ride/Gunthor93
...
...
...
...
conf/er/HofstedeOR96
...
conf/dbpl/Singh95
conf/icde/Singh96
...
conf/icdt/WodtkeW97
Burkhard Freitag
Hendrik Decker
Michael Kifer
Andrei Voronkov
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
Transactions and Change in Logic Databases
Lecture Notes in Computer Science
1472
Springer
1998
3-540-65305-8
https://doi.org/10.1007/BFb0055493
db/conf/dagstuhl/change9697.html
Michael Kifer
Transaction Logic: An Introduction (Abstract).
47-48
1997
conf/slp/1997
ILPS
db/conf/slp/slp97.html#Kifer97
Anthony J. Bonner
Michael Kifer
Concurrency and Communication in Transaction Logic.
142-156
1996
conf/iclp/1996
JICSLP
db/conf/iclp/iclp96.html#BonnerK96
https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278930
Michael Kifer
Georg Lausen
James Wu
Logical Foundations of Object-Oriented and Frame-Based Languages.
741-843
1995
42
J. ACM
4
db/journals/jacm/jacm42.html#KiferLW95
https://doi.org/10.1145/210332.210335
JACM/42/P0741.pdf
Michael Kifer
Forword: Deductive Object-Oriented Databases.
119-121
1995
4
J. Intell. Inf. Syst.
2
db/journals/jiis/jiis4.html#Kifer95
https://doi.org/10.1007/BF00961870
Michael Kifer
Deductive and Object Data Languages: A Quest for Integration.
187-212
1995
conf/dood/1995
DOOD
db/conf/dood/dood95.html#Kifer95
https://doi.org/10.1007/3-540-60608-4_41
Weidong Chen 0005
Michael Kifer
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
252-265
ICDT1995/P252.pdf
1995
ICDT
db/conf/icdt/icdt95.html#ChenK95
conf/icdt/95
https://doi.org/10.1007/3-540-58907-4_20
conf/dbpl/AbiteboulG87
conf/pods/BeeriNRST87
conf/slp/Chen87
...
...
journals/jlp/ChenKW93
conf/pods/ChenW89
...
journals/jar/Cohn87
...
...
...
conf/iclp/Hanus89
conf/tapsoft/Hanus91
...
journals/jacm/KiferLW95
conf/lics/KiferW91
conf/deductive/MumickR92
journals/ai/MycroftO84
journals/jacm/NadathurM90
...
conf/sigmod/PhippsDR91
conf/pods/Ross92
journals/jlp/Ross94
conf/sigmod/SagonasSW94
...
conf/alp/Smolka88
...
...
books/cs/Ullman88
journals/ai/Walther85
conf/iclp/XuW88
conf/iclp/YardeniFS91
Anthony J. Bonner
Michael Kifer
An Overview of Transaction Logic.
205-265
1994
133
Theor. Comput. Sci.
2
db/journals/tcs/tcs133.html#BonnerK94
https://doi.org/10.1016/0304-3975(94)90190-2
Anthony J. Bonner
Michael Kifer
Applications of Transaction Logic to Knowledge Representation.
67-81
1994
conf/ictl/1994
ICTL
db/conf/ictl/ictl1994.html#BonnerK94
https://doi.org/10.1007/BFb0013981
Krishnaprasad Thirunarayan
Michael Kifer
A Theory of Nonmonotonic Inheritance Based on Annotated Logic.
23-50
1993
60
Artif. Intell.
1
db/journals/ai/ai60.html#ThirunarayanK93
https://doi.org/10.1016/0004-3702(93)90033-8
Michael Kifer
James Wu
A Logic Programming with Complex Objects.
77-120
1993
47
J. Comput. Syst. Sci.
1
db/journals/jcss/jcss47.html#KiferW93
https://doi.org/10.1016/0022-0000(93)90021-N
Weidong Chen 0005
Michael Kifer
David Scott Warren
HILOG: A Foundation for Higher-Order Logic Programming.
187-230
1993
15
J. Log. Program.
3
db/journals/jlp/jlp15.html#ChenKW93
https://doi.org/10.1016/0743-1066(93)90039-J
Anthony J. Bonner
Michael Kifer
Mariano P. Consens
Database Programming in Transaction Logic.
309-337
DBPL1993/P309.pdf
1993
DBPL
db/conf/dbpl/dbpl93.html#BonnerKC93
conf/dbpl/93
conf/sigmod/AbiteboulB91
conf/pods/AbiteboulV88
conf/vldb/AgrawalCL91
journals/ai/Allen84
journals/sigmod/Bancilhon86
conf/sigmod/BarsalouKSW91
conf/pods/Beeri92
conf/vldb/BeeriM91
journals/tcs/Bonner90
conf/iclp/BonnerK93
...
conf/iclp/BonnerK93
conf/iclp/Bry90
journals/jcss/ChandraH80
journals/jcss/ChandraH82
conf/dood/Chen91
conf/vldb/MaindrevilleS88
conf/vldb/GehaniJ91
...
journals/jcss/HarelKP82
conf/vldb/HullJ91
conf/kr/KatsunoM91
journals/jacm/KiferLW95
conf/jcdkb/KrishnamurthyN88
books/mk/minker88/ManchandraW88
conf/sigmod/McCarthyD89
conf/pods/NaqviK88
conf/sigmod/PhippsDR91
books/mk/minker88/Przymusinski88
conf/pods/SaccaZ90
conf/sigmod/StonebrakerJGP90
journals/sigmod/Widom92
conf/vldb/WidomCL91
conf/sigmod/WidomF90
journals/tods/Winslett88
Anthony J. Bonner
Michael Kifer
Transaction Logic Programming.
257-279
1993
conf/iclp/1993
ICLP
db/conf/iclp/iclp93.html#BonnerK93
Michael Kifer
Eliezer L. Lozinskii
A Logic for Reasoning with Inconsistency.
179-215
1992
9
J. Autom. Reason.
2
db/journals/jar/jar9.html#KiferL92
https://doi.org/10.1007/BF00245460
Michael Kifer
V. S. Subrahmanian
Theory of Generalized Annotated Logic Programming and its Applications.
335-367
1992
12
J. Log. Program.
3&4
db/journals/jlp/jlp12.html#KiferS92
https://doi.org/10.1016/0743-1066(92)90007-P
Michael Kifer
Scott A. Smolka
OSP: An Environment for Operating System Projects.
98-100
1992
26
ACM SIGOPS Oper. Syst. Rev.
4
db/journals/sigops/sigops26.html#KiferS92
https://doi.org/10.1145/142854.142879
Anthony J. Bonner
Michael Kifer
transaction Logic: An (Early) Exposé.
1-24
1992
conf/db-workshops/1992
Formal Methods in Databases and Software Engineering
db/conf/db-workshops/fmdbse1992.html#BonnerK92
Michael Kifer
Won Kim 0001
Yehoshua Sagiv
Querying Object-Oriented Databases.
393-402
1992
conf/sigmod/92
SIGMOD Conference
db/conf/sigmod/sigmod92.html#KiferKS92
https://doi.org/10.1145/130283.130342
https://doi.org/10.1145/141484.130342
SIGMOD92/P393.PDF
conf/sigmod/AbiteboulB91
...
conf/edbt/Beech88
conf/dood/CluetDLR89
...
conf/icde/GardarinV92
conf/sigmod/KiferL89
journals/jacm/KiferLW95
...
conf/pods/KiferW89
...
conf/vldb/Kim89
...
conf/vldb/LecluseR89
...
journals/tods/MylopoulosBW80
journals/is/RothKB87
journals/is/SchekS86
conf/sigmod/Zaniolo83
Michael Kifer
A First-Order Formalism of Object-Oriented Languages.
13-17
1991
http://sites.computer.org/debull/91JUN-CD.pdf
14
IEEE Data Eng. Bull.
2
db/journals/debu/debu14.html#Kifer91
conf/pods/ChenW89
conf/sigmod/KiferL89
journals/jacm/KiferLW95
conf/lics/KiferW91
conf/pods/KiferW89
journals/jcss/KiferW93
conf/pods/KuperV84
...
conf/mfcs/Pawlak73
journals/tcs/MarekP76
Michael Kifer
James Wu
A First-Order Theory of Types and Polymorphism in Logic Programming
310-321
1991
conf/lics/1991
LICS
db/conf/lics/lics91.html#KiferW91
https://doi.org/10.1109/LICS.1991.151655
https://doi.ieeecomputersociety.org/10.1109/LICS.1991.151655
Claude Delobel
Michael Kifer
Yoshifumi Masunaga
Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings
DOOD
Lecture Notes in Computer Science
566
Springer
1991
3-540-55015-1
https://doi.org/10.1007/3-540-55015-1
db/conf/dood/dood91.html
Michael Kifer
Eliezer L. Lozinskii
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.
385-426
TODS15/P385.PDF
1990
15
ACM Trans. Database Syst.
3
db/journals/tods/tods15.html#KiferL90
https://doi.org/10.1145/88636.87121
conf/pods/AfratiPPRSU86
conf/icde/AgrawalD88
conf/popl/AhoU79
conf/sigmod/AlyO87
conf/sigmod/BancilhonR86
conf/pods/BancilhonMSU86
conf/pods/BeeriR87
conf/pods/BeeriKBR87
conf/vldb/CeriT87
conf/pods/ChandraH82
...
conf/adbt/Chang79
conf/adbt/Clark77
journals/is/Clausen80
...
conf/lics/GaifmanMSV87
journals/csur/GallaireMN84
...
conf/icde/HanL86
...
journals/jacm/HenschenN84
conf/vldb/Ioannidis85
conf/eds/IoannidisW86
...
...
...
conf/icdt/KiferL86
journals/tse/KiferL88
journals/tods/Lozinskii86
conf/icdcs/Lozinskii85
conf/ijcai/Lozinskii85
journals/tods/Lozinskii86
books/cs/Maier83
...
journals/is/MinkerN83
conf/pods/Naughton86
conf/pods/RamakrishnanBS87
conf/vldb/RosenkrantzH80
...
conf/icdt/SaccaZ86
conf/iclp/SaccaZ87
conf/pods/SaccaZ86
...
conf/pods/Sagiv87
conf/aaai/ShapiroM80
conf/pods/Shmueli87
conf/vldb/TsurZ86
books/cs/Ullman82
journals/tods/Ullman85
journals/jacm/UllmanG88
journals/jacm/EmdenK76
...
Weidong Chen 0005
Michael Kifer
David Scott Warren
HiLog as a Platform for Database Languages.
37-44
1989
http://sites.computer.org/debull/89SEP-CD.pdf
12
IEEE Data Eng. Bull.
3
db/journals/debu/debu12.html#ChenKW89
Weidong Chen 0005
Michael Kifer
David Scott Warren
HiLog as a Platform for Database Languages.
315-329
DBPL1989/P315.pdf
1989
DBPL
db/conf/dbpl/dbpl89.html#ChenKW89
conf/dbpl/89
conf/dbpl/AbiteboulG87
conf/iclp/Abramson88
books/mk/minker88/AptBW88
journals/jacm/AptE82
conf/pods/BeeriNRST87
conf/slp/ChenKW89
...
conf/slp/Chen87
conf/pods/ChenW89
...
...
...
journals/tcs/Goldfarb81
...
...
...
conf/sigmod/KiferL89
conf/pods/KiferW89
conf/vldb/KrishnamurthyN88
conf/pods/Kuper87
...
conf/pods/KuperV84
books/mk/minker88/LassezMM88
books/mk/minker88/Lifschitz88
...
conf/ijcai/Maida83
...
journals/toplas/MartelliM82
journals/tois/Motro86
conf/iclp/MillerN86
...
books/bc/MaierW88
...
books/mk/minker88/Przymusinski88
journals/jacm/EmdenK76
...
...
Michael L. Brodie
François Bancilhon
Craig Harris
Michael Kifer
Yoshifumi Masunaga
Earl D. Saberdoti
Katsumi Tanaka
Next Generation Database Management Systems Technology (Panel).
335-346
1989
conf/dood/89
DOOD
db/conf/dood/dood89.html#BrodieBHKMST89
Krishnaprasad Thirunarayan
Michael Kifer
An Evidence-based Framework for a Theory of Inheritance.
1093-1098
1989
conf/ijcai/1989
IJCAI
db/conf/ijcai/ijcai89.html#KrishnaprasadK89
http://ijcai.org/Proceedings/89-2/Papers/039.pdf
Krishnaprasad Thirunarayan
Michael Kifer
David Scott Warren
On the Declarative Semantics of Inheritance Networks.
1099-1103
1989
conf/ijcai/1989
IJCAI
db/conf/ijcai/ijcai89.html#KrishnaprasadKW89
http://ijcai.org/Proceedings/89-2/Papers/040.pdf
Michael Kifer
Eliezer L. Lozinskii
RI: A Logic for Reasoning with Inconsistency
1989
conf/lics/1989
LICS
253-262
db/conf/lics/lics89.html#KiferL89
https://doi.org/10.1109/LICS.1989.39180
https://doi.ieeecomputersociety.org/10.1109/LICS.1989.39180
conf/pods/89
Michael Kifer
James Wu
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
379-393
1989
PODS
db/conf/pods/pods89.html#KiferW89
https://doi.org/10.1145/73721.73758
journals/anthology/cd1-3:PODS89/P379.PDF
journals/anthology/dvd1:text/1-3/PODS89/P379.PDF
journals/vldb/AbiteboulB95
conf/dbpl/AbiteboulG87
journals/jlp/Ait-KaciN86
conf/pods/BancilhonK86
journals/sigmod/Bancilhon86
conf/pods/Bancilhon88
...
conf/icdt/Beeri88
conf/jcdkb/BeeriNT88
...
...
conf/fsttcs/BlairS87
...
conf/pods/ChenW89
journals/jacm/Fagin82
journals/cacm/FikesK85
journals/jlp/Fitting91
books/fm/GareyJ79
...
conf/sigmod/GyssensG88
...
...
conf/oopsla/KhoshafianC86
conf/jcdkb/Kifer88
conf/sigmod/KiferL89
conf/icdt/KiferL88
conf/lics/KiferL89
conf/pods/KuperV84
...
conf/sigmod/LecluseRV88
conf/icdt/LecluseR88
books/sp/Lloyd87
...
...
journals/tods/RothKS88
journals/tods/Rybinski87
conf/ijcai/Sandewall85
conf/pods/ShmueliTZ88
...
conf/pods/Ullman87
books/cs/Ullman88
conf/pods/GelderRS88
journals/ipl/Vardi81
...
...
Michael Kifer
Georg Lausen
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
134-146
1989
conf/sigmod/89
SIGMOD Conference
db/conf/sigmod/sigmod89.html#KiferL89
https://doi.org/10.1145/67544.66939
https://doi.org/10.1145/66926.66939
SIGMOD89/P134.PDF
journals/vldb/AbiteboulB95
conf/dbpl/AbiteboulG87
journals/jlp/Ait-KaciN86
conf/pods/Bancilhon88
conf/pods/BancilhonK86
conf/pods/BeeriNRST87
conf/jcdkb/BeeriNT88
journals/tcs/BunemanJO91
...
journals/iandc/Cardelli88
...
conf/slp/ChenKW89
conf/pods/ChenW89
journals/cacm/Codd70
conf/aaai/EtheringtonR83
journals/cacm/FikesK85
...
...
conf/oopsla/KhoshafianC86
conf/pods/KiferW89
conf/vldb/KrishnamurthyN88
conf/pods/KuperV84
...
conf/icdt/LecluseR88
conf/sigmod/LecluseRV88
books/sp/Lloyd87
...
...
conf/oopsla/MaierSOP86
...
conf/sigmod/MaierW81
...
...
journals/tois/Motro86
journals/sigmod/BernsteinDDGGJLLMNRRSSSS89
...
...
journals/jsc/SmolkaA89
...
...
conf/ijcai/TouretzkyHT87
...
...
...
Michael Kifer
V. S. Subrahmanian
On the Expressive Power of Annotated Logic Programs.
1069-1089
1989
conf/slp/1989
NACLP
db/conf/slp/slp89.html#KiferS89
Weidong Chen 0005
Michael Kifer
David Scott Warren
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
1090-1114
1989
conf/slp/1989
NACLP
db/conf/slp/slp89.html#ChenKW89
Michael Kifer
Eliezer L. Lozinskii
SYGRAF: Implementing Logic Programs in a Database Style.
922-935
https://doi.org/10.1109/32.42735
http://doi.ieeecomputersociety.org/10.1109/32.42735
1988
14
IEEE Trans. Software Eng.
7
db/journals/tse/tse14.html#KiferL88
Michael Kifer
Ai Li
On the Semantics of Rule-Based Expert Systems with Uncertainty.
102-117
ICDT1988/P102.pdf
1988
ICDT
db/conf/icdt/icdt88.html#KiferL88
conf/icdt/88
https://doi.org/10.1007/3-540-50171-1_6
books/mk/minker88/AptBW88
journals/jlp/BalbinR87
...
...
...
conf/db-workshops/Bancilhon85
conf/pods/BeeriR87
...
journals/jlp/ChandraH85
conf/adbt/Clark77
books/sp/ClocksinM81
...
...
books/collins/Frost86
conf/vldb/Gardarin87
conf/aaai/Ginsberg84
conf/aaai/Ginsberg86
conf/icde/GuntzerKB87
...
journals/cacm/Hayes-Roth85
...
...
...
journals/jacm/Lee72
books/mk/minker88/Lifschitz88
books/sp/Lloyd87
conf/ijcai/Prade83
books/mk/minker88/Przymusinski88
conf/adbt/Reiter77
...
conf/ijcai/Sandewall85
...
conf/ijcai/Shapiro83
conf/slp/Subrahmanian87
books/cs/Ullman88
journals/jacm/EmdenK76
journals/jlp/Emden86
conf/eds/Vieille86
...
conf/eds/Zvieli86
Michael Kifer
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
405-415
1988
conf/jcdkb/1988
JCDKB
db/conf/jcdkb/jcdkb88.html#Kifer88
https://doi.org/10.1016/b978-1-4832-1313-2.50037-8
conf/pods/88
Michael Kifer
Raghu Ramakrishnan
Abraham Silberschatz
An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
52-60
1988
PODS
db/conf/pods/pods88.html#KiferRS88
https://doi.org/10.1145/308386.308412
journals/anthology/cd1-3:PODS88/P052.PDF
journals/anthology/dvd1:text/1-3/PODS88/P052.PDF
conf/sigmod/BancilhonR86
journals/tods/BeeriB79
journals/jcss/CasanovaFP84
journals/siamcomp/ChandraV85
...
journals/tods/GoodmanS82
journals/jacm/Paola69a
conf/jcdkb/Kifer88
...
conf/icde/KiferL87
journals/tse/KiferL88
conf/sigmod/KrishnamurthyRS88
books/sp/Lloyd87
journals/iandc/Mitchell83
conf/pods/RamakrishnanBS87
conf/pods/Sciore83a
conf/pods/Shmueli87
books/cs/Ullman82
journals/tods/Ullman85
...
journals/ipl/Vardi81
conf/eds/Zaniolo86
Catriel Beeri
Michael Kifer
A theory of intersection anomalies in relational database schemes.
544-577
1987
34
J. ACM
3
https://doi.org/10.1145/28869.28872
db/journals/jacm/jacm34.html#BeeriK87
JACM/34/P0544.pdf
Michael Kifer
Eliezer L. Lozinskii
Implementing Logic Programs as a Database System.
375-385
ICDE87/P375.pdf
1987
ICDE
db/conf/icde/icde87.html#KiferL87
conf/icde/87
conf/popl/AhoU79
conf/sigmod/BancilhonR86
conf/pods/BancilhonMSU86
...
...
conf/adbt/Chang79
...
conf/icde/AgrawalD88
journals/jacm/HenschenN84
conf/iclp/KaleW84
...
...
...
...
conf/icdt/KiferL86
...
...
...
journals/jlp/LloydT85
journals/jlp/LloydT86
conf/ijcai/Lozinskii85
conf/icdcs/Lozinskii85
journals/tods/Lozinskii86
books/cs/Maier83
...
journals/is/MinkerN83
conf/aaai/Moore82
...
...
conf/db-workshops/Reiter82
journals/ngc/RohmerLK86
conf/vldb/RosenkrantzH80
...
conf/iclp/SaccaZ87
conf/eds/ScioreW84
...
books/cs/Ullman82
journals/tods/Ullman85
journals/jacm/EmdenK76
...
conf/vldb/Warren81
conf/pods/YokotaKKMSM84
conf/vldb/Zaniolo85
https://doi.org/10.1109/ICDE.1987.7272403
https://doi.ieeecomputersociety.org/10.1109/ICDE.1987.7272403
Catriel Beeri
Michael Kifer
Elimination of intersection anomalies from database schemes.
423-450
1986
33
J. ACM
3
https://doi.org/10.1145/5925.5927
db/journals/jacm/jacm33.html#BeeriK86
JACM/33/P0423.pdf
Catriel Beeri
Michael Kifer
An Integrated Approach to Logical Design of Relational Database Schemes.
134-158
TODS11/P134.PDF
1986
11
ACM Trans. Database Syst.
2
db/journals/tods/tods11.html#BeeriK86
https://doi.org/10.1145/5922.214291
journals/tods/AhoBU79
journals/tods/Beeri80
journals/tods/BeeriB79
conf/vldb/BeeriBG78
conf/sigmod/BeeriFH77
journals/jacm/BeeriFMY83
journals/jacm/BeeriK86
journals/jacm/BeeriK87
conf/vldb/BeeriK84
journals/siamcomp/BeeriMSU81
journals/tods/Bernstein76
conf/sigmod/BiskupDB79
journals/jcss/BiskupM87
journals/cacm/Codd70
journals/tods/Fagin77
journals/tods/FaginMU82
...
...
journals/jacm/Lien82
...
books/cs/Maier83
journals/tods/Sagiv83
conf/sigmod/Sciore81
conf/pods/Sciore83a
...
books/cs/Ullman80
journals/tods/ZanioloM81
Michael Kifer
Eliezer L. Lozinskii
Filtering Data Flow in Deductive Databases.
186-202
ICDT1986/P186.pdf
1986
ICDT
db/conf/icdt/icdt86.html#KiferL86
conf/icdt/86
https://doi.org/10.1007/3-540-17187-8_37
conf/popl/AhoU79
conf/sigmod/BancilhonR86
conf/pods/BancilhonMSU86
conf/pods/ChandraH82
conf/adbt/Chang79
...
journals/csur/GallaireMN84
journals/jacm/HenschenN84
...
...
...
...
conf/icdcs/Lozinskii85
conf/ijcai/Lozinskii85
journals/tods/Lozinskii86
...
conf/vldb/RosenkrantzH80
conf/pods/SaccaZ86
...
conf/aaai/ShapiroM80
books/cs/Ullman82
journals/jacm/EmdenK76
journals/tods/WongY76
Michael Kifer
Eliezer L. Lozinskii
Can We Implement Logic as a Database System?
1986
conf/xp/1986
XP7.52 Workshop on Database Theory
db/conf/xp/xp1986.html#KiferL86
XP/1986/P03.pdf
Michael Kifer
The design of schemes with desirable properties for relational databases (תכנון סכמות עם תכונות רצויות במסדי נתונים יחסיים.).
Hebrew University of Jerusalem, Israel
1984
https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI_ALMA21159200060003701
conf/vldb/84
Catriel Beeri
Michael Kifer
Comprehensive Approach to the Design of Relational Database Schemes.
196-207
1984
VLDB
db/conf/vldb/vldb84.html#BeeriK84
http://www.vldb.org/conf/1984/P196.PDF
journals/siamcomp/AhoSU79
journals/tods/Beeri80
journals/tods/Bernstein76
conf/sigmod/BiskupDB79
journals/jacm/BeeriFMY83
conf/pods/BeeriK83
...
journals/siamcomp/BeeriMSU81
journals/tods/Fagin77
journals/tods/FaginMU82
...
...
journals/jacm/Lien82
journals/tods/Sagiv83
conf/sigmod/Sciore81
conf/pods/Sciore83a
...
journals/tods/ZanioloM81
books/cs/Ullman80
conf/pods/83
Catriel Beeri
Michael Kifer
Elimination of Intersection Anomalies from Database Schemes.
340-351
1983
PODS
db/conf/pods/pods83.html#BeeriK83
https://doi.org/10.1145/588058.588099
journals/anthology/cd1-3:PODS83/P340.PDF
journals/anthology/dvd1:text/1-3/PODS83/P340.PDF
journals/tods/AhoBU79
journals/tods/Beeri80
journals/tods/Bernstein76
journals/tods/BeeriB79
conf/vldb/BeeriBG78
conf/sigmod/BeeriFH77
journals/jacm/BeeriFMY83
...
journals/tods/Fagin77
journals/jacm/Fagin83
journals/tods/FaginMU82
conf/pods/GoodmanS82
journals/jacm/Lien82
conf/pods/MaierU82
conf/sigmod/Sciore81
journals/jacm/SagivDPF81
...
conf/vldb/Yannakakis81
Carl Andersen 0001
Jürgen Angele
Marcelo Arenas
Paolo Atzeni
Özalp Babaoglu
Mira Balaban
François Bancilhon
Reza Basseda
Catriel Beeri
Phillipa Bennett
Brett Benyo
Arthur J. Bernstein
Leopoldo E. Bertossi
Janine Bloomfield
Harold Boley
Anthony J. Bonner
Giorgian Borca-Tasciuc
Michael L. Brodie
Jos de Bruijn
Miguel Calejo
Andrea Calì
Diego Calvanese
Vinay K. Chaudhri
Charley Chell
Weidong Chen 0005
Mariano P. Consens
Hasan Davulcu
Steven Dawson
Mike Dean
Hendrik Decker
Stefan Decker
Claude Delobel
Khanh-Hoang Doan
Thomas Eiter
François Fages
Dieter Fensel
Paul Fodor
Enrico Franconi
Juliana Freire
Burkhard Freitag
Tiantian Gao
Geri Georg
Nikhil Goel
Martin Gogolla
Georg Gottlob
Steven Greenspan
Benjamin N. Grosof
Isaac Grosof
Mohand-Said Hacid
Craig Harris
Ian Horrocks 0001
Hans-Arno Jacobsen
John P. Kane
Pinar KaragözPinar Senkul
Uwe Keller
Igal Khitron
Won Kim 0001
Rubén Lara
Georg Lausen
Holger Lausen
Philip M. Lewis
Ai Li
Senlin Liang
Fangzhen Lin
Yanhong A. LiuYanhong Annie Liu
Joseph P. Loyall
Eliezer L. Lozinskii
Thomas Lukasiewicz
David Maier 0001
Azzam Maraee
David L. Martin 0001
Yoshifumi Masunaga
Wolfgang May
Robert Meersman
Saikat Mukherjee
John Mylopoulos
Jeff Z. Pan
Paula-Lavinia Patranjan
Barbara Pernici
Andreas Pieris
L. Robert Pokorny
Axel Polleres
C. R. Ramakrishnan 0001
I. V. Ramakrishnan
Raghu Ramakrishnan
Martín Rezk
Dumitru Roman
Earl D. Saberdoti
Yehoshua Sagiv
Pavel Shvaiko
Avi SilberschatzAbraham Silberschatz
Scott A. Smolka
Stefano Spaccapietra
V. S. Subrahmanian
Theresa SwiftTerrance Swift
Said Tabet
Katsumi Tanaka
Zahir Tari
K. Tuncay Tekle
Krishnaprasad Thirunarayan
Ismail Hakki Toroslu
Juan Trujillo 0001
Andrei Voronkov
Gerd Wagner 0001
Hui Wan 0001
Yuheng Wang
David Scott Warren
James Wu
Guizhen Yang
Ilya Zaihrayeu
Chang Zhao
Yuting Zhao