dblp.uni-trier.dewww.uni-trier.de

Michael Kifer Vis

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

*2009
98EEHui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang: Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448
97EEHui Wan, Michael Kifer: Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR 2009: 316-328
96EEHui Wan, Michael Kifer: Query Answering in Belief Logic Programming. SUM 2009: 268-281
95EESenlin Liang, Paul Fodor, Hui Wan, Michael Kifer: OpenRuleBench: an analysis of the performance of rule engines. WWW 2009: 601-610
2008
94EEAndrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008
93EEDumitru Roman, Michael Kifer, Dieter Fensel: WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC 2008: 659-673
92EEDumitru Roman, Michael Kifer: Semantic Web Service Choreography: Contracting and Enactment. International Semantic Web Conference 2008: 550-566
91 Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80
90EEMichael Kifer: Rule Interchange Format: The Framework. RR 2008: 1-11
89EEMichael Kifer: Rule Interchange Format: The Framework. RuleML 2008: 1-2
2007
88 Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu: Journal on Data Semantics VIII Springer 2007
87 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 Springer 2007
86 Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu: Journal on Data Semantics IX Springer 2007
85EEHarold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309
84 Michael Kifer: Semantic Web: Schism of the Languages. SEBD 2007: 3
83 Andrea Calì, Michael Kifer: Containment of Conjunctive Object Meta-Queries. SEBD 2007: 308-315
82EEDumitru Roman, Michael Kifer: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB 2007: 627-638
2006
81EEGuizhen Yang, Michael Kifer, Vinay K. Chaudhri: Efficiently ordering subgoals with access constraints. PODS 2006: 183-192
80EEAndrea Calì, Michael Kifer: Containment of Conjunctive Object Meta-Queries. VLDB 2006: 942-952
79EEGuizhen Yang, Michael Kifer: Inheritance in Rule-Based Frame Systems: Semantics and Inference. J. Data Semantics VII: 79-135 (2006)
2005
78 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 Springer 2005
77 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 Springer 2005
76EEMichael Kifer: Nonmonotonic Reasoning in FLORA-2. LPNMR 2005: 1-12
75EEMichael Kifer: ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) 2005: 1151-1151
74EEMichael Kifer: Rules and Ontologies in F-Logic. Reasoning Web 2005: 22-34
73EEMichael Kifer: Requirements for an Expressive Rule Language on the Semantic Web. Rule Languages for Interoperability 2005
72EEHarold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005
71EEBenjamin N. Grosof, Michael Kifer, David L. Martin: Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Rule Languages for Interoperability 2005
70EEMichael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29
2004
69EESaikat Mukherjee, I. V. Ramakrishnan, Michael Kifer: Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192
68EEHasan Davulcu, Michael Kifer, I. V. Ramakrishnan: CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) 2004: 144-153
2003
67EEGuizhen Yang, I. V. Ramakrishnan, Michael Kifer: On the complexity of schema inference from web pages in the presence of nullable data attributes. CIKM 2003: 224-231
66EEGuizhen Yang, Michael Kifer, Chang Zhao: Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. CoopIS/DOA/ODBASE 2003: 671-688
65 Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang: Logic Based Approaches to Workflow Modeling and Verification. Logics for Emerging Applications of Databases 2003: 167-202
64EEGuizhen Yang, Michael Kifer: Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML 2003: 95-110
63EEIan Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner: Where Are the Rules? IEEE Intelligent Systems 18(5): 76-83 (2003)
62EEGuizhen Yang, Michael Kifer: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semantics 1: 69-97 (2003)
2002
61EEGuizhen Yang, Michael Kifer: Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. CoopIS/DOA/ODBASE 2002: 1013-1032
60EEGuizhen Yang, Michael Kifer: On the Semantics of Anonymous Identity and Reification. CoopIS/DOA/ODBASE 2002: 1047-1066
59EEPinar Senkul, Michael Kifer, Ismail Hakki Toroslu: A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB 2002: 694-705
2001
58 Philip M. Lewis, Arthur J. Bernstein, Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach Addison-Wesley 2001
2000
57EEGuizhen Yang, Michael Kifer: FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000: 1078-1093
56EEHasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic 2000: 1094-1105
55EEMarcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941
54EEHasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144
1999
53 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-WS.org 1999
52EEHasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson: Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999: 12-18
51EEHasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan: A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502
1998
50 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 Springer 1998
49EEAnthony J. Bonner, Michael Kifer: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998: 117-166
48EEHasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33
47EEAnthony J. Bonner, Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998: 1-36
46EEAnthony J. Bonner, Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998: 166-196
45EEMichael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45(4): 588-633 (1998)
1997
44 Michael Kifer: Transaction Logic: An Introduction (Abstract). ILPS 1997: 47-48
1996
43 Anthony J. Bonner, Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156
1995
42EEMichael Kifer: Deductive and Object Data Languages: A Quest for Integration. DOOD 1995: 187-212
41EEWeidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
40EEMichael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843 (1995)
39 Michael Kifer: Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. 4(2): 119-121 (1995)
1994
38 Anthony J. Bonner, Michael Kifer: Applications of Transaction Logic to Knowledge Representation. ICTL 1994: 67-81
37 Anthony J. Bonner, Michael Kifer: An Overview of Transaction Logic. Theor. Comput. Sci. 133(2): 205-265 (1994)
1993
36EEAnthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337
35 Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279
34 Krishnaprasad Thirunarayan, Michael Kifer: A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artif. Intell. 60(1): 23-50 (1993)
33 Michael Kifer, James Wu: A Logic Programming with Complex Objects. J. Comput. Syst. Sci. 47(1): 77-120 (1993)
32 Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230 (1993)
1992
31 Anthony J. Bonner, Michael Kifer: transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering 1992: 1-24
30EEMichael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402
29 Michael Kifer, Eliezer L. Lozinskii: A Logic for Reasoning with Inconsistency. J. Autom. Reasoning 9(2): 179-215 (1992)
28 Michael Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12(3&4): 335-367 (1992)
27 Michael Kifer, Scott A. Smolka: OSP: An Environment for Operating System Projects. Operating Systems Review 26(4): 98-100 (1992)
1991
26 Claude Delobel, Michael Kifer, Yoshifumi Masunaga: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings Springer 1991
25 Michael Kifer, James Wu: A First-Order Theory of Types and Polymorphism in Logic Programming LICS 1991: 310-321
24EEMichael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17 (1991)
1990
23EEMichael Kifer, Eliezer L. Lozinskii: On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 15(3): 385-426 (1990)
1989
22EEWeidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329
21 Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka: Next Generation Database Management Systems Technology (Panel). DOOD 1989: 335-346
20 Krishnaprasad Thirunarayan, Michael Kifer: An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989: 1093-1098
19 Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren: On the Declarative Semantics of Inheritance Networks. IJCAI 1989: 1099-1103
18 Michael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency LICS 1989: 253-262
17 Michael Kifer, V. S. Subrahmanian: On the Expressive Power of Annotated Logic Programs. NACLP 1989: 1069-1089
16 Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114
15EEMichael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
14EEMichael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146
13EEWeidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12(3): 37-44 (1989)
1988
12EEMichael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117
11 Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988: 405-415
10EEMichael Kifer, Raghu Ramakrishnan, Abraham Silberschatz: An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988: 52-60
9EEMichael Kifer, Eliezer L. Lozinskii: SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. 14(7): 922-935 (1988)
1987
8EEMichael Kifer, Eliezer L. Lozinskii: Implementing Logic Programs as a Database System. ICDE 1987: 375-385
7EECatriel Beeri, Michael Kifer: A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987)
1986
6EEMichael Kifer, Eliezer L. Lozinskii: Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202
5EEMichael Kifer, Eliezer L. Lozinskii: Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory 1986
4EECatriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986)
3EECatriel Beeri, Michael Kifer: Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986)
1984
2EECatriel Beeri, Michael Kifer: Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984: 196-207
1983
1EECatriel Beeri, Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351

