Michael Kifer

Citata da

	Tutte	Dal 2018
Citazioni	13480	1180
Indice H	54	18
i10-index	114	24

880

440

220

660

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 62 95 126 167 221 236 292 250 288 269 248 283 293 367 387 485 746 738 875 765 770 681 692 582 461 442 449 349 249 343 200 192 198 167 79

Accesso pubblico

Visualizza tutto

6 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Axel PolleresVienna University of Economics and Business (WU - Wirtschaftsuniversität Wien)Email verificata su wu.ac.at
Benjamin GrosofCoherent KnowledgeEmail verificata su coherentknowledge.com
Harold BoleyPrincipal Researcher and Leader of the Semantic Web Laboratory, National Research Council CanadaEmail verificata su unb.ca
Dieter FenselSTI Innsbruck, University InnsbruckEmail verificata su uibk.ac.at
Paul FodorStony Brook UniversityEmail verificata su cs.stonybrook.edu
David Scott WarrenEmeritus Professor of Computer Science, Stony Brook UniversityEmail verificata su cs.stonybrook.edu
IV RamakrishnanProfessor of Computer Science, Assoc. Dean of Research, College of Engr. & Applied SciencesEmail verificata su cs.stonybrook.edu
Hasan DavulcuProfessor, Arizona State UniversityEmail verificata su asu.edu
Georg LausenProfessor für Informatik, Universität FreiburgEmail verificata su informatik.uni-freiburg.de
Dumitru RomanSINTEF AS / University of Oslo, NorwayEmail verificata su sintef.no
Hui WanIBM research AIEmail verificata su us.ibm.com
Dr. Jacek KopeckýSenior Lecturer, University of PortsmouthEmail verificata su port.ac.uk
Andrea CalìBirkbeck University of London and Oxford-Man Institute of Quantitative FinanceEmail verificata su dcs.bbk.ac.uk
Georg GottlobProfessor of Informatics, University of OxfordEmail verificata su cs.ox.ac.uk
David MartinUniversity of California, Santa CruzEmail verificata su ucsc.edu
Abraham BernsteinProfessor of Computer Science, University of ZurichEmail verificata su ifi.uzh.ch
Steve BattleUniversity of the West of England, BristolEmail verificata su uwe.ac.uk
Mike DeanPrincipal Engineer, Raytheon BBN TechnologiesEmail verificata su bbn.com
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityEmail verificata su cs.stonybrook.edu
Juliana FreireNew York UniversityEmail verificata su nyu.edu

Segui

Michael Kifer

Stony Brook University

Email verificata su cs.stonybrook.edu - Home page

AI Knowledge representation logic programming databases


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	2539	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	671	1989
Theory of generalized annotated logic programming and its applications M Kifer, VS Subrahmanian The Journal of Logic Programming 12 (4), 335-367, 1992	636	1992
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	536	1993
Querying object-oriented databases M Kifer, W Kim, Y Sagiv Proceedings of the 1992 ACM SIGMOD international conference on Management of …, 1992	505	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	483	2013
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	268	1998
Transaction Logic Programming. AJ Bonner, M Kifer ICLP 93, 257-279, 1993	236	1993
Database Systems: An Application-Oriented Approach, Introductory Version, 2/E M Kifer Pearson Education India, 2007	229	2007
Databases and transaction processing: an application-oriented approach PM Lewis, A Bernstein, M Kifer ACM SIGMOD Record 31 (1), 74-75, 2002	222	2002
An overview of transaction logic AJ Bonner, M Kifer Theoretical Computer Science 133 (2), 205-265, 1994	217	1994
Web service modeling ontology (wsmo) J De Bruijn, C Bussler, J Domingue, D Fensel, M Hepp, M Kifer, ... Interface 5 (1), 50, 2005	181	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	181	2003
A logic for object-oriented logic programming M Kifer, J Wu Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989	174	1989
Rule interchange format: The framework M Kifer Web Reasoning and Rule Systems: Second International Conference, RR 2008 …, 2008	163	2008
Ontologies in F-logic J Angele, M Kifer, G Lausen Handbook on ontologies, 45-70, 2009	162	2009
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	162	2009
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	158	2005

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori