Ravi Palla, Ph.D.

Affiliations: 
2012 Computer Science Arizona State University, Tempe, AZ, United States 
Area:
Computer Science
Google:
"Ravi Palla"

Parents

Sign in to add mentor
Joohyung Lee grad student 2012 Arizona State
 (Bridging the Gap between Classical Logic Based Formalisms and Logic Programs.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Lee J, Palla R. (2012) Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming Journal of Artificial Intelligence Research. 43: 571-620
Lee J, Palla R. (2012) Reformulating temporal action logics in answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 786-792
Lee J, Palla R. (2011) Integrating rules and ontologies in the first-order stable model semantics (preliminary report) Aaai Spring Symposium - Technical Report. 56-62
Lee J, Palla R. (2010) Situation calculus as answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 309-314
Lee J, Palla R. (2009) System f2lp - computing answer sets of first-order formulas Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5753: 515-521
Kim TW, Lee J, Palla R. (2009) Circumscriptive event calculus as answer set programming Ijcai International Joint Conference On Artificial Intelligence. 823-829
Lee J, Lifschitz V, Palla R. (2008) Safe formulas in the general theory of stable models (preliminary report) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5366: 672-676
Lee J, Lifschitz V, Palla R. (2008) A reductive semantics for counting and choice in answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 472-479
Lee J, Palla R. (2007) Yet another proof of the strong equivalence between propositional theories and logic programs Ceur Workshop Proceedings. 265: 1-12
See more...