Concepedia

Ravi Palla

RP

Statistics

Publications

6

Citations

167

H-Index

6

Active since

2007

Affiliations

Arizona State University(Current)

The University of Texas at Austin

Ravi Palla is an author at Arizona State University specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

2007–2021

6

Publications

6

Symmetric splitting in the general theory of stable models

Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz et al. · 2009 · 52 citations

A reductive semantics for counting and choice in answer set programming

Joohyung Lee, Vladimir Lifschitz, Ravi Palla · 2008 · 48 citations

Circumscriptive event calculus as answer set programming

Taewon Kim, Joohyung Lee, Ravi Palla · 2009 · 36 citations

Situation Calculus as Answer Set Programming

Joohyung Lee, Ravi Palla · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 11 citations · Full text

, , +12

Reformulating Temporal Action Logics in Answer Set Programming

Joohyung Lee, Ravi Palla · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 10 citations · Full text

, , +14

1–5 of 6