( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.

, , и . Theory Pract. Log. Program., 23 (4): 812-831 (июля 2023)

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.

Kiran Varanasi

Niculin Andri Saratz

Josef Saratka

Sarat Kumar Singh

Umananda Chandra

 

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

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , и . HCVS@ETAPS, том 344 из EPTCS, стр. 79-90. (2021)Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP., , и . Theory Pract. Log. Program., 23 (4): 812-831 (июля 2023)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , и 2 other автор(ы). FMCAD, стр. 221-227. IEEE, (2023)SQuARE: Semantics-based Question Answering and Reasoning Engine., , , и . ICLP Technical Communications, том 325 из EPTCS, стр. 73-86. (2020)Generating Concurrent Programs From Sequential Data Structure Knowledge., , и . CoRR, (2020)Imperative Program Synthesis from Answer Set Programs.. ICLP Technical Communications, том 306 из EPTCS, стр. 413-417. (2019)CASPR: A Commonsense Reasoning-based Conversational Socialbot., , , , , , и . CoRR, (2021)Tutorial: Automating Commonsense Reasoning., , , , , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Knowledge-driven Natural Language Understanding of English Text and its Applications., , , , и . AAAI, стр. 12554-12563. AAAI Press, (2021)