دنبال کردن
Michael Kifer
Michael Kifer
Stony Brook University
ایمیل تأیید شده در cs.stonybrook.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
25691995
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‏
6881989
Theory of generalized annotated logic programming and its applications‏
M Kifer, VS Subrahmanian‏
The Journal of Logic Programming 12 (4), 335-367, 1992‏
6611992
HiLog: A foundation for higher-order logic programming‏
W Chen, M Kifer, DS Warren‏
The Journal of Logic Programming 15 (3), 187-230, 1993‏
5531993
The web service modeling language wsml: An overview‏
J De Bruijn, H Lausen, A Polleres, D Fensel‏
European semantic web conference, 590-604, 2006‏
5462006
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‏
5202013
Querying object-oriented databases‏
M Kifer, W Kim, Y Sagiv‏
Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992‏
5041992
A logic for reasoning with inconsistency‏
M Kifer, EL Lozinskii‏
Journal of Automated reasoning 9 (2), 179-215, 1992‏
326*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‏
2701998
Database systems: an application-oriented approach‏
M Kifer, AJ Bernstein, PM Lewis‏
Pearson Education India, 2005‏
2392005
Transaction Logic Programming.‏
AJ Bonner, M Kifer‏
ICLP 93, 257-279, 1993‏
2391993
Databases and transaction processing: an application-oriented approach‏
PM Lewis, A Bernstein, M Kifer‏
ACM SIGMOD Record 31 (1), 74-75, 2002‏
2262002
An overview of transaction logic‏
AJ Bonner, M Kifer‏
Theoretical Computer Science 133 (2), 205-265, 1994‏
2201994
Web service modeling ontology (wsmo)‏
J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ...‏
Interface 5 (1), 50, 2005‏
1932005
Rule interchange format: The framework‏
M Kifer‏
International Conference on Web Reasoning and Rule Systems, 1-11, 2008‏
1912008
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‏
1862003
A logic for object-oriented logic programming‏
M Kifer, J Wu‏
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989‏
1801989
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‏
1772009
Ontologies in F-logic‏
J Angele, M Kifer, G Lausen‏
Handbook on ontologies, 45-70, 2009‏
1672009
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‏
1562005
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20