Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Pascal Hitzler

Pascal Hitzler

Wright State University, Dayton, Ohio

On the Capabilities of Pointer Networks for Deep Deductive Reasoning


Jun 17, 2021
Monireh Ebrahimi, Aaron Eberhart, Pascal Hitzler

* 14 pages, 1 figures 

  Access Paper or Ask Questions

Neuro-Symbolic Artificial Intelligence: Current Trends


May 14, 2021
Md Kamruzzaman Sarker, Lu Zhou, Aaron Eberhart, Pascal Hitzler

* under review 

  Access Paper or Ask Questions

Neuro-Symbolic Artificial Intelligence Current Trends


May 11, 2021
Md Kamruzzaman Sarker, Lu Zhou, Aaron Eberhart, Pascal Hitzler

* under review 

  Access Paper or Ask Questions

Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication


Mar 18, 2020
Abhishek Jana, Md Kamruzzaman Sarker, Monireh Ebrahimi, Pascal Hitzler, George T Amariucai

* 8 pages, 5 figures 

  Access Paper or Ask Questions

Completion Reasoning Emulation for the Description Logic EL+


Dec 11, 2019
Aaron Eberhart, Monireh Ebrahimi, Lu Zhou, Cogan Shimizu, Pascal Hitzler


  Access Paper or Ask Questions

MODL: A Modular Ontology Design Library


Apr 10, 2019
Cogan Shimizu, Quinn Hirt, Pascal Hitzler


  Access Paper or Ask Questions

Efficient Concept Induction for Description Logics


Dec 08, 2018
Md Kamruzzaman Sarker, Pascal Hitzler

* Accepted at AAAI-19 

  Access Paper or Ask Questions

Reasoning over RDF Knowledge Bases using Deep Learning


Nov 09, 2018
Monireh Ebrahimi, Md Kamruzzaman Sarker, Federico Bianchi, Ning Xie, Derek Doran, Pascal Hitzler


  Access Paper or Ask Questions

Rule-based OWL Modeling with ROWLTab Protege Plugin


Aug 30, 2018
Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler

* 14th ESWC 2017, Portoroz, Slovenia 
* Accepted at ESWC 2017 

  Access Paper or Ask Questions

OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming


Aug 30, 2018
Md. Kamruzzaman Sarker, Adila A. Krisnadhi, Pascal Hitzler

* The 15th International Semantic Web Conference (ISWC 2016) Kobe, Japan 
* Poster in ISWC 2016 

  Access Paper or Ask Questions

Modeling OWL with Rules: The ROWL Protege Plugin


Aug 30, 2018
Md. Kamruzzaman Sarker, David Carral, Adila A. Krisnadhi, Pascal Hitzler

* S. Md Kamruzzaman, Carral, D., Krisnadhi, A., and Hitzler, P., Modeling OWL with Rules: The ROWL Protege Plugin Kobe, Japan, 2016 
* Accepted at ISWC 2016 

  Access Paper or Ask Questions

A Tutorial on Modular Ontology Modeling with Ontology Design Patterns: The Cooking Recipes Ontology


Aug 25, 2018
Pascal Hitzler, Adila Krisnadhi


  Access Paper or Ask Questions

A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies


Apr 19, 2018
David Carral, Cristina Feier, Pascal Hitzler

* The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer 

  Access Paper or Ask Questions

Relating Input Concepts to Convolutional Neural Network Decisions


Nov 21, 2017
Ning Xie, Md Kamruzzaman Sarker, Derek Doran, Pascal Hitzler, Michael Raymer

* 10 pages (including references), 9 figures, paper accepted by NIPS IEVDL 2017 

  Access Paper or Ask Questions

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation


Nov 10, 2017
Tarek R. Besold, Artur d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kuehnberger, Luis C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

* 58 pages, work in progress 

  Access Paper or Ask Questions

On the Ontological Modeling of Trees


Oct 13, 2017
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph

* Proceedings of the 8th Workshop on Ontology Design and Patterns, WOP 2017, co-located with the 16th International Semantic Web Conference, ISWC2017, Vienna, Austria, October 2017. To appear 

  Access Paper or Ask Questions

Explaining Trained Neural Networks with Semantic Web Technologies: First Steps


Oct 11, 2017
Md Kamruzzaman Sarker, Ning Xie, Derek Doran, Michael Raymer, Pascal Hitzler


  Access Paper or Ask Questions

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog


Feb 23, 2012
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler

* Logical Methods in Computer Science, Volume 8, Issue 1 (February 27, 2012) lmcs:806 
* 38 pages, 3 figures, camera ready version of paper accepted for publication in Logical Methods in Computer Science 

  Access Paper or Ask Questions

Dimensions of Neural-symbolic Integration - A Structured Survey


Nov 10, 2005
Sebastian Bader, Pascal Hitzler

* 28 pages 

  Access Paper or Ask Questions

Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models


Nov 09, 2005
Pascal Hitzler, Sibylle Schwarz

* 17 pages 

  Access Paper or Ask Questions

Towards a Systematic Account of Different Semantics for Logic Programs


Feb 22, 2005
Pascal Hitzler

* 20 pages 

  Access Paper or Ask Questions

Default reasoning over domains and concept hierarchies


Sep 01, 2004
Pascal Hitzler

* Short version appeared in Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence 

  Access Paper or Ask Questions

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence


Aug 31, 2004
Sebastian Bader, Pascal Hitzler, Steffen Hoelldobler

* In Proceedings of INFORMATION'2004, Tokyo, Japan, to appear. 12 pages 

  Access Paper or Ask Questions

Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion


Feb 09, 2004
Pascal Hitzler

* 15 pages. Presented at the 18th Workshop on Logic Programming, Potsdam, Germany, March 2004 

  Access Paper or Ask Questions

A uniform approach to logic programming semantics


Nov 12, 2003
Pascal Hitzler, Matthias Wendt

* 29 pages. To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

Formal Concept Analysis and Resolution in Algebraic Domains


May 01, 2003
Pascal Hitzler, Matthias Wendt

* 14 pages. We have rewritten the old version according to the suggestions of some referees. The results are the same. The presentation is completely different 

  Access Paper or Ask Questions