( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bootstrapping Inference in the IDP Knowledge Base System.

, , , , , и . New Generation Comput., 34 (3): 193-220 (2016)

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.

Uwe Janssens

Ursula Gerdau

Thomas Gerdau

Uwe Janssens

Josefina Janssens

 

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

Live-Structure Analysis for Logic Programming Languages with Declarations., , и . ICLP, стр. 33-47. MIT Press, (1997)ProbLog Technology for Inference in a Probabilistic First Order Logic., , , , , , и . ECAI, том 215 из Frontiers in Artificial Intelligence and Applications, стр. 719-724. IOS Press, (2010)Analyzing & debugging ILP data mining query execution., и . AADEBUG, стр. 105-110. ACM, (2005)Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis., , , и . APLAS, том 3780 из Lecture Notes in Computer Science, стр. 330-346. Springer, (2005)Experience with widening based equivalence checking in realistic multimedia systems., , , , и . HLDVT, стр. 122-129. IEEE Computer Society, (2009)Static Region Analysis for Mercury., и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2007)Practical Aspects for a Working Compile Time Garbage Collection System for Mercury., , , и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 105-119. Springer, (2001)Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs., и . META, том 649 из Lecture Notes in Computer Science, стр. 294-307. Springer, (1992)Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment., , , , и . RuleML (Supplement), том 1620 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)Automatic functional verification of memory oriented global source code transformations., , , и . HLDVT, стр. 31-36. IEEE Computer Society, (2003)