Author of the publication

A Fully Connectionist Model Generator for Covered First-Order Logic Programs

, , , and . Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, page 666--671. Hyderabad, AAAI Press, (January 2007)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Perspectives of Neural-Symbolic Integration, , , and . volume 77 of Studies in Computational Intelligence, chapter The Core Method: Connectionist Model Generation for First-Order Logic Programs, page 205--232. Springer, (2007)Das problemzentrierte Interview (26 Abs�tze). Forum qualitative Sozialforschung/Forum Qualitative Research (Online-Journal), (2000)http://www.qualitative-research.net/fqs-texte/1-00/1-00witzel-d.htm, Letzter Zugriff: 04.04.2004.The synchronicity of dynamic epistemic logic., , and . TARK, page 145-152. ACM, (2011)Thief belief., , and . ICE-GIC, page 169-172. IEEE, (2009)A Generic Approach to Coalition Formation, and . CoRR, (2007)Symmetric and Synchronous Communication in Peer-to-Peer Networks. CoRR, (2007)Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal Logic.. J. Log. Comput., 22 (3): 405-416 (2012)Characterizing perfect recall in Epistemic Temporal Logic. CoRR, (2010)Common knowledge in interaction structures., , and . TARK, page 4-13. (2009)Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer., , and . IEEE ACM Trans. Comput. Biol. Bioinform., 11 (6): 1260-1263 (2014)