Folgen
Michael Kifer
Michael Kifer
Stony Brook University
Bestätigte E-Mail-Adresse bei cs.stonybrook.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Logical foundations of object-oriented and frame-based languages
M Kifer, G Lausen, J Wu
Journal of the ACM (JACM) 42 (4), 741-843, 1995
25411995
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
M Kifer, G Lausen
Proceedings of the 1989 ACM SIGMOD international conference on Management of …, 1989
6711989
Theory of generalized annotated logic programming and its applications
M Kifer, VS Subrahmanian
The Journal of Logic Programming 12 (4), 335-367, 1992
6361992
The web service modeling language wsml: An overview
J De Bruijn, H Lausen, A Polleres, D Fensel
The Semantic Web: Research and Applications: 3rd European Semantic Web …, 2006
540*2006
HiLog: A foundation for higher-order logic programming
W Chen, M Kifer, DS Warren
The Journal of Logic Programming 15 (3), 187-230, 1993
5361993
Querying object-oriented databases
M Kifer, W Kim, Y Sagiv
Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992
5051992
Taming the infinite chase: Query answering under expressive relational constraints
A Calì, G Gottlob, M Kifer
Journal of Artificial Intelligence Research 48, 115-174, 2013
4842013
A logic for reasoning with inconsistency
M Kifer, EL Lozinskii
Journal of Automated reasoning 9 (2), 179-215, 1992
325*1992
Logic based modeling and analysis of workflows
H Davulcu, M Kifer, CR Ramakrishnan, IV Ramakrishnan
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
2681998
Transaction Logic Programming.
AJ Bonner, M Kifer
ICLP 93, 257-279, 1993
2361993
Database Systems: An Application-Oriented Approach, Introductory Version, 2/E
M Kifer
Pearson Education India, 2007
2292007
Databases and transaction processing: an application-oriented approach
PM Lewis, A Bernstein, M Kifer
ACM SIGMOD Record 31 (1), 74-75, 2002
2222002
An overview of transaction logic
AJ Bonner, M Kifer
Theoretical Computer Science 133 (2), 205-265, 1994
2171994
Web service modeling ontology (wsmo)
J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ...
Interface 5 (1), 50, 2005
1812005
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
G Yang, M Kifer, C Zhao
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE …, 2003
1812003
A logic for object-oriented logic programming
M Kifer, J Wu
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989
1741989
Ontologies in F-logic
J Angele, M Kifer, G Lausen
Handbook on ontologies, 45-70, 2009
1632009
Rule interchange format: The framework
M Kifer
Web Reasoning and Rule Systems: Second International Conference, RR 2008 …, 2008
1632008
OpenRuleBench: An analysis of the performance of rule engines
S Liang, P Fodor, H Wan, M Kifer
Proceedings of the 18th international conference on World wide web, 601-610, 2009
1622009
Semantic web services framework (SWSF) overview
S Battle, A Bernstein, H Boley, B Grosof, M Gruninger, R Hull, M Kifer, ...
World Wide Web Consortium, Member Submission SUBM-SWSF-20050909, 2005
1582005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20