( en | de | ru )

 

Disambiguation of "Basu, Kinjal"

Author of the publication

copydeleteadd this publication to your clipboard
Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

, , , , , , , and . ICLP Workshops, volume 2970 of CEUR Workshop Proceedings, CEUR-WS.org, (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.

Ratna Basu

Sumit Basu

Ananda Basu

Abhijit Basu

Helene Basu

 

Other publications of authors with the same name

Tutorial: Automating Commonsense Reasoning., , , , , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy., , , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)A spatio-spectral hybridization for edge preservation and noisy image restoration via local parametric mixtures and Lagrangian relaxation., and . CoRR, (2012)Knowledge-driven Natural Language Understanding of English Text and its Applications., , , , and . AAAI, page 12554-12563. AAAI Press, (2021)Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming., , , , , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 261-278. Springer, (2023)Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)., , , , , and . PADL, volume 13165 of Lecture Notes in Computer Science, page 181-190. Springer, (2022)Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks., , , , , , , , , and 16 other author(s). CoRR, (2024)An Operational Perspective to Fairness Interventions: Where and How to Intervene., , , , and . CoRR, (2023)Practical Design of Performant Recommender Systems using Large-scale Linear Programming-based Global Inference., , , , , , , , , and . KDD, page 5781-5782. ACM, (2023)Summary on "Hybrid Neuro-Symbolic Approach for Text-Based Games using Inductive Logic".. ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)