Gopal Gupta

Available identifiers

zbMath Open gupta.gopalMaRDI QIDQ6063872

List of research outcomes

Publication	Date of Publication	Type
Parallel Logic Programming: A Sequel	2023-12-12	Paper
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming	2023-12-12	Paper
An ASP-based Approach to Answering Natural Language Questions for Texts	2023-12-12	Paper
Proof-theoretic foundations of normal logic programs	2023-08-17	Paper
Timed \(\pi\)-calculus	2016-11-09	Paper
Efficient algorithms for the temporal precedence problem	2016-06-09	Paper
Provably correct code generation: a case study	2013-09-20	Paper
Coinductive constraint logic programming	2012-07-20	Paper
Timed definite clause \(\omega\)-grammars	2012-05-11	Paper
Optimization schemas for parallel implementation of non-deterministic languages and systems	2002-05-14	Paper
Verification of a controller for BART: An approach based on Horn logic and denotational semantics	2002-04-08	Paper

Research outcomes over time

This page was built for person: Gopal Gupta