Gopal Gupta

Publications by Year

Research Areas

Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Formal Methods in Verification, Semantic Web and Ontologies, Multi-Agent Systems and Negotiation

Most-Cited Works

• → Parallel execution of prolog programs(2001)156 cited
• → Coinductive Logic Programming(2006)89 cited
• → Coinductive Logic Programming and Its Applications(2007)81 cited
• → Generalized Semantics-Based Service Composition(2008)78 cited
• → Co-Logic Programming: Extending Logic Programming with Coinduction(2007)76 cited
• → An AI-Based Heart Failure Treatment Adviser System(2018)70 cited
• → A constraint-based approach for specification and verification of real-time systems(2002)63 cited