Edit Profile (opens in new tab) van Harmelen, Frank Compute Distance To: Compute Author ID: van-harmelen.frank Published as: van Harmelen, Frank; Van Harmelen, Frank; Van Harmelen, F. more...less External Links: MGP · Wikidata · Twitter · dblp · GND · IdRef · theses.fr Documents Indexed: 16 Publications since 1988, including 1 Book 5 Contributions as Editor Co-Authors: 40 Co-Authors with 19 Joint Publications 758 Co-Co-Authors all top 5 Co-Authors 2 single-authored 4 Bundy, Alan 3 Smaill, Alan 3 ten Teije, Annette 2 Acar, Erman 2 Hesketh, Jane 2 Marcos, Mar 2 Schlobach, Stefan 2 Stevens, Andrew 2 Stuckenschmidt, Heiner 2 van Krieken, Emile 1 Akkermans, Hans 1 Balser, Michael 1 Berger, Geert 1 Bouquet, Paolo 1 Broekstra, Jeen 1 Cornet, Ronald 1 den Hengst, Floris 1 Dignum, F. P. M. 1 Dignum, Virginia 1 Fox, Maria 1 François-Lavet, Vincent 1 Gottlob, Georg 1 Herzig, Andreas 1 Hitzler, Pascal 1 Hoogendoorn, Mark 1 Horrocks, Ian 1 Huang, Zhisheng 1 Hullermeier, Eyke 1 Ireland, Andrew 1 Kaminka, Gal A. 1 Kampman, Arjohn 1 Karafotias, Giorgios 1 Lifschitz, Vladimir 1 Porter, Bruce Walter 1 Qi, Guilin 1 Roomans, Hugo 1 Rudolph, Sebastian 1 Schreiber, Guus 1 Tagni, Gaston 1 Wielinga, Bob J. all top 5 Serials 3 Artificial Intelligence 2 Journal of Automated Reasoning 2 Frontiers in Artificial Intelligence and Applications 1 Journal of Information Processing and Cybernetics 1 International Journal of Intelligent Systems 1 Machine Learning 1 Annals of Mathematics and Artificial Intelligence 1 Lecture Notes in Computer Science 1 Foundations of Artificial Intelligence 1 Advanced Information and Knowledge Processing 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications Fields 20 Computer science (68-XX) 4 General and overarching topics; collections (00-XX) 4 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 106 times in 94 Documents Cited by ▼ Year ▼ Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan 31 1993 Handbook of knowledge representation. Zbl 1183.68611 17 2008 Debugging incoherent terminologies. Zbl 1132.68740Schlobach, Stefan; Huang, Zhisheng; Cornet, Ronald; van Harmelen, Frank 17 2007 Sesame: A generic architecture for storing and querying RDF and RDF schema. Zbl 1048.68693Broekstra, Jeen; Kampman, Arjohn; van Harmelen, Frank 12 2002 Experiments with proof plans for induction. Zbl 0733.68069Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan 11 1991 Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106van Harmelen, Frank; Bundy, Alan 9 1988 A rational reconstruction and extension of recursion analysis. Zbl 0708.68061Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew 6 1989 An overview of meta-level architectures for control in expert systems. Zbl 0669.68057van Harmelen, Frank 2 1989 Analyzing differentiable fuzzy logic operators. Zbl 1490.68233van Krieken, Emile; Acar, Erman; van Harmelen, Frank 1 2022 Analyzing differentiable fuzzy logic operators. Zbl 1490.68233van Krieken, Emile; Acar, Erman; van Harmelen, Frank 1 2022 Handbook of knowledge representation. Zbl 1183.68611 17 2008 Debugging incoherent terminologies. Zbl 1132.68740Schlobach, Stefan; Huang, Zhisheng; Cornet, Ronald; van Harmelen, Frank 17 2007 Sesame: A generic architecture for storing and querying RDF and RDF schema. Zbl 1048.68693Broekstra, Jeen; Kampman, Arjohn; van Harmelen, Frank 12 2002 Rippling: A heuristic for guiding inductive proofs. Zbl 0789.68121Bundy, Alan; Stevens, Andrew; van Harmelen, Frank; Ireland, Andrew; Smaill, Alan 31 1993 Experiments with proof plans for induction. Zbl 0733.68069Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan 11 1991 A rational reconstruction and extension of recursion analysis. Zbl 0708.68061Bundy, Alan; van Harmelen, Frank; Hesketh, Jane; Smaill, Alan; Stevens, Andrew 6 1989 An overview of meta-level architectures for control in expert systems. Zbl 0669.68057van Harmelen, Frank 2 1989 Explanation-based generalisation \(=\) partial evaluation. Zbl 0655.68106van Harmelen, Frank; Bundy, Alan 9 1988 all cited Publications top 5 cited Publications all top 5 Cited by 195 Authors 8 Bundy, Alan 4 Basin, David A. 4 Ireland, Andrew 4 Melis, Erica 3 Smaill, Alan 3 Walsh, Toby 2 Baader, Franz 2 Bronsard, Francois 2 Dixon, Lucas 2 Friedrich, Gerhard E. 2 Green, Ian 2 Hasker, Robert W. 2 Hesketh, Jane 2 Hutter, Dieter 2 Johansson, Moa 2 Kazakov, Yevgeny 2 Kounalis, Emmanuel 2 Peñaloza, Rafael 2 Protzen, Martin 2 Reddy, Uday S. 2 Sengler, Claus 2 Siekmann, Jörg H. 2 van Harmelen, Frank 1 Adams, Andrew A. 1 Aiello, Aldo 1 Aiguier, Marc 1 Amendola, Giovanni 1 Arenas, Marcelo 1 Arif, M. Fareed 1 Atif, Jamal 1 Badreddine, Samy 1 Baik, Doo-Kwon 1 Barnes, Janet 1 Barnett, Richard C. 1 Bellini, Emanuele 1 Białek, Łukasz 1 Bloch, Isabelle 1 Bouhoula, Adel 1 Boulton, Richard J. 1 Bouzy, Bruno 1 Brandi, S. 1 Brewka, Gerhard 1 Bruynooghe, Maurice 1 Bry, François 1 Busch, Holger 1 Caputo, V. 1 Chapman, Roderick 1 Chazarain, Jacques 1 Chortaras, Alexandros 1 Ciobanu, Gabriel 1 Cook, Andrew W. 1 Cosulschi, Mirel 1 Cuenca Grau, Bernardo 1 Cuzzocrea, Alfredo 1 Das, Souripriya 1 d’Avila Garcez, Artur S. 1 Davis, Ernest 1 De Piccoli, Alessandro 1 De Schreye, Danny 1 De Virgilio, Roberto 1 Delgrande, James P. 1 Dennis, Louise Abigail 1 Dimopoulos, Yannis 1 Dodaro, Carmine 1 Dunin-Kȩplicz, Barbara 1 Ellis, Bill J. 1 Endriss, Ulle 1 Ertaylan, Gökhan 1 Etzioni, Oren 1 Flouris, Giorgos 1 Freiling, Felix C. 1 Fuhs, Carsten 1 Furnari, M. Mango 1 Gagliardi Cozman, Fabio 1 Gao, Jinfeng 1 Gebser, Martin 1 Giesl, Jürgen 1 Gottlob, Georg 1 Grandi, Umberto 1 Gutiérrez, Claudio 1 Hagiya, Masami 1 Halaschek-Wiener, Christian 1 He, Jiankun 1 Hetzl, Stefan 1 Hipolito, Inês 1 Horne, Ross 1 Hu, Bo 1 Huang, Zhisheng 1 Hudelot, Céline 1 Jeong, Dongwon 1 Kahl, Patrick Thor 1 Kahle, Reinhard 1 Kambhampati, Subbarao 1 Kapur, Deepak 1 Kim, Jinhyung 1 Klarman, Szymon 1 Kohlhase, Michael 1 Kolbe, Thomas H. 1 Konev, Boris 1 Koopmann, Patrick ...and 95 more Authors all top 5 Cited in 33 Serials 14 Journal of Automated Reasoning 12 Artificial Intelligence 6 Annals of Mathematics and Artificial Intelligence 4 Theory and Practice of Logic Programming 2 Information Sciences 2 Theoretical Computer Science 2 Formal Methods in System Design 2 ACM Transactions on Computational Logic 2 Algorithms 1 Computers & Mathematics with Applications 1 Journal of Philosophical Logic 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 International Journal of Parallel Programming 1 International Journal of Approximate Reasoning 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Global Optimization 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 LMS Journal of Computation and Mathematics 1 International Journal of Applied Mathematics and Computer Science 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Journal of Machine Learning Research (JMLR) 1 ACM Journal of Experimental Algorithmics 1 Journal of Applied Logic 1 Mathematical Biosciences and Engineering 1 International Journal of Parallel, Emergent and Distributed Systems 1 Journal of Zhejiang University. Science A 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 12 Fields 90 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.