Login / Signup
Abhiraj Chaudhary
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Data Exchange
Temporal Logic
Open World
Formal Specification Language
Top Venues
CoRR
AAAI Spring Symposium: MAKE
</>
Publications
</>
Dyuman Aditya
,
Kaustuv Mukherji
,
Srikar Balasubramanian
,
Abhiraj Chaudhary
,
Paulo Shakarian
PyReason: Software for Open World Temporal Logic.
AAAI Spring Symposium: MAKE
(2023)
Dyuman Aditya
,
Kaustuv Mukherji
,
Srikar Balasubramanian
,
Abhiraj Chaudhary
,
Paulo Shakarian
PyReason: Software for Open World Temporal Logic.
CoRR
(2023)