Gopal Gupta

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Event calculus meets hybrid ASP Theory and Practice of Logic Programming	2026-01-01	Paper
Locksynth: deriving synchronization code for concurrent data structures with ASP Theory and Practice of Logic Programming	2025-02-14	Paper
Logic programming and nonmonotonic reasoning. 17th international conference, LPNMR 2024, Dallas, TX, USA, October 11--14, 2024. Proceedings Lecture Notes in Computer Science	2025-01-01	Paper
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming Theory and Practice of Logic Programming	2023-12-12	Paper
An ASP-based Approach to Answering Natural Language Questions for Texts Theory and Practice of Logic Programming	2023-12-12	Paper
Parallel Logic Programming: A Sequel Theory and Practice of Logic Programming	2023-12-12	Paper
Proof-theoretic foundations of normal logic programs Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Timed -calculus Trustworthy Global Computing	2016-11-09	Paper
Efficient algorithms for the temporal precedence problem Information Processing Letters	2016-06-09	Paper
Provably correct code generation: a case study	2013-09-20	Paper
Coinductive constraint logic programming Functional and Logic Programming	2012-07-20	Paper
Timed definite clause -grammars	2012-05-11	Paper
Optimization schemas for parallel implementation of non-deterministic languages and systems Software. Practice & Experience	2002-05-14	Paper
Verification of a controller for BART: An approach based on Horn logic and denotational semantics	2002-04-08	Paper
Horn logic denotations and their applications	2000-04-04	Paper
Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence	1998-06-09	Paper

Research outcomes over time

This page was built for person: Gopal Gupta