Edit Profile Hitzler, Pascal Compute Distance To: Compute Author ID: hitzler.pascal Published as: Hitzler, P.; Hitzler, Pascal External Links: MGP · Wikidata Documents Indexed: 49 Publications since 1997, including 9 Books all top 5 Co-Authors 3 single-authored 14 Seda, Anthony Karel 7 Krötzsch, Markus 5 Qi, Guilin 3 Knorr, Matthias 3 Lehmann, Jens 3 Ma, Yue 3 Rudolph, Sebastian 3 Zhang, Guoqiang 2 Alferes, José Júlio 2 Hammer, Barbara 2 Kalmbach, Gudrun 2 Lin, Zuoquan 2 Wendt, Matthias 1 Bader, Sebastian 1 Banti, Federico 1 Brogi, Antonio 1 Carral, David 1 Cuenca Grau, Bernardo 1 Feier, Cristina 1 Gori, Marco 1 Herzig, Andreas 1 Hölldobler, Steffen 1 Horrocks, Ian 1 Huang, Shasha 1 Lécué, Freddy 1 Li, Qingguo 1 Liu, Chang 1 Lukasiewicz, Thomas 1 Maier, Frederick 1 Mutharaju, Raghava 1 Øhrstrøm, Peter 1 Palm, Günther 1 Polleres, Axel 1 Schärfe, Henrik 1 Sure, York 1 Tiddi, Ilaria 1 van Harmelen, Frank 1 Zhou, Zhangquan all top 5 Serials 2 Journal of Logic and Computation 2 Topology Proceedings 2 Logic Journal of the IGPL 2 Journal of Applied Logic 2 Journal of Electrical Engineering 2 Lecture Notes in Computer Science 1 Artificial Intelligence 1 Theoretical Computer Science 1 Irish Mathematical Society Bulletin 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Information 1 ACM Transactions on Computational Logic 1 Studies in Computational Intelligence 1 Logical Methods in Computer Science 1 Studies on the Semantic Web all top 5 Fields 45 Computer science (68-XX) 7 General topology (54-XX) 6 General and overarching topics; collections (00-XX) 6 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 History and biography (01-XX) 2 Category theory; homological algebra (18-XX) 1 Operator theory (47-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 40 Publications have been cited 214 times in 172 Documents Cited by ▼ Year ▼ Dislocated topologies. Zbl 0968.54001Hitzler, Pascal; Seda, Anthony Karel 58 2000 Mathematical aspects of logic programming semantics. Zbl 1219.68085Hitzler, Pascal; Seda, Anthony 19 2011 Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan 11 2007 The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177Hitzler, Pascal; Seda, Anthony Karel 11 2002 A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang 10 2006 Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal 8 2011 A Cartesian closed category of approximable concept structures. Zbl 1104.68737Hitzler, Pascal; Zhang, Guo-Qiang 8 2004 Generalized metrics and uniquely determined logic programs. Zbl 1071.68018Hitzler, Pascal; Seda, Anthony Karel 7 2003 Some issues concerning fixed points in computational logic: Quasi-metrics, multivalued mappings and the Knaster-Tarski theorem. Zbl 1027.54505Hitzler, Pascal; Seda, Anthony Karel 7 1999 Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046Ma, Yue; Qi, Guilin; Hitzler, Pascal 6 2011 Morphisms in context. Zbl 1132.68756Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang 5 2005 Characterizations of classes of programs by three-valued operators. Zbl 0958.68038Hitzler, Pascal; Seda, Anthony Karel 5 1999 Complexities of Horn description logics. Zbl 1353.68268Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal 4 2013 Cheap Boolean role constructors for description logics. Zbl 1178.68570Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 4 2008 Logic programs and connectionist networks. Zbl 1072.68090Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel 4 2004 Acceptable programs revisited. Zbl 0966.68035Hitzler, Pascal; Seda, Anthony Karel 4 1999 Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161Huang, Shasha; Li, Qingguo; Hitzler, Pascal 3 2013 Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce. Zbl 1327.68292Zhou, Zhangquan; Qi, Guilin; Liu, Chang; Hitzler, Pascal; Mutharaju, Raghava 3 2012 A refinement operator based learning algorithm for the \(\mathcal{ALC}\) description logic. Zbl 1136.68490Lehmann, Jens; Hitzler, Pascal 3 2008 A uniform approach to logic programming semantics. Zbl 1093.68019Hitzler, Pascal; Wendt, Matthias 3 2005 A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025Hitzler, Pascal; Seda, Anthony Karel 3 2001 Unique supported-model classes of logic programs. Zbl 1039.68028Hitzler, Pascal; Seda, Anthony Karel 3 2001 \(\mathcal{EL}\)-ifying ontologies. Zbl 1423.68487Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian 2 2014 Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275Knorr, Matthias; Hitzler, Pascal; Maier, Frederick 2 2012 Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043Hitzler, Pascal; Seda, Anthony K. 2 2003 The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035Hitzler, Pascal; Wendt, Matthias 2 2002 On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105Hitzler, Pascal; Seda, Anthony Karel 2 2001 Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086Seda, Anthony Karel; Hitzler, Pascal 2 1998 Topology and iterates in computational logic. Zbl 0948.68025Seda, Anthony Karel; Hitzler, Pascal 2 1997 Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog. Zbl 1241.68109Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 1 2012 Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Zbl 1198.68038Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.) 1 2010 Foundations of refinement operators for description logics. Zbl 1136.68491Lehmann, Jens; Hitzler, Pascal 1 2008 An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan 1 2007 Perspectives of neural-symbolic integration. Zbl 1124.68092Hammer, Barbara (ed.); Hitzler, Pascal (ed.) 1 2007 Querying formal contexts with answer set programs. Zbl 1194.68223Hitzler, Pascal; Krötzsch, Markus 1 2006 The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P. 1 2005 Towards a systematic account of different semantics for logic programs. Zbl 1101.68449Hitzler, Pascal 1 2005 Default reasoning over domains and concept hierarchies. Zbl 1132.68733Hitzler, Pascal 1 2004 Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086Bader, Sebastian; Hitzler, Pascal 1 2004 Towards a systematic account of different logic programming semantics. Zbl 1274.68042Hitzler, Pascal 1 2003 \(\mathcal{EL}\)-ifying ontologies. Zbl 1423.68487Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian 2 2014 Complexities of Horn description logics. Zbl 1353.68268Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal 4 2013 Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161Huang, Shasha; Li, Qingguo; Hitzler, Pascal 3 2013 Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce. Zbl 1327.68292Zhou, Zhangquan; Qi, Guilin; Liu, Chang; Hitzler, Pascal; Mutharaju, Raghava 3 2012 Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275Knorr, Matthias; Hitzler, Pascal; Maier, Frederick 2 2012 Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog. Zbl 1241.68109Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 1 2012 Mathematical aspects of logic programming semantics. Zbl 1219.68085Hitzler, Pascal; Seda, Anthony 19 2011 Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal 8 2011 Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046Ma, Yue; Qi, Guilin; Hitzler, Pascal 6 2011 Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Zbl 1198.68038Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.) 1 2010 Cheap Boolean role constructors for description logics. Zbl 1178.68570Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal 4 2008 A refinement operator based learning algorithm for the \(\mathcal{ALC}\) description logic. Zbl 1136.68490Lehmann, Jens; Hitzler, Pascal 3 2008 Foundations of refinement operators for description logics. Zbl 1136.68491Lehmann, Jens; Hitzler, Pascal 1 2008 Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan 11 2007 An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan 1 2007 Perspectives of neural-symbolic integration. Zbl 1124.68092Hammer, Barbara (ed.); Hitzler, Pascal (ed.) 1 2007 A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang 10 2006 Querying formal contexts with answer set programs. Zbl 1194.68223Hitzler, Pascal; Krötzsch, Markus 1 2006 Morphisms in context. Zbl 1132.68756Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang 5 2005 A uniform approach to logic programming semantics. Zbl 1093.68019Hitzler, Pascal; Wendt, Matthias 3 2005 The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P. 1 2005 Towards a systematic account of different semantics for logic programs. Zbl 1101.68449Hitzler, Pascal 1 2005 A Cartesian closed category of approximable concept structures. Zbl 1104.68737Hitzler, Pascal; Zhang, Guo-Qiang 8 2004 Logic programs and connectionist networks. Zbl 1072.68090Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel 4 2004 Default reasoning over domains and concept hierarchies. Zbl 1132.68733Hitzler, Pascal 1 2004 Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086Bader, Sebastian; Hitzler, Pascal 1 2004 Generalized metrics and uniquely determined logic programs. Zbl 1071.68018Hitzler, Pascal; Seda, Anthony Karel 7 2003 Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043Hitzler, Pascal; Seda, Anthony K. 2 2003 Towards a systematic account of different logic programming semantics. Zbl 1274.68042Hitzler, Pascal 1 2003 The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177Hitzler, Pascal; Seda, Anthony Karel 11 2002 The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035Hitzler, Pascal; Wendt, Matthias 2 2002 A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025Hitzler, Pascal; Seda, Anthony Karel 3 2001 Unique supported-model classes of logic programs. Zbl 1039.68028Hitzler, Pascal; Seda, Anthony Karel 3 2001 On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105Hitzler, Pascal; Seda, Anthony Karel 2 2001 Dislocated topologies. Zbl 0968.54001Hitzler, Pascal; Seda, Anthony Karel 58 2000 Some issues concerning fixed points in computational logic: Quasi-metrics, multivalued mappings and the Knaster-Tarski theorem. Zbl 1027.54505Hitzler, Pascal; Seda, Anthony Karel 7 1999 Characterizations of classes of programs by three-valued operators. Zbl 0958.68038Hitzler, Pascal; Seda, Anthony Karel 5 1999 Acceptable programs revisited. Zbl 0966.68035Hitzler, Pascal; Seda, Anthony Karel 4 1999 Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086Seda, Anthony Karel; Hitzler, Pascal 2 1998 Topology and iterates in computational logic. Zbl 0948.68025Seda, Anthony Karel; Hitzler, Pascal 2 1997 all cited Publications top 5 cited Publications all top 5 Cited by 296 Authors 10 Li, Qingguo 10 Valero, Oscar 8 Shoaib, Abdullah 7 Guo, Lankun 6 Hitzler, Pascal 6 Karapınar, Erdal 6 Pasicki, Lech 5 Arshad, Muhammad Sarmad 5 Radenovic, Stojan 5 Shahzad, Naseer 4 Dey, Lakshmi Kanta 4 Hussain, Nawab 4 Samet, Bessem 4 Seda, Anthony Karel 4 Thimm, Matthias 3 Agarwal, Ravi P. 3 Aydi, Hassen 3 Chen, Chunfang 3 Eiter, Thomas 3 Hölldobler, Steffen 3 Huang, Mengqiao 3 Jleli, Mohamed 3 Kadelburg, Zoran 3 Krídlo, Ondrej 3 Krötzsch, Markus 3 Leite, João 3 Liu, Fangfang 3 Ma, Yue 3 Martín, Javier 3 Mayor, Gaspar 3 Nashine, Hemant Kumar 3 Ojeda-Aciego, Manuel 3 Qi, Guilin 3 Straccia, Umberto 3 You, Jia-Huai 3 Zhu, Chuanxi 2 Abbas, Mujahid 2 Afshari, Hojjat 2 Alferes, José Júlio 2 Alghamdi, Maryam A. 2 Arshad, Muhammad Junaid 2 Bobillo, Fernando 2 Brattka, Vasco 2 Chaira, Karim 2 Chanda, Ankush 2 Diligenti, Michelangelo 2 Fahimuddin 2 Felhi, Abdelbasset 2 Feng, Zhiyong 2 Fink, Michael 2 Gomes, Ana Sofia 2 Gonçalves, Ricardo 2 Gori, Marco 2 Grant, John R. 2 Hunter, Anthony 2 Khemphet, Anchalee 2 Klin-Eam, Chakkrid 2 Knorr, Matthias 2 Lazaiz, Samih 2 Liu, Weiru 2 Mamghaderi, Hamid 2 Masiha, Hashem Parvaneh 2 Miñana, Juan-José 2 Mu, Kedian 2 Murtagh, Fionn D. 2 Nguyen Van Dung 2 Ortiz, Magdalena 2 Parvaneh, Vahid 2 Raddaoui, Badran 2 Rahman, Mujeeb Ur 2 Rasham, Tahair 2 Salimi, Peyman 2 Sarwar, Muhammad 2 Senapati, Tanusri 2 Slota, Martin 2 Vetro, Calogero 2 Wang, Kewen 1 Aamri, Mohamed 1 Ackerman, Nathanael Leedom 1 Aksoy, Ümit 1 Al-Mazrooei, Abdullah Eqal 1 Alamri, Badriah A. S. 1 Alberti, Marco 1 Alghamdi, Mohammed Ali 1 Ali, Gohar 1 Ali, Md. Mustaq 1 Alofi, Abdulaziz Saleem Moslem 1 Alsamir, Habes 1 Ameer, Eskandar 1 Amendola, Giovanni 1 Amirat, Yacine 1 Amrani, Abdelkhalek El 1 Arab, Reza 1 Azam, Akbar 1 Babahmed, M. 1 Babu, A. Som 1 Bader, Sebastian 1 Balbus, Łukasz 1 Bandyopadhyay, Chaitali 1 Banerjee, Rabindra N. ...and 196 more Authors all top 5 Cited in 59 Serials 16 Fixed Point Theory and Applications 12 Artificial Intelligence 11 International Journal of Approximate Reasoning 7 Journal of Fixed Point Theory and Applications 6 Theoretical Computer Science 6 Journal of Function Spaces 5 Abstract and Applied Analysis 5 Theory and Practice of Logic Programming 4 Fuzzy Sets and Systems 4 Information Sciences 4 Journal of Inequalities and Applications 4 Journal of Nonlinear Science and Applications 4 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 3 Topology and its Applications 3 MSCS. Mathematical Structures in Computer Science 3 Annals of Mathematics and Artificial Intelligence 3 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 International Journal of Mathematics and Mathematical Sciences 2 Journal of Computational and Applied Mathematics 2 Information and Computation 2 Journal of Automated Reasoning 2 Mathematical and Computer Modelling 2 Machine Learning 2 Journal of Applied Non-Classical Logics 2 Vietnam Journal of Mathematics 2 Soft Computing 2 Journal of Applied Logic 2 Thai Journal of Mathematics 2 Axioms 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 The Journal of the Indian Mathematical Society. New Series 1 Kyungpook Mathematical Journal 1 Quaestiones Mathematicae 1 Results in Mathematics 1 Annals of Pure and Applied Logic 1 Journal of Classification 1 Journal of Economic Dynamics & Control 1 International Journal of Computer Mathematics 1 Journal of Mathematical Sciences (New York) 1 Georgian Mathematical Journal 1 Data Mining and Knowledge Discovery 1 Nonlinear Functional Analysis and Applications 1 The Journal of Logic and Algebraic Programming 1 Applied Mathematics E-Notes 1 Central European Journal of Mathematics 1 Journal of Function Spaces and Applications 1 Proyecciones 1 Chebyshevskiĭ Sbornik 1 Proceedings of the Steklov Institute of Mathematics 1 Asian-European Journal of Mathematics 1 Bulletin of Mathematical Analysis and Applications 1 Journal of Mathematics and Computer Science. JMCS 1 Mathematical Sciences 1 Journal of Mathematics 1 Journal of Operators 1 Open Mathematics 1 Constructive Mathematical Analysis 1 Cogent Mathematics & Statistics all top 5 Cited in 18 Fields 84 Computer science (68-XX) 77 General topology (54-XX) 46 Operator theory (47-XX) 19 Mathematical logic and foundations (03-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 9 Functional analysis (46-XX) 4 Category theory; homological algebra (18-XX) 2 Ordinary differential equations (34-XX) 2 Integral equations (45-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Geometry (51-XX) 1 Statistics (62-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.