( en | de | ru )

 

Disambiguierung von "Varanasi, Sarat Chandra"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

, , , , , , und . PADL, Volume 13880 von Lecture Notes in Computer Science, Seite 261-278. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kiran Varanasi

Niculin Andri Saratz

Josef Saratka

Sarat Kumar Singh

Sunil Chandra

 

Weitere Publikationen von Autoren mit dem selben Namen

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP., , und . Theory Pract. Log. Program., 23 (4): 812-831 (Juli 2023)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , und . ICLP Workshops, Volume 3193 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , und . HCVS@ETAPS, Volume 344 von EPTCS, Seite 79-90. (2021)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , und 2 andere Autor(en). FMCAD, Seite 221-227. IEEE, (2023)SQuARE: Semantics-based Question Answering and Reasoning Engine., , , und . ICLP Technical Communications, Volume 325 von EPTCS, Seite 73-86. (2020)Generating Concurrent Programs From Sequential Data Structure Knowledge., , und . CoRR, (2020)Imperative Program Synthesis from Answer Set Programs.. ICLP Technical Communications, Volume 306 von EPTCS, Seite 413-417. (2019)CASPR: A Commonsense Reasoning-based Conversational Socialbot., , , , , , und . CoRR, (2021)Synthesizing Imperative Code from Answer Set Programming Specifications., , , und . LOPSTR, Volume 12042 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2019)Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming., , und . ICLP Technical Communications, Volume 345 von EPTCS, Seite 219-233. (2021)