Radiatively-induced gravitational leptogenesis
- 期刊名称Physics Letters B
- 作者McDonald, J.I.; Shore, G.M.
- 卷第751卷
- 印刷ISSN0370-2693
- 文件大小293.56KB
- 发表时间2015-12
- DOI10.1016/j.physletb.2015.10.075
- 页码469-473
Logic programs and connectionist networksPascal Hitzler; Steffen Hölldobler; Anthony Karel Seda · 2004
Horn equational theories and paramodulationUlrich Furbach; Steffen Hölldobler; Joachim Schreiber · 1989
A new deductive approach to planningSteffen Hölldobler; Josef Schneeberger · 1990
On the artificial intelligence paradoxHölldobler, Steffen · Behavioral and Brain Sciences · 1993
Combining Logic Programming and Equation SolvingHÖLLDOBLER, STEFFEN · Journal of Logic and Computation · 1991
Cognitive Reasoning: A Personal ViewFurbach, Ulrich; Hölldobler, Steffen; Ragni, Marco; Schon, Claudia; Stolzenburg, Frieder · KI - Künstliche Intelligenz · 2019
Approximating the Semantics of Logic Programs by Recurrent Neural NetworksSteffen Hölldobler; Yvonne Kalinke; Hans-Peter Störr · 1999