33 citations · 83 across the 25 of their papers we have counts for
27 papers
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
Daniel Jurjo-Rivas, Joaquín Arias, Gopal Gupta +3
Abstract Interpretation infers and verifies program properties by over-approximating program semantics. It has been highly successful for (Constraint) Logic Programming, enabling t…
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
We present Locksynth, a tool that automatically derives synchronization needed for destructive updates to concurrent data structures that involve a constant number of shared heap m…
Building Information Modeling Using Constraint Logic Programming
Joaquín Arias, Seppo Törmä, Manuel Carro +1
Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitab…
An ASP-based Approach to Answering Natural Language Questions for Texts
Dhruva Pendharkar, Kinjal Basu, Farhad Shakerin +1
An approach based on answer set programming (ASP) is proposed in this paper for representing knowledge generated from natural language texts. Knowledge in a text is modeled using a…
Graph-based Interpretation of Normal Logic Programs
Fang Li, Elmer Salazar, Gopal Gupta
In this paper we present a dependency graph-based method for computing the various semantics of normal logic programs. Our method employs \textit{conjunction nodes} to unambiguousl…
Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta +3
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since i…