Palla, Ravi

8 publications

AAAI 2020 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 2016 Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming Abha Moitra, Ravi Palla, Arvind Rangarajan

AAAI 2012 Reformulating Temporal Action Logics in Answer Set Programming Joohyung Lee, Ravi Palla

JAIR 2012 Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming Joohyung Lee, Ravi Palla

AAAI 2010 Situation Calculus as Answer Set Programming Joohyung Lee, Ravi Palla

IJCAI 2009 Circumscriptive Event Calculus as Answer Set Programming Tae-Won Kim, Joohyung Lee, Ravi Palla

IJCAI 2009 Symmetric Splitting in the General Theory of Stable Models Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

AAAI 2008 A Reductive Semantics for Counting and Choice in Answer Set Programming Joohyung Lee, Vladimir Lifschitz, Ravi Palla