From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Core Method for the Weak Completion Semantics with Skeptical Abduction.

E. Saldanha, S. Hölldobler, C. Ramli, и L. Medinacelli. J. Artif. Intell. Res., (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Solving Periodic Event Scheduling Problems with SAT.P. Großmann, S. Hölldobler, N. Manthey, K. Nachtigall, J. Opitz, и P. Steinke. IEA/AIE, том 7345 из Lecture Notes in Computer Science, стр. 166-175. Springer, (2012)Connectionist Inference SystemsH. Güsgen, и S. Hölldobler. (1991)A Computational Logic Approach to Human Spatial Reasoning.E. Dietz, S. Hölldobler, и R. Hops. SSCI, стр. 1627-1634. IEEE, (2015)Equational Logic and Theories of Action.S. Hölldobler. APPIA-GULP-PRODE, стр. 111-126. (1996)An Abstract Dual Propositional Model Counter.A. Biere, S. Hölldobler, и S. Möhle. YSIP, том 1837 из CEUR Workshop Proceedings, стр. 17-26. CEUR-WS.org, (2017)Lessons Learned from AlphaGo.S. Hölldobler, S. Möhle, и A. Tigunova. YSIP, том 1837 из CEUR Workshop Proceedings, стр. 92-101. CEUR-WS.org, (2017)Guiding Backprop by Inserting Rules.S. Bader, S. Hölldobler, и N. Marques. NeSy, том 366 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Principles and Clusters in Human Syllogistic Reasoning.E. Saldanha, S. Hölldobler, и R. Mörbitz. Bridging@CogSci, том 1994 из CEUR Workshop Proceedings, стр. 69-83. CEUR-WS.org, (2017)Equational Logic Programming.S. Hölldobler. SLP, стр. 335-346. IEEE-CS, (1987)Fuzzy conceptual knowledge processing.C. Herrmann, S. Hölldobler, и A. Strohmaier. SAC, стр. 628-632. ACM, (1996)