Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

M. Crouse, I. Abdelaziz, B. Makni, S. Whitehead, C. Cornelio, P. Kapanipathi, K. Srinivas, V. Thost, M. Witbrock, and A. Fokoue. AAAI, page 6279-6287. AAAI Press, (2021)

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

Speech Recognition And Information Retrieval:M. Witbrock, and A. Hauptmann. (January 2004)Tracking Quantity Fluctuations Using STT.R. Kahlert, B. Rode, D. Baxter, M. Witbrock, K. Forbus, L. Birnbaum, P. Shah, D. Schneider, K. Panton, A. Belasco and 1 other author(s). AAAI Fall Symposium: Capturing and Using Patterns for Evidence Detection, volume FS-06-02 of AAAI Technical Report, page 77-84. AAAI Press, (2006)A Survey of Methods, Challenges and Perspectives in Causality.G. Gendron, M. Witbrock, and G. Dobbie. CoRR, (2023)Thinking Big - AI at Web Scale.M. Witbrock. Web Intelligence, page 32. IEEE Computer Society, (2008)Meta-Inverse Reinforcement Learning for Mean Field Games via Probabilistic Context Variables.Y. Chen, X. Lin, B. Yan, L. Zhang, J. Liu, N. Tan, and M. Witbrock. AAAI, page 11407-11415. AAAI Press, (2024)Robust Node Classification on Graph Data with Graph and Label Noise.Y. Zhu, L. Feng, Z. Deng, Y. Chen, R. Amor, and M. Witbrock. AAAI, page 17220-17227. AAAI Press, (2024)A Sequential Set Generation Method for Predicting Set-Valued Outputs.T. Gao, J. Chen, V. Chenthamarakshan, and M. Witbrock. AAAI, page 2835-2842. AAAI Press, (2019)Guiding Inference with Policy Search Reinforcement Learning.M. Taylor, C. Matuszek, P. Smith, and M. Witbrock. FLAIRS, page 146-151. AAAI Press, (2007)Learning Density-Based Correlated Equilibria for Markov Games.L. Zhang, Y. Chen, T. Takisaka, B. Khoussainov, M. Witbrock, and J. Liu. AAMAS, page 652-660. ACM, (2023)Knowledge Begets Knowledge: Steps towards Assisted Knowledge Acquisition in Cyc.M. Witbrock, C. Matuszek, A. Brusseau, R. Kahlert, C. Fraser, and D. Lenat. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors, page 99-105. AAAI, (2005)

BibSonomy

Disambiguation of "Witbrock, Michael"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

Please choose a person to relate this publication to

Michael Bode

Michael Liecke

Michael Schoierer

Michael Krug

Michael Bernateck

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Witbrock, Michael"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

Please choose a person to relate this publication to

Michael Bode

Michael Liecke

Michael Schoierer

Michael Krug

Michael Bernateck

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.