| 2009 |
|---|
| 95 | EE | Senlin Liang,
Paul Fodor,
Hui Wan,
Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines.
WWW 2009: 601-610 |
| 2008 |
|---|
| 94 | EE | Andrea Calì,
Georg Gottlob,
Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
Description Logics 2008 |
| 93 | EE | Dumitru Roman,
Michael Kifer,
Dieter Fensel:
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.
ESWC 2008: 659-673 |
| 92 | EE | Dumitru 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 |
| 90 | EE | Michael Kifer:
Rule Interchange Format: The Framework.
RR 2008: 1-11 |
| 89 | EE | Michael 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 |
| 85 | EE | Harold 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 |
| 82 | EE | Dumitru Roman,
Michael Kifer:
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic.
VLDB 2007: 627-638 |
| 2006 |
|---|
| 81 | EE | Guizhen Yang,
Michael Kifer,
Vinay K. Chaudhri:
Efficiently ordering subgoals with access constraints.
PODS 2006: 183-192 |
| 80 | EE | Andrea Calì,
Michael Kifer:
Containment of Conjunctive Object Meta-Queries.
VLDB 2006: 942-952 |
| 79 | EE | Guizhen 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 |
| 76 | EE | Michael Kifer:
Nonmonotonic Reasoning in FLORA-2.
LPNMR 2005: 1-12 |
| 75 | EE | Michael Kifer:
ODBASE 2005 PC Co-Chairs' Message.
OTM Conferences (2) 2005: 1151-1151 |
| 74 | EE | Michael Kifer:
Rules and Ontologies in F-Logic.
Reasoning Web 2005: 22-34 |
| 73 | EE | Michael Kifer:
Requirements for an Expressive Rule Language on the Semantic Web.
Rule Languages for Interoperability 2005 |
| 72 | EE | Harold Boley,
Mike Dean,
Benjamin N. Grosof,
Michael Kifer,
Said Tabet,
Gerd Wagner:
RuleML Position Statement.
Rule Languages for Interoperability 2005 |
| 71 | EE | Benjamin 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 |
| 70 | EE | Michael Kifer,
Jos de Bruijn,
Harold Boley,
Dieter Fensel:
A Realistic Architecture for the Semantic Web.
RuleML 2005: 17-29 |
| 2004 |
|---|
| 69 | EE | Saikat Mukherjee,
I. V. Ramakrishnan,
Michael Kifer:
Semantic bookmarking for non-visual web access.
ASSETS 2004: 185-192 |
| 68 | EE | Hasan 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 |
|---|
| 67 | EE | Guizhen 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 |
| 66 | EE | Guizhen 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 |
| 64 | EE | Guizhen Yang,
Michael Kifer:
Inheritance and Rules in Object-Oriented Semantic Web Languages.
RuleML 2003: 95-110 |
| 63 | EE | Ian 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) |
| 62 | EE | Guizhen Yang,
Michael Kifer:
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.
J. Data Semantics 1: 69-97 (2003) |
| 2002 |
|---|
| 61 | EE | Guizhen Yang,
Michael Kifer:
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases.
CoopIS/DOA/ODBASE 2002: 1013-1032 |
| 60 | EE | Guizhen Yang,
Michael Kifer:
On the Semantics of Anonymous Identity and Reification.
CoopIS/DOA/ODBASE 2002: 1047-1066 |
| 59 | EE | Pinar 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 |
|---|
| 57 | EE | Guizhen Yang,
Michael Kifer:
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.
Computational Logic 2000: 1078-1093 |
| 56 | EE | Hasan 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 |
| 55 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Michael Kifer:
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Computational Logic 2000: 926-941 |
| 54 | EE | Hasan 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 |
| 52 | EE | Hasan 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 |
| 51 | EE | Hasan 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 |
| 49 | EE | Anthony J. Bonner,
Michael Kifer:
A Logic for Programming Database Transactions.
Logics for Databases and Information Systems 1998: 117-166 |
| 48 | EE | Hasan Davulcu,
Michael Kifer,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Logic Based Modeling and Analysis of Workflows.
PODS 1998: 25-33 |
| 47 | EE | Anthony J. Bonner,
Michael Kifer:
The State of Change: A Survey.
Transactions and Change in Logic Databases 1998: 1-36 |
| 46 | EE | Anthony J. Bonner,
Michael Kifer:
Results on Reasoning about Updates in Transaction Logic.
Transactions and Change in Logic Databases 1998: 166-196 |
| 45 | EE | Michael 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 |
|---|
| 42 | | Michael Kifer:
Deductive and Object Data Languages: A Quest for Integration.
DOOD 1995: 187-212 |
| 41 | EE | Weidong Chen,
Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT 1995: 252-265 |
| 40 | EE | Michael 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 |
|---|
| 36 | EE | Anthony 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 |
| 30 | EE | Michael 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 |
| 24 | EE | Michael Kifer:
A First-Order Formalism of Object-Oriented Languages.
IEEE Data Eng. Bull. 14(2): 13-17 (1991) |
| 1990 |
|---|
| 23 | EE | Michael 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 |
|---|
| 22 | EE | Weidong 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 |
| 15 | EE | Michael Kifer,
James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
PODS 1989: 379-393 |
| 14 | EE | Michael Kifer,
Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146 |
| 13 | EE | Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull. 12(3): 37-44 (1989) |
| 1988 |
|---|
| 12 | EE | Michael 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 |
| 10 | EE | Michael Kifer,
Raghu Ramakrishnan,
Abraham Silberschatz:
An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
PODS 1988: 52-60 |
| 9 | EE | Michael Kifer,
Eliezer L. Lozinskii:
SYGRAF: Implementing Logic Programs in a Database Style.
IEEE Trans. Software Eng. 14(7): 922-935 (1988) |
| 1987 |
|---|
| 8 | EE | Michael Kifer,
Eliezer L. Lozinskii:
Implementing Logic Programs as a Database System.
ICDE 1987: 375-385 |
| 7 | EE | Catriel Beeri,
Michael Kifer:
A theory of intersection anomalies in relational database schemes.
J. ACM 34(3): 544-577 (1987) |
| 1986 |
|---|
| 6 | EE | Michael Kifer,
Eliezer L. Lozinskii:
Filtering Data Flow in Deductive Databases.
ICDT 1986: 186-202 |
| 5 | EE | Michael Kifer,
Eliezer L. Lozinskii:
Can We Implement Logic as a Database System?
XP7.52 Workshop on Database Theory 1986 |
| 4 | EE | Catriel Beeri,
Michael Kifer:
An Integrated Approach to Logical Design of Relational Database Schemes.
ACM Trans. Database Syst. 11(2): 134-158 (1986) |
| 3 | EE | Catriel Beeri,
Michael Kifer:
Elimination of intersection anomalies from database schemes.
J. ACM 33(3): 423-450 (1986) |
| 1984 |
|---|
| 2 | EE | Catriel Beeri,
Michael Kifer:
Comprehensive Approach to the Design of Relational Database Schemes.
VLDB 1984: 196-207 |
| 1983 |
|---|
| 1 | EE | Catriel Beeri,
Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes.
PODS 1983: 340-351 |
