Ravi Palla

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models. CoRR (2023)
Dan G. Tecuci, Ravi Palla, Hamid R. Motahari Nezhad, Nishchal Ahuja, Alex Monteiro, Tigran Ishkhanov, Nigel P. Duffy
DICR: AI Assisted, Adaptive Platform for Contract Review. AAAI (2020)
Abha Moitra, Andrew W. Crapo, Ravi Palla
Concept-Level Rules for Capturing Domain Knowledge. ICSC (2018)
Abha Moitra, Ravi Palla, Arvind Rangarajan
Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming. AAAI (2016)
Steven Gustafson, Ram Narasimhan, Ravi Palla, Aisha Yousuf
Using Genetic Programming for Data Science: Lessons Learned. GPTP (2015)
Abha Moitra, Ravi Palla, Luis Tari, Mukkai Krishnamoorthy
Semantic Inference for Pharmacokinetic Drug-Drug Interactions. ICSC (2014)
Joohyung Lee, Ravi Palla
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. CoRR (2014)
Joohyung Lee, Ravi Palla
Reformulating Temporal Action Logics in Answer Set Programming. AAAI (2012)
Joohyung Lee, Ravi Palla
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. J. Artif. Intell. Res. 43 (2012)
Joohyung Lee, Ravi Palla
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Ravi Palla, Dan Tecuci, Vinay D. Shet, Mathäus Dejori
A Meta-Data Approach to Querying Multiple Biomedical Ontologies. ICBO (2011)
Joohyung Lee, Ravi Palla
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). LPNMR (2011)
Joohyung Lee, Ravi Palla
Situation Calculus as Answer Set Programming. AAAI (2010)
Tae-Won Kim, Joohyung Lee, Ravi Palla
Circumscriptive Event Calculus as Answer Set Programming. IJCAI (2009)
Joohyung Lee, Ravi Palla
System f2lp - Computing Answer Sets of First-Order Formulas. LPNMR (2009)
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Symmetric Splitting in the General Theory of Stable Models. IJCAI (2009)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ICLP (2008)
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
A Reductive Semantics for Counting and Choice in Answer Set Programming. AAAI (2008)
Joohyung Lee, Ravi Palla
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. CENT (2007)