( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description).

, , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 300-309. Springer, (2022)

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.

Tanel Mahlakõiv

 

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

Resolution, Inverse Method and the Sequent Calculus.. Kurt Gödel Colloquium, том 1289 из Lecture Notes in Computer Science, стр. 65-83. Springer, (1997)Knowledge Integration for Commonsense Reasoning with Default Logic., , , и . KDIR, стр. 148-155. SCITEPRESS, (2022)Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government., , , , и . ICEIS (1), стр. 701-708. SCITEPRESS, (2021)Sights, titles and tags: mining a worldwide photo database for sightseeing., , и . WIMS, стр. 149-158. ACM, (2020)Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof., и . J. Autom. Reason., 7 (4): 587-596 (1991)Extending Classical Theorem Proving for the Semantic Web.. PSSS, том 89 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)Data Integration Patterns for Data Warehouse Automation., , и . ADBIS (2), том 312 из Advances in Intelligent Systems and Computing, стр. 41-55. Springer, (2014)Information Extraction for a Tourist Recommender System., , и . ENTER, стр. 332-343. Springer, (2012)An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation., , , , , , , , , и 1 other автор(ы). IEEE Access, (2022)Confidences for Commonsense Reasoning., , и . CADE, том 12699 из Lecture Notes in Computer Science, стр. 507-524. Springer, (2021)