( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contextual Abduction and its Complexity Issues.

, , и . DARe@LPNMR, том 1872 из CEUR Workshop Proceedings, стр. 58-70. CEUR-WS.org, (2017)

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.

Steffen Hölldobler

Michael Hölldobler

Karl Hölldobler

Tanja Hölldobler

Bert Hölldobler

 

Другие публикации лиц с тем же именем

Equational Logic Programming.. SLP, стр. 335-346. IEEE-CS, (1987)Connectionist Inference Systems, и . (1991)A Computational Logic Approach to Human Spatial Reasoning., , и . SSCI, стр. 1627-1634. IEEE, (2015)Equations, order-sortedness and inheritance in logic programming, и . Forschungsberichte, TU Munich, (1989)FHCL - functions in Horn Clause logic, и . Forschungsberichte, TU Munich, (1988)The Weak Completion Semantics and Counterexamples., и . FLAP, 10 (2): 121-154 (2023)Equational Logic and Theories of Action.. APPIA-GULP-PRODE, стр. 111-126. (1996)Solving Periodic Event Scheduling Problems with SAT., , , , , и . IEA/AIE, том 7345 из Lecture Notes in Computer Science, стр. 166-175. Springer, (2012)An Abstract Dual Propositional Model Counter., , и . YSIP, том 1837 из CEUR Workshop Proceedings, стр. 17-26. CEUR-WS.org, (2017)Lessons Learned from AlphaGo., , и . YSIP, том 1837 из CEUR Workshop Proceedings, стр. 92-101. CEUR-WS.org, (2017)