241 citations · 469 across the 31 of their papers we have counts for
4 papers · 1 filter
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully ben…
Default reasoning over domains and concept hierarchies
Pascal Hitzler
W.C. Rounds and G.-Q. Zhang (2001) have proposed to study a form of disjunctive logic programming generalized to algebraic domains. This system allows reasoning with information wh…
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Sebastian Bader, Pascal Hitzler, Steffen Hoelldobler
Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would b…
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
Pascal Hitzler
The fixpoint completion fix(P) of a normal logic program P is a program transformation such that the stable models of P are exactly the models of the Clark completion of fix(P). Th…