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

Learning to Guide a Saturation-Based Theorem Prover.

I. Abdelaziz, M. Crouse, B. Makni, V. Austil, C. Cornelio, S. Ikbal, P. Kapanipathi, N. Makondo, K. Srinivas, M. Witbrock, and A. Fokoue. CoRR, (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)Analogy, Intelligent IR, and Knowledge Integration for Intelligence Analysis: Situation Tracking and the Whodunit problemL. Birnbaum, K. Forbus, E. Wagner, J. Baker, and M. Witbrock. in: Proceedings of the 2005 International Conference on Intelligence Analysis, (2005)Project Halo: Towards a Digital AristotleN. Friedland, P. Allen, G. Matthews, M. Witbrock, D. Baxter, J. Curtis, B. Shepard, P. Miraglia, J. Angele, S. Staab and 12 other author(s). AI Magazine, 25 (4): 29-48 (2004)Behaviour Modelling of Social Animals via Causal Structure Discovery and Graph Neural Networks.G. Gendron, Y. Chen, M. Rogers, Y. Liu, M. Azhar, S. Heidari, D. Valdez, K. Knowles, P. O'Leary, S. Eyre and 4 other author(s). CoRR, (2023)A Survey of Methods, Challenges and Perspectives in Causality.G. Gendron, M. Witbrock, and G. Dobbie. CoRR, (2023)Scalable Reasoning Infrastructure for Large Scale Knowledge Bases.H. Karanam, S. Neelam, U. Sharma, S. Bhatia, S. Bedathur, L. Subramaniam, M. Chang, A. Fokoue-Nkoutche, S. Kotoulas, B. Makni and 3 other author(s). ISWC (P&D/Industry/BlueSky), volume 2180 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)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)Data and model bias in artificial intelligence for healthcare applications in New Zealand.V. Yogarajan, G. Dobbie, S. Leitch, T. Keegan, J. Bensemann, M. Witbrock, V. Asrani, and D. Reith. Frontiers Comput. Sci., (2022)Inferring parts of speech for lexical mappings via the Cyc KB.T. O'Hara, S. Bertolo, M. Witbrock, B. Aldag, J. Curtis, K. Panton, D. Schneider, and N. Salay. COLING, (2004)

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

Learning to Guide a Saturation-Based Theorem Prover.

Please choose a person to relate this publication to

Michael Krug

Michael Bernateck

Michael Bode

Michael Liecke

Michael Schoierer

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 Learning to Guide a Saturation-Based Theorem Prover.

Please choose a person to relate this publication to

Michael Krug

Michael Bernateck

Michael Bode

Michael Liecke

Michael Schoierer

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

Learning to Guide a Saturation-Based Theorem Prover.