Coauthor Index

1Jürgen Angele [63]
2Marcelo Arenas [55]
3Paolo Atzeni [86] [88]
4Özalp Babaoglu [77] [78]
5François Bancilhon [21]
6Catriel Beeri [1] [2] [3] [4] [7]
7Arthur J. Bernstein [58]
8Leopoldo E. Bertossi [55]
9Harold Boley [70] [72] [85]
10Anthony J. Bonner [31] [35] [36] [37] [38] [43] [46] [47] [49]
11Michael L. Brodie [21]
12Jos de Bruijn [70]
13Andrea Calì [80] [83] [91] [94]
14Vinay K. Chaudhri [81]
15Weidong Chen [13] [16] [22] [32] [41]
16Mariano P. Consens [36]
17Hasan Davulcu [48] [51] [52] [54] [56] [65] [68]
18Steven Dawson [52]
19Mike Dean (Michael Dean) [72]
20Hendrik Decker [50]
21Stefan Decker [63]
22Claude Delobel [26]
23François Fages [86] [88]
24Dieter Fensel [70] [93]
25Paul Fodor [95] [98]
26Enrico Franconi [53] [87]
27Juliana Freire [51]
28Burkhard Freitag [50]
29Georg Gottlob [91] [94]
30Benjamin N. Grosof [63] [71] [72] [98]
31Mohand-Said Hacid [77] [78] [86] [88]
32Craig Harris [21]
33Ian Horrocks [63]
34Hans-Arno Jacobsen [77] [78]
35Won Kim [30]
36Georg Lausen [14] [40]
37Philip M. Lewis (Philip M. Lewis II) [58]
38Ai Li [12]
39Senlin Liang [95] [98]
40Joseph P. Loyall [77] [78]
41Eliezer L. Lozinskii [5] [6] [8] [9] [18] [23] [29]
42David L. Martin [71]
43Yoshifumi Masunaga [21] [26]
44Wolfgang May [87]
45Robert Meersman [77] [78]
46Saikat Mukherjee [65] [69]
47John Mylopoulos [77] [78] [86] [88]
48Paula-Lavinia Patranjan [85]
49Barbara Pernici [77] [78] [86] [88]
50L. Robert Pokorny [52]
51Axel Polleres [85]
52C. R. Ramakrishnan [48] [52]
53I. V. Ramakrishnan [48] [51] [52] [54] [56] [67] [68] [69]
54Raghu Ramakrishnan [10]
55Dumitru Roman [82] [92] [93]
56Earl D. Saberdoti [21]
57Yehoshua Sagiv [30]
58Pinar Senkul (Pinar Karagoz) [59] [65]
59Pavel Shvaiko [86] [88]
60Abraham Silberschatz (Avi Silberschatz) [10]
61Scott A. Smolka [27]
62Stefano Spaccapietra [77] [78] [86] [88]
63V. S. Subrahmanian [17] [28]
64Said Tabet [72]
65Katsumi Tanaka [21]
66Zahir Tari [77] [78]
67Krishnaprasad Thirunarayan [19] [20] [34]
68Ismail Hakki Toroslu (Ismail H. Toroslu) [59]
69Juan Trujillo [86] [88]
70Andrei Voronkov [50]
71Gerd Wagner [63] [72]
72Hui Wan [95] [96] [97] [98]
73David Scott Warren [13] [16] [19] [22] [32]
74James Wu [15] [25] [33] [40]
75Guizhen Yang [54] [56] [57] [60] [61] [62] [64] [65] [66] [67] [79] [81]
76Ilya Zaihrayeu [86] [88]
77Chang Zhao [66]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)