Ravi Palla

According to our database, Ravi Palla authored at least 16 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Safe Formulas in the General Theory of Stable Models.

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

CoRR, 2023

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

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Concept-Level Rules for Capturing Domain Knowledge.

Abha Moitra, Andrew W. Crapo, Ravi Palla

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

2016

Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming.

Abha Moitra, Ravi Palla, Arvind Rangarajan

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2014

Semantic Inference for Pharmacokinetic Drug-Drug Interactions.

Abha Moitra, Ravi Palla, Luis Tari, Mukkai Krishnamoorthy

Proceedings of the 2014 IEEE International Conference on Semantic Computing, 2014

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

J. Artif. Intell. Res., 2012

Reformulating Temporal Action Logics in Answer Set Programming.

Joohyung Lee, Ravi Palla

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report).

Joohyung Lee, Ravi Palla

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

A Meta-Data Approach to Querying Multiple Biomedical Ontologies.

Ravi Palla, Dan Tecuci, Vinay D. Shet, Mathäus Dejori

Proceedings of the 2nd International Conference on Biomedical Ontology, 2011

2010

Situation Calculus as Answer Set Programming.

Joohyung Lee, Ravi Palla

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

System f2lp - Computing Answer Sets of First-Order Formulas.

Joohyung Lee, Ravi Palla

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Circumscriptive Event Calculus as Answer Set Programming.

Tae-Won Kim, Joohyung Lee, Ravi Palla

Proceedings of the IJCAI 2009, 2009

Symmetric Splitting in the General Theory of Stable Models.

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the IJCAI 2009, 2009

2008

Safe Formulas in the General Theory of Stable Models (Preliminary Report).

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the Logic Programming, 24th International Conference, 2008

A Reductive Semantics for Counting and Choice in Answer Set Programming.

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.

Joohyung Lee, Ravi Palla

Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007