Pascal Hitzler

Available identifiers

zbMath Open hitzler.pascalWikidataQ30103406 ScholiaQ30103406MaRDI QIDQ646501

List of research outcomes

Publication	Date of Publication	Type
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas	2023-02-20	Paper
Neuro-symbolic artificial intelligence	2022-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4619830	2019-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4619831	2019-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3455640	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457253	2015-12-11	Paper
Complexities of Horn Description Logics	2015-09-17	Paper
$\mathcal{EL}$ -ifying Ontologies	2014-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2871016	2014-01-21	Paper
Reasoning with inconsistencies in hybrid MKNF knowledge bases	2013-06-11	Paper
On the Coincidence of Semantics for Uniquely Determined Programs	2013-06-06	Paper
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog	2012-04-03	Paper
Computing inconsistency measure based on paraconsistent semantics	2011-12-19	Paper
Local closed world reasoning with description logics under the well-founded semantics	2011-11-17	Paper
Mathematical Aspects of Logic Programming Semantics	2011-02-16	Paper
Concept learning in description logics using refinement operators	2010-10-07	Paper
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)	2010-09-10	Paper
KI 2003: Advances in Artificial Intelligence	2010-03-03	Paper
KI 2003: Advances in Artificial Intelligence	2010-03-03	Paper
Cheap Boolean Role Constructors for Description Logics	2008-10-27	Paper
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics	2008-09-16	Paper
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics	2008-09-16	Paper
A Refinement Operator Based Learning Algorithm for the $\mathcal{ALC}$ Description Logic	2008-03-28	Paper
Foundations of Refinement Operators for Description Logics	2008-03-28	Paper
KI 2004: Advances in Artificial Intelligence	2008-03-14	Paper
Semantic Web	2007-11-05	Paper
Querying Formal Contexts with Answer Set Programs	2007-09-06	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Towards a Systematic Account of Different Semantics for Logic Programs	2005-07-13	Paper
A uniform approach to logic programming semantics	2005-04-29	Paper
Logic programs and connectionist networks	2004-10-28	Paper
Logic programs, iterated function systems, and recurrent radial basis function networks	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q3044232	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4470447	2004-07-01	Paper
Generalized metrics and uniquely determined logic programs.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4424942	2003-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4412245	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q3153396	2002-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2714731	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4499241	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4500930	2000-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4955347	2000-05-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pascal Hitzler