Artículos con órdenes de acceso público - Steffen HölldoblerMás información
Disponibles en algún lugar: 15
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
Órdenes: German Research Foundation
FluCaP: a heuristic search planner for first-order MDPs
S Hölldobler, E Karabaev, O Skvortsova
Journal of Artificial Intelligence Research 27, 419-439, 2006
Órdenes: German Research Foundation
On Conditionals.
EA Dietz, S Hölldobler, LM Pereira
GCAI, 79-92, 2015
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
The core method: Connectionist model generation
S Bader, S Hölldobler
International Conference on Artificial Neural Networks, 1-13, 2006
Órdenes: German Research Foundation
Extracting Propositional Rules from Feed-forward Neural Networks-A New Decompositional Approach.
S Bader, S Hölldobler, V Mayer-Eichberger
NeSy, 2007
Órdenes: German Research Foundation
The core method: Connectionist model generation for first-order logic programs
S Bader, P Hitzler, S Hölldobler, A Witzel
Perspectives of neural-symbolic integration, 205-232, 2007
Órdenes: German Research Foundation
Contextual reasoning: Usually birds can abductively fly
EA Dietz Saldanha, S Hölldobler, LM Pereira
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
An Abstract Dual Propositional Model Counter.
A Biere, S Hölldobler, S Möhle
YSIP, 17-26, 2017
Órdenes: Austrian Science Fund, German Research Foundation
When are Humans Reasoning with Modus Tollens?
M Cramer, S Hölldobler, M Ragni
Proceedings of the Annual Meeting of the Cognitive Science Society 43 (43), 2021
Órdenes: German Research Foundation
Decidability under the well-founded semantics
N Cherchago, P Hitzler, S Hölldobler
International Conference on Web Reasoning and Rule Systems, 269-278, 2007
Órdenes: German Research Foundation
Our themes on abduction in human reasoning: a synopsis
EA Dietz Saldanha, S Hölldobler, LM Pereira
Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry …, 2021
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
An abductive counterfactual reasoning approach in logic programming
LM Pereira, EA Dietz, S Hölldobler
Draft, Available from http://centria. di. fct. unl. pt/* lmp/publications …, 2015
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
LIFT-UP: Lifted First-Order Planning Under Uncertainty
S Hölldobler, O Skvortsova
6th International Workshop on the Implementation of Logics, 80, 2006
Órdenes: German Research Foundation
Humans Reason Skeptically
M Bhadra, I Hamada, S Hölldobler, LM Pereira
Handbook of Abductive Cognition, 797-832, 2023
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
A Fully Connectionist Model Generator for Covered
S Bader, P Hitzler, S Hölldobler, A Witzel
Órdenes: German Research Foundation
La información de publicación y financiación se determina de forma automática mediante un programa informático