Ravi Palla

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