Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. - Joohyung Lee 002; Ravi Palla (CENT, 2007)

A Reductive Semantics for Counting and Choice in Answer Set Programming. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (AAAI, 2008)

Safe Formulas in the General Theory of Stable Models (Preliminary Report). - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (ICLP, 2008)

Symmetric Splitting in the General Theory of Stable Models. - Paolo Ferraris; Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (IJCAI, 2009)

Circumscriptive Event Calculus as Answer Set Programming. - Tae-Won Kim; Joohyung Lee 002; Ravi Palla (IJCAI, 2009)

System f2lp - Computing Answer Sets of First-Order Formulas. - Joohyung Lee 002; Ravi Palla (LPNMR, 2009)

Situation Calculus as Answer Set Programming. - Joohyung Lee 002; Ravi Palla (AAAI, 2010)

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). - Joohyung Lee 002; Ravi Palla (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

A Meta-Data Approach to Querying Multiple Biomedical Ontologies. - Ravi Palla; Dan Tecuci; Vinay D. Shet; Mathäus Dejori (ICBO, 2011)

Reformulating Temporal Action Logics in Answer Set Programming. - Joohyung Lee 002; Ravi Palla (AAAI, 2012)

Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. - Joohyung Lee 002; Ravi Palla (J. Artif. Intell. Res., 2012)

Semantic Inference for Pharmacokinetic Drug-Drug Interactions. - Abha Moitra; Ravi Palla; Luis Tari; Mukkai Krishnamoorthy (ICSC, 2014)

Using Genetic Programming for Data Science: Lessons Learned. - Steven Gustafson; Ram Narasimhan; Ravi Palla; Aisha Yousuf (GPTP, 2015)

Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. - Abha Moitra; Ravi Palla; Arvind Rangarajan (AAAI, 2016)

Concept-Level Rules for Capturing Domain Knowledge. - Abha Moitra; Andrew W. Crapo; Ravi Palla (ICSC, 2018)

DICR: AI Assisted, Adaptive Platform for Contract Review. - Dan G. Tecuci; Ravi Palla; Hamid R. Motahari Nezhad; Nishchal Ahuja; Alex Monteiro; Tigran Ishkhanov; Nigel P. Duffy (AAAI, 2020)

Safe Formulas in the General Theory of Stable Models. - Joohyung Lee 002; Vladimir Lifschitz; Ravi Palla (CoRR, 2023)