| 2020 | AAAI | 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 |
| 2016 | AAAI | Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. | Abha Moitra, Ravi Palla, Arvind Rangarajan |
| 2012 | AAAI | Reformulating Temporal Action Logics in Answer Set Programming. | Joohyung Lee, Ravi Palla |
| 2011 | LPNMR | Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). | Joohyung Lee, Ravi Palla |
| 2010 | AAAI | Situation Calculus as Answer Set Programming. | Joohyung Lee, Ravi Palla |
| 2009 | IJCAI | Symmetric Splitting in the General Theory of Stable Models. | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2009 | IJCAI | Circumscriptive Event Calculus as Answer Set Programming. | Tae-Won Kim, Joohyung Lee, Ravi Palla |
| 2009 | LPNMR | System f2lp - Computing Answer Sets of First-Order Formulas. | Joohyung Lee, Ravi Palla |
| 2008 | AAAI | A Reductive Semantics for Counting and Choice in Answer Set Programming. | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | ICLP | Safe Formulas in the General Theory of Stable Models (Preliminary Report). | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2007 | LPNMR | Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. | Joohyung Lee, Ravi Palla |