# zbMATH — the first resource for mathematics

## Hitzler, Pascal

Compute Distance To:
 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)

#### Citations contained in zbMATH

40 Publications have been cited 214 times in 172 Documents Cited by Year
Dislocated topologies. Zbl 0968.54001
Hitzler, Pascal; Seda, Anthony Karel
2000
Mathematical aspects of logic programming semantics. Zbl 1219.68085
Hitzler, Pascal; Seda, Anthony
2011
Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
2007
The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177
Hitzler, Pascal; Seda, Anthony Karel
2002
A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002
Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang
2006
Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249
Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal
2011
A Cartesian closed category of approximable concept structures. Zbl 1104.68737
Hitzler, Pascal; Zhang, Guo-Qiang
2004
Generalized metrics and uniquely determined logic programs. Zbl 1071.68018
Hitzler, Pascal; Seda, Anthony Karel
2003
Some issues concerning fixed points in computational logic: Quasi-metrics, multivalued mappings and the Knaster-Tarski theorem. Zbl 1027.54505
Hitzler, Pascal; Seda, Anthony Karel
1999
Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046
Ma, Yue; Qi, Guilin; Hitzler, Pascal
2011
Morphisms in context. Zbl 1132.68756
Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang
2005
Characterizations of classes of programs by three-valued operators. Zbl 0958.68038
Hitzler, Pascal; Seda, Anthony Karel
1999
Complexities of Horn description logics. Zbl 1353.68268
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
2013
Cheap Boolean role constructors for description logics. Zbl 1178.68570
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
2008
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
2004
Acceptable programs revisited. Zbl 0966.68035
Hitzler, Pascal; Seda, Anthony Karel
1999
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161
Huang, Shasha; Li, Qingguo; Hitzler, Pascal
2013
Reasoning with fuzzy-$$\mathcal{EL}^+$$ ontologies using MapReduce. Zbl 1327.68292
Zhou, Zhangquan; Qi, Guilin; Liu, Chang; Hitzler, Pascal; Mutharaju, Raghava
2012
A refinement operator based learning algorithm for the $$\mathcal{ALC}$$ description logic. Zbl 1136.68490
Lehmann, Jens; Hitzler, Pascal
2008
A uniform approach to logic programming semantics. Zbl 1093.68019
Hitzler, Pascal; Wendt, Matthias
2005
A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025
Hitzler, Pascal; Seda, Anthony Karel
2001
Unique supported-model classes of logic programs. Zbl 1039.68028
Hitzler, Pascal; Seda, Anthony Karel
2001
$$\mathcal{EL}$$-ifying ontologies. Zbl 1423.68487
Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian
2014
Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275
Knorr, Matthias; Hitzler, Pascal; Maier, Frederick
2012
Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043
Hitzler, Pascal; Seda, Anthony K.
2003
The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035
Hitzler, Pascal; Wendt, Matthias
2002
On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105
Hitzler, Pascal; Seda, Anthony Karel
2001
Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086
Seda, Anthony Karel; Hitzler, Pascal
1998
Topology and iterates in computational logic. Zbl 0948.68025
Seda, Anthony Karel; Hitzler, Pascal
1997
Type-elimination-based reasoning for the description logic $$\mathcal {SHIQ}b_s$$ using decision diagrams and disjunctive Datalog. Zbl 1241.68109
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
2012
Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Zbl 1198.68038
Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.)
2010
Foundations of refinement operators for description logics. Zbl 1136.68491
Lehmann, Jens; Hitzler, Pascal
2008
An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
2007
Perspectives of neural-symbolic integration. Zbl 1124.68092
Hammer, Barbara (ed.); Hitzler, Pascal (ed.)
2007
Querying formal contexts with answer set programs. Zbl 1194.68223
Hitzler, Pascal; Krötzsch, Markus
2006
The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398
Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P.
2005
Towards a systematic account of different semantics for logic programs. Zbl 1101.68449
Hitzler, Pascal
2005
Default reasoning over domains and concept hierarchies. Zbl 1132.68733
Hitzler, Pascal
2004
Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086
2004
Towards a systematic account of different logic programming semantics. Zbl 1274.68042
Hitzler, Pascal
2003
$$\mathcal{EL}$$-ifying ontologies. Zbl 1423.68487
Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian
2014
Complexities of Horn description logics. Zbl 1353.68268
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
2013
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161
Huang, Shasha; Li, Qingguo; Hitzler, Pascal
2013
Reasoning with fuzzy-$$\mathcal{EL}^+$$ ontologies using MapReduce. Zbl 1327.68292
Zhou, Zhangquan; Qi, Guilin; Liu, Chang; Hitzler, Pascal; Mutharaju, Raghava
2012
Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275
Knorr, Matthias; Hitzler, Pascal; Maier, Frederick
2012
Type-elimination-based reasoning for the description logic $$\mathcal {SHIQ}b_s$$ using decision diagrams and disjunctive Datalog. Zbl 1241.68109
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
2012
Mathematical aspects of logic programming semantics. Zbl 1219.68085
Hitzler, Pascal; Seda, Anthony
2011
Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249
Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal
2011
Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046
Ma, Yue; Qi, Guilin; Hitzler, Pascal
2011
Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22–24, 2010. Proceedings. Zbl 1198.68038
Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.)
2010
Cheap Boolean role constructors for description logics. Zbl 1178.68570
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
2008
A refinement operator based learning algorithm for the $$\mathcal{ALC}$$ description logic. Zbl 1136.68490
Lehmann, Jens; Hitzler, Pascal
2008
Foundations of refinement operators for description logics. Zbl 1136.68491
Lehmann, Jens; Hitzler, Pascal
2008
Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
2007
An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
2007
Perspectives of neural-symbolic integration. Zbl 1124.68092
Hammer, Barbara (ed.); Hitzler, Pascal (ed.)
2007
A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002
Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang
2006
Querying formal contexts with answer set programs. Zbl 1194.68223
Hitzler, Pascal; Krötzsch, Markus
2006
Morphisms in context. Zbl 1132.68756
Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang
2005
A uniform approach to logic programming semantics. Zbl 1093.68019
Hitzler, Pascal; Wendt, Matthias
2005
The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398
Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P.
2005
Towards a systematic account of different semantics for logic programs. Zbl 1101.68449
Hitzler, Pascal
2005
A Cartesian closed category of approximable concept structures. Zbl 1104.68737
Hitzler, Pascal; Zhang, Guo-Qiang
2004
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
2004
Default reasoning over domains and concept hierarchies. Zbl 1132.68733
Hitzler, Pascal
2004
Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086
2004
Generalized metrics and uniquely determined logic programs. Zbl 1071.68018
Hitzler, Pascal; Seda, Anthony Karel
2003
Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043
Hitzler, Pascal; Seda, Anthony K.
2003
Towards a systematic account of different logic programming semantics. Zbl 1274.68042
Hitzler, Pascal
2003
The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177
Hitzler, Pascal; Seda, Anthony Karel
2002
The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035
Hitzler, Pascal; Wendt, Matthias
2002
A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025
Hitzler, Pascal; Seda, Anthony Karel
2001
Unique supported-model classes of logic programs. Zbl 1039.68028
Hitzler, Pascal; Seda, Anthony Karel
2001
On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105
Hitzler, Pascal; Seda, Anthony Karel
2001
Dislocated topologies. Zbl 0968.54001
Hitzler, Pascal; Seda, Anthony Karel
2000
Some issues concerning fixed points in computational logic: Quasi-metrics, multivalued mappings and the Knaster-Tarski theorem. Zbl 1027.54505
Hitzler, Pascal; Seda, Anthony Karel
1999
Characterizations of classes of programs by three-valued operators. Zbl 0958.68038
Hitzler, Pascal; Seda, Anthony Karel
1999
Acceptable programs revisited. Zbl 0966.68035
Hitzler, Pascal; Seda, Anthony Karel
1999
Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086
Seda, Anthony Karel; Hitzler, Pascal
1998
Topology and iterates in computational logic. Zbl 0948.68025
Seda, Anthony Karel; Hitzler, Pascal
1997
all top 5

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)

#### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.