sign in · help · news · about ·

BibSonomy :: author :: Kifer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(187)

<< < 1 | 2 | 3 > >>

On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.
Michael Kifer J. ACM 45(4):588-633 (1998)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Elimination of intersection anomalies from database schemes.
Catriel Beeri, and Michael Kifer J. ACM 33(3):423-450 (1986)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
Logical Foundations of Object-Oriented and Frame-Based Languages.
Michael Kifer, Georg Lausen, and James Wu J. ACM 42(4):741-843 (1995)
to dblp by dblp and 13 other users on Jan 26, 2012, 12:00 AM
URL | BibTeX
A theory of intersection anomalies in relational database schemes.
Catriel Beeri, and Michael Kifer J. ACM 34(3):544-577 (1987)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.
Michael Kifer, and Eliezer L. Lozinskii ACM Trans. Database Syst. 15(3):385-426 (1990)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
An Integrated Approach to Logical Design of Relational Database Schemes.
Catriel Beeri, and Michael Kifer ACM Trans. Database Syst. 11(2):134-158 (1986)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Privacy in data publishing.
Johannes Gehrke, Daniel Kifer, and Ashwin Machanavajjhala ICDE, page 1213. IEEE, (2010)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing.
David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, and Joseph Y. Halpern ICDE, page 126-135. IEEE, (2007)
to dblp by dblp and 1 other user on Jan 23, 2012, 12:00 AM
URL | BibTeX
Privacy: Theory meets Practice on the Map.
Ashwin Machanavajjhala, Daniel Kifer, John M. Abowd, Johannes Gehrke, and Lars Vilhuber ICDE, page 277-286. IEEE, (2008)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
A First-Order Theory of Types and Polymorphism in Logic Programming
Michael Kifer, and James Wu LICS, page 310-321. IEEE Computer Society, (1991)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
RI: A Logic for Reasoning with Inconsistency
Michael Kifer, and Eliezer L. Lozinskii LICS, page 253-262. IEEE Computer Society, (1989)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing
David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, and Joseph Y. Halpern CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
HILOG: A Foundation for Higher-Order Logic Programming.
Weidong Chen, Michael Kifer, and David Scott Warren J. Log. Program. 15(3):187-230 (1993)
to dblp by dblp and 2 other users on Dec 1, 2011, 12:00 AM
URL | BibTeX
Theory of Generalized Annotated Logic Programming and its Applications.
Michael Kifer, and V. S. Subrahmanian J. Log. Program. 12(3&4):335-367 (1992)
to dblp by dblp and 1 other user on Dec 1, 2011, 12:00 AM
URL | BibTeX
Change Detection on Streams.
Daniel Kifer Encyclopedia of Database Systems, Springer US, (2009)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
SYGRAF: Implementing Logic Programs in a Database Style.
Michael Kifer, and Eliezer L. Lozinskii IEEE Trans. Software Eng. 14(7):922-935 (1988)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
A Guide to the Basic Logic Dialect for Rule Interchange on the Web.
Harold Boley, and Michael Kifer IEEE Trans. Knowl. Data Eng. 22(11):1593-1608 (2010)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
Where Are the Rules?
Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, and Gerd Wagner IEEE Intelligent Systems 18(5):76-83 (2003)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
Logic-Based Model-Level Software Development with F-OML.
Mira Balaban, and Michael Kifer MoDELS, volume 6981 of Lecture Notes in Computer Science, page 517-532. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Logical foundations of object-oriented and frame-based languages
M. Kifer, Lausen. G., and J. Wu Journal of the ACM 42(4):741--843 (1995)
to F-Logic my_thesis ontology_language by bluedolphin and 1 other user on Oct 3, 2011, 8:12 PM
BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100