×

zbMATH — the first resource for mathematics

Hitzler, Pascal

Compute Distance To:
Author ID: hitzler.pascal Recent zbMATH articles by "Hitzler, Pascal"
Published as: Hitzler, P.; Hitzler, Pascal
External Links: MGP · Wikidata
Documents Indexed: 49 Publications since 1997, including 9 Books

Publications by Year

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
58
2000
Mathematical aspects of logic programming semantics. Zbl 1219.68085
Hitzler, Pascal; Seda, Anthony
19
2011
Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
11
2007
The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177
Hitzler, Pascal; Seda, Anthony Karel
11
2002
A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002
Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang
10
2006
Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249
Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal
8
2011
A Cartesian closed category of approximable concept structures. Zbl 1104.68737
Hitzler, Pascal; Zhang, Guo-Qiang
8
2004
Generalized metrics and uniquely determined logic programs. Zbl 1071.68018
Hitzler, 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.54505
Hitzler, Pascal; Seda, Anthony Karel
7
1999
Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046
Ma, Yue; Qi, Guilin; Hitzler, Pascal
6
2011
Morphisms in context. Zbl 1132.68756
Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang
5
2005
Characterizations of classes of programs by three-valued operators. Zbl 0958.68038
Hitzler, Pascal; Seda, Anthony Karel
5
1999
Complexities of Horn description logics. Zbl 1353.68268
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
4
2013
Cheap Boolean role constructors for description logics. Zbl 1178.68570
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
4
2008
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
4
2004
Acceptable programs revisited. Zbl 0966.68035
Hitzler, Pascal; Seda, Anthony Karel
4
1999
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161
Huang, Shasha; Li, Qingguo; Hitzler, Pascal
3
2013
Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce. Zbl 1327.68292
Zhou, 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.68490
Lehmann, Jens; Hitzler, Pascal
3
2008
A uniform approach to logic programming semantics. Zbl 1093.68019
Hitzler, Pascal; Wendt, Matthias
3
2005
A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025
Hitzler, Pascal; Seda, Anthony Karel
3
2001
Unique supported-model classes of logic programs. Zbl 1039.68028
Hitzler, Pascal; Seda, Anthony Karel
3
2001
\(\mathcal{EL}\)-ifying ontologies. Zbl 1423.68487
Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian
2
2014
Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275
Knorr, Matthias; Hitzler, Pascal; Maier, Frederick
2
2012
Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043
Hitzler, Pascal; Seda, Anthony K.
2
2003
The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035
Hitzler, Pascal; Wendt, Matthias
2
2002
On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105
Hitzler, Pascal; Seda, Anthony Karel
2
2001
Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086
Seda, Anthony Karel; Hitzler, Pascal
2
1998
Topology and iterates in computational logic. Zbl 0948.68025
Seda, 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.68109
Rudolph, 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.68038
Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.)
1
2010
Foundations of refinement operators for description logics. Zbl 1136.68491
Lehmann, Jens; Hitzler, Pascal
1
2008
An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
1
2007
Perspectives of neural-symbolic integration. Zbl 1124.68092
Hammer, Barbara (ed.); Hitzler, Pascal (ed.)
1
2007
Querying formal contexts with answer set programs. Zbl 1194.68223
Hitzler, Pascal; Krötzsch, Markus
1
2006
The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398
Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P.
1
2005
Towards a systematic account of different semantics for logic programs. Zbl 1101.68449
Hitzler, Pascal
1
2005
Default reasoning over domains and concept hierarchies. Zbl 1132.68733
Hitzler, Pascal
1
2004
Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086
Bader, Sebastian; Hitzler, Pascal
1
2004
Towards a systematic account of different logic programming semantics. Zbl 1274.68042
Hitzler, Pascal
1
2003
\(\mathcal{EL}\)-ifying ontologies. Zbl 1423.68487
Carral, David; Feier, Cristina; Cuenca Grau, Bernardo; Hitzler, Pascal; Horrocks, Ian
2
2014
Complexities of Horn description logics. Zbl 1353.68268
Krötzsch, Markus; Rudolph, Sebastian; Hitzler, Pascal
4
2013
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Zbl 1264.68161
Huang, Shasha; Li, Qingguo; Hitzler, Pascal
3
2013
Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce. Zbl 1327.68292
Zhou, Zhangquan; Qi, Guilin; Liu, Chang; Hitzler, Pascal; Mutharaju, Raghava
3
2012
Reconciling OWL and non-monotonic rules for the semantic web. Zbl 1327.68275
Knorr, 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.68109
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
1
2012
Mathematical aspects of logic programming semantics. Zbl 1219.68085
Hitzler, Pascal; Seda, Anthony
19
2011
Local closed world reasoning with description logics under the well-founded semantics. Zbl 1225.68249
Knorr, Matthias; Alferes, José Júlio; Hitzler, Pascal
8
2011
Computing inconsistency measure based on paraconsistent semantics. Zbl 1228.68046
Ma, 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.68038
Hitzler, Pascal (ed.); Lukasiewicz, Thomas (ed.)
1
2010
Cheap Boolean role constructors for description logics. Zbl 1178.68570
Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal
4
2008
A refinement operator based learning algorithm for the \(\mathcal{ALC}\) description logic. Zbl 1136.68490
Lehmann, Jens; Hitzler, Pascal
3
2008
Foundations of refinement operators for description logics. Zbl 1136.68491
Lehmann, Jens; Hitzler, Pascal
1
2008
Measuring inconsistency for description logics based on paraconsistent semantics. Zbl 1148.68487
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
11
2007
An algorithm for computing inconsistency measurement by paraconsistent semantics. Zbl 1148.68495
Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan
1
2007
Perspectives of neural-symbolic integration. Zbl 1124.68092
Hammer, Barbara (ed.); Hitzler, Pascal (ed.)
1
2007
A categorical view on algebraic lattices in formal concept analysis. Zbl 1104.06002
Hitzler, Pascal; Krötzsch, Markus; Zhang, Guo-Qiang
10
2006
Querying formal contexts with answer set programs. Zbl 1194.68223
Hitzler, Pascal; Krötzsch, Markus
1
2006
Morphisms in context. Zbl 1132.68756
Krötzsch, Markus; Hitzler, Pascal; Zhang, Guo-Qiang
5
2005
A uniform approach to logic programming semantics. Zbl 1093.68019
Hitzler, Pascal; Wendt, Matthias
3
2005
The well supported semantics for multidimensional dynamic logic programs. Zbl 1152.68398
Banti, F.; Alferes, J. J.; Brogi, A.; Hitzler, P.
1
2005
Towards a systematic account of different semantics for logic programs. Zbl 1101.68449
Hitzler, Pascal
1
2005
A Cartesian closed category of approximable concept structures. Zbl 1104.68737
Hitzler, Pascal; Zhang, Guo-Qiang
8
2004
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
4
2004
Default reasoning over domains and concept hierarchies. Zbl 1132.68733
Hitzler, Pascal
1
2004
Logic programs, iterated function systems, and recurrent radial basis function networks. Zbl 1072.68086
Bader, Sebastian; Hitzler, Pascal
1
2004
Generalized metrics and uniquely determined logic programs. Zbl 1071.68018
Hitzler, Pascal; Seda, Anthony Karel
7
2003
Continuity of semantic operators in logic programming and their approximation by artificial neural networks. Zbl 1274.68043
Hitzler, Pascal; Seda, Anthony K.
2
2003
Towards a systematic account of different logic programming semantics. Zbl 1274.68042
Hitzler, Pascal
1
2003
The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Zbl 1005.68177
Hitzler, Pascal; Seda, Anthony Karel
11
2002
The well-founded semantics is a stratified Fitting semantics. Zbl 1015.68035
Hitzler, Pascal; Wendt, Matthias
2
2002
A “converse” of the Banach contraction mapping theorem. Zbl 1047.54025
Hitzler, Pascal; Seda, Anthony Karel
3
2001
Unique supported-model classes of logic programs. Zbl 1039.68028
Hitzler, Pascal; Seda, Anthony Karel
3
2001
On the coincidence of semantics for uniquely determined programs. Zbl 1264.68105
Hitzler, Pascal; Seda, Anthony Karel
2
2001
Dislocated topologies. Zbl 0968.54001
Hitzler, 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.54505
Hitzler, Pascal; Seda, Anthony Karel
7
1999
Characterizations of classes of programs by three-valued operators. Zbl 0958.68038
Hitzler, Pascal; Seda, Anthony Karel
5
1999
Acceptable programs revisited. Zbl 0966.68035
Hitzler, Pascal; Seda, Anthony Karel
4
1999
Generalized ultrametrics, domains and an application to computational logic. Zbl 1290.68086
Seda, Anthony Karel; Hitzler, Pascal
2
1998
Topology and iterates in computational logic. Zbl 0948.68025
Seda, Anthony Karel; Hitzler, Pascal
2
1997
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

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.