Michael Kifer

Sitert av

	Alle	Siden 2017
Sitater	13174	1224
h-indeks	53	16
i10-indeks	112	28

880

440

220

660

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202238 60 82 137 167 219 243 295 268 328 234 261 287 296 358 361 491 683 745 865 758 748 700 686 569 463 435 453 335 242 325 197 191 176 92

Offentlig tilgang

Vis alle

6 artikler

1 artikkel

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Verifisert e-postadresse på wu.ac.at
Harold BoleyPrincipal Researcher and Leader of the Semantic Web Laboratory, National Research Council CanadaVerifisert e-postadresse på unb.ca
Benjamin GrosofCoherent KnowledgeVerifisert e-postadresse på coherentknowledge.com
Dieter FenselSTI Innsbruck, University InnsbruckVerifisert e-postadresse på uibk.ac.at
David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityVerifisert e-postadresse på cs.stonybrook.edu
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesVerifisert e-postadresse på cs.stonybrook.edu
Paul FodorStony Brook UniversityVerifisert e-postadresse på cs.stonybrook.edu
Hasan DavulcuProfessor, Arizona State UniversityVerifisert e-postadresse på asu.edu
Georg LausenProfessor für Informatik, Universität FreiburgVerifisert e-postadresse på informatik.uni-freiburg.de
Dumitru RomanSINTEF AS / University of Oslo, NorwayVerifisert e-postadresse på sintef.no
Hui WanIBM research AIVerifisert e-postadresse på us.ibm.com
Dr. Jacek KopeckýSenior Lecturer, University of PortsmouthVerifisert e-postadresse på port.ac.uk
Andrea CalìBirkbeck University of London and Oxford-Man Institute of Quantitative FinanceVerifisert e-postadresse på dcs.bbk.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordVerifisert e-postadresse på cs.ox.ac.uk
David MartinUniversity of California, Santa CruzVerifisert e-postadresse på ucsc.edu
Abraham BernsteinProfessor of Computer Science, University of ZurichVerifisert e-postadresse på ifi.uzh.ch
Steve BattleUniversity of the West of England, BristolVerifisert e-postadresse på uwe.ac.uk
Mike DeanPrincipal Engineer, Raytheon BBN TechnologiesVerifisert e-postadresse på bbn.com
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityVerifisert e-postadresse på cs.stonybrook.edu
Juliana FreireNew York UniversityVerifisert e-postadresse på nyu.edu

Følg

Michael Kifer

Stony Brook University

Verifisert e-postadresse på cs.stonybrook.edu - Startside

AI Knowledge representation logic programming databases


Tittel Sortér etter sitater Sortér etter år Sortér etter tittel	Sitert av Sitert av	År
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	2496	1995
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	656	1989
Theory of generalized annotated logic programming and its applications M Kifer, VS Subrahmanian The Journal of Logic Programming 12 (4), 335-367, 1992	624	1992
The web service modeling language wsml: An overview J Bruijn, H Lausen, A Polleres, D Fensel European semantic web conference, 590-604, 2006	533*	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	516	1993
Querying object-oriented databases M Kifer, W Kim, Y Sagiv Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992	496	1992
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	456	2013
A logic for reasoning with inconsistency M Kifer, EL Lozinskii Journal of Automated reasoning 9 (2), 179-215, 1992	320*	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	266	1998
Transaction Logic Programming. AJ Bonner, M Kifer ICLP 93, 257-279, 1993	236	1993
Database systems: an application-oriented approach M Kifer, AJ Bernstein, PM Lewis Pearson/Addison-Wesley, 2006	226	2006
Databases and transaction processing: an application-oriented approach PM Lewis, A Bernstein, M Kifer ACM SIGMOD Record 31 (1), 74-75, 2002	217	2002
An overview of transaction logic AJ Bonner, M Kifer Theoretical Computer Science 133 (2), 205-265, 1994	211	1994
Web service modeling ontology (wsmo) J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ... Interface 5 (1), 50, 2005	176	2005
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	176*	2003
A logic for object-oriented logic programming M Kifer, J Wu Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	168	1989
Ontologies in F-logic J Angele, M Kifer, G Lausen Handbook on ontologies, 45-70, 2009	159	2009
Rule interchange format: The framework M Kifer International Conference on Web Reasoning and Rule Systems, 1-11, 2008	157	2008
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	156	2009
Concurrency and Communication in Transaction Logic. AJ Bonner, M Kifer JICSLP, 142-156, 1996	149	1996

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere