14 citations · 14 across the 1 of their papers we have counts for
2 papers
cs.AI2004★ 14 cited
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…
cs.AI2000
BDD-based reasoning in the fluent calculus - first results
Steffen Hoelldobler, Hans-Peter Stoerr
The paper reports on first preliminary results and insights gained in a project aiming at implementing the fluent calculus using methods and techniques based on binary decision dia